Logo
  • デモ&チュートリアル
  • 製品紹介
    Fixstars Amplifyとは?
    SDK
    ワークフロー 主な機能 パフォーマンス
    実行環境
    利用可能なマシン・ソルバー Fixstars Amplify AEのパフォーマンス 各イジングマシンのスペック情報
    開発サービス
    サービス内容 パートナー
    価格 製造業向けソリューション
  • リソース
    クイックスタートガイド ドキュメント デモ&チュートリアル 技術リソース 論文リスト
  • セミナー
    セミナー・ワークショップ セミナー資料 法人向けプライベートトレーニング
  • お客様事例
    インタビュー ユーザーの声
  • 会社紹介
    会社概要 ニュース 採用情報
  • スケジュール最適化
    製品紹介 価格
    リソース
    Amplify SEのはじめ方 チュートリアル サンプルコード ドキュメント
    お客様事例
    お問い合わせ
    お問い合わせ FAQ
  1. Home
  2. 技術リソース
  3. 量子コンピューティング研究調査
  4. 組合せ最適化問題のイジング模型定式化

Logo

    • 量子コンピュータとは
    • ハードウェアと関連技術
    • 量子アニーリング方式
    • 量子コンピュータのアプリケーション
    • 量子コンピューティング研究調査
      • Qbsolvの問題分割アルゴリズム調査
      • 制限ボルツマンマシン
      • D-Waveマシンの上級者向けパラメータ
      • 組合せ最適化問題のイジング模型定式化
        • 数の分割問題
        • グラフの分割問題
        • クリーク判定問題
        • 整数計画問題
        • 精密被覆問題
        • 集合パッキング問題(最大独立集合問題、MIS)
        • 頂点被覆問題
        • 充足可能性問題(SAT)
        • 最小極大マッチング問題
        • 整数重みナップサック問題
        • グラフ彩色問題
        • クリークカバー問題
        • 整数長ジョブスケジューリング問題
        • ハミルトン閉路問題
        • 巡回セールスマン問題
        • シュタイナー木問題
        • 次数制約付き最小全域木問題
        • 有向帰還頂点集合問題
        • 無向帰還頂点集合問題
        • 最小帰還辺集合問題
        • グラフ同型性判定問題
    • 書籍紹介
    • イベントレポート

    デモ&チュートリアル

    製品紹介

    • Fixstars Amplifyとは?
    • SDK

      • ワークフロー
      • 主な機能
      • パフォーマンス
    • 実行環境

      • 利用可能なマシン・ソルバー
      • Fixstars Amplify AEのパフォーマンス
      • 各イジングマシンのスペック情報
    • 開発サービス

      • サービス内容
      • パートナー
    • 価格
    • 製造業向けソリューション

    リソース

    • クイックスタートガイド
    • ドキュメント
    • デモ&チュートリアル
    • 技術リソース
    • 論文リスト

    セミナー

    • セミナー・ワークショップ
    • セミナー資料
    • 法人向けプライベートトレーニング

    お客様事例

    • インタビュー
    • ユーザーの声

    会社紹介

    • 会社概要
    • ニュース
    • 採用情報

    スケジュール最適化

    • 製品紹介
    • 価格
    • リソース

      • Amplify SEのはじめ方
      • チュートリアル
      • サンプルコード
      • ドキュメント
    • お客様事例
    • お問い合わせ

      • お問い合わせ
      • FAQ
    組合せ最適化問題のイジング模型定式化
    1. Home
    2. 技術リソース
    3. 量子コンピューティング研究調査
    4. 組合せ最適化問題のイジング模型定式化

    組合せ最適化問題のイジング模型定式化

    このセクションではA. Lucasらの論文にあるNP問題からイジング模型への変換例を紹介します。

    • 数の分割問題
    • グラフの分割問題
    • クリーク判定問題
    • 整数計画問題
    • 精密被覆問題
    • 集合パッキング問題(最大独立集合問題、MIS)
    • 頂点被覆問題
    • 充足可能性問題(SAT)
    • 最小極大マッチング問題
    • 整数重みナップサック問題
    • グラフ彩色問題
    • クリークカバー問題
    • 整数長ジョブスケジューリング問題
    • ハミルトン閉路問題
    • 巡回セールスマン問題
    • シュタイナー木問題
    • 次数制約付き最小全域木問題
    • 有向帰還頂点集合問題
    • 無向帰還頂点集合問題
    • 最小帰還辺集合問題
    • グラフ同型性判定問題

    Calendar 2019-01-07