Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Fixstars Amplify SDK documentation
Light Logo Dark Logo

🚀 Get Started

  • はじめに
  • Amplify SDK の特長
  • クイックスタート

🌱 Basic

  • 1. Amplify SDK の全体像
  • 2. 決定変数の作り方
  • 3. 多項式と目的関数
  • 4. 制約条件の構築
  • 5. モデルの定式化
  • 6. ソルバークライアント
  • 7. 組合せ最適化問題の求解

🌻 Advanced

  • モデルの変換
    • 変数変換と次数下げ
    • 制約条件とペナルティ関数
    • グラフ埋め込み
  • 実行結果の評価
  • 実行時間情報の取得
  • クライアントの詳細
    • Fixstars Amplify
    • D-Wave Systems
    • 東芝
    • 富士通
    • NEC
    • 日立
    • Gurobi
    • 量子コンピュータ
  • ソルバーの直列実行
  • ソルバーの並列実行
  • 係数行列による目的関数の作成
  • 定式化の高速化
  • モデルのファイル入出力

🧩 ️Examples

  • 部分和問題
  • Max-Cut (最大カット) 問題
  • 巡回セールスマン問題
  • 二次割当問題

💡 Tips

  • 型ヒントサポート
  • プロキシサーバの設定
  • 数式の整形表示
  • 旧バージョンからの移行
  • 定式化ベンチマーク

🎺 Cloud Solvers

  • Fixstars Amplify AE
    • 最新バージョンの紹介
    • 求解のアルゴリズム
    • 高度な利用方法
    • Amplify AE の性能評価
    • Changelog
    • API Reference

⚗️ Quantum

  • Amplify Quantum
  • クイックスタート
  • 対応デバイス一覧
    • IBM Quantum
    • Qiskit Aer Simulator
    • Qulacs Simulator
    • Amazon Braket Simulator
    • AQT
    • IonQ
    • IQM
    • Rigetti
    • QUDORA
  • 対応アルゴリズム一覧
    • QAOA / 制約付き QAOA
    • Recursive QAOA
  • アルゴリズムの詳細
    • QAOAのアルゴリズム
    • 制約付き QAOA のアルゴリズム
    • Recursive QAOA のアルゴリズム

🔌 Extensions

  • Amplify-BBOpt

📖 Reference

  • Changelog
  • API Reference
    • Algebra
      • Poly
      • PolyArray
      • Matrix
      • Variable
      • VariableGenerator
      • sum
      • einsum
      • dot
      • matmul
      • newaxis
      • VariableType
      • Dim
      • Dim0
      • Dim1
      • Dim2
      • Dim3
      • Dim4
    • Constraint
      • Constraint
      • ConstraintList
      • equal_to
      • one_hot
      • less_equal
      • greater_equal
      • clamp
      • domain_wall
      • PenaltyFormulation
    • Model
      • Model
      • IntegerEncodingMethod
      • RealEncodingMethod
      • QuadratizationMethod
    • Graph Embedding
      • Graph
      • embed
      • to_edges
      • EmbeddingMethod
    • Client
      • BaseClient
      • AmplifyAEClient
      • FixstarsClient
      • DWaveSamplerClient
      • DWaveClientParameters
      • LeapHybridSamplerClient
      • LeapHybridCQMSamplerClient
      • FujitsuDA4Client
      • FujitsuDA3cClient
      • ToshibaSQBM2Client
      • GurobiClient
      • NECVA2Client
      • HitachiClient
      • AcceptableDegrees
      • Degree
    • Solve
      • Result
      • Values
      • solve
      • parallel_solve
    • Misc.
      • set_num_threads
      • load_lp
      • save_lp
      • load_qplib
      • save_qplib
      • set_seed
      • __version__
    • Quantum
      • Client
        • QuantumBaseClient
        • AerClient
        • AQTClient
        • BraketSimulatorClient
        • IBMClient
        • IonQClient
        • IQMClient
        • QulacsClient
        • RigettiClient
        • QUDORAClient
      • Algorithm
        • QAOA
        • QAOAType
        • QAOAResult
        • QAOADurations
        • QAOAHistoryItem
        • RQAOA
        • RQAOAType
        • RQAOAResult
        • RQAOADurations
        • RQAOAHistoryItem
        • NormalElimination
        • UnintentionalElimination
        • QuantumAlgoProtocol
      • Minimize
        • ScipyMinimize
        • ScipyMinimizeOptions
        • ScipyMinimizeResult
        • NoOpMinimize
        • NoOpMinimizeResult
        • MinimizeProtocol
        • MinimizeResult
      • Sampler
        • SamplerProtocol
        • SamplingDurations
        • AerDeviceType
        • QiskitJobMeta
        • QulacsJobMeta
        • BraketJobMeta
      • Circuit
        • QiskitCircuit
        • QulacsCircuit
      • Misc.
        • IsingSeqFreqList
    • Deprecated
      • BinaryPoly
      • IsingPoly
      • BinaryPolyArray
      • IsingPolyArray
      • BinarySymbolGenerator
      • IsingSymbolGenerator
      • IsingSymbolGenerator
      • BinaryMatrix
      • IsingMatrix
      • QuadraticModel
      • BinaryQuadraticModel
      • IsingQuadraticModel
      • Solver
      • SolverResult
      • SolverSolution
      • SymbolGenerator
      • sum_poly
      • decode_solution
      • penalty
      • InequalityFormulation
  • 索引
Back to top

Model¶

Model classes and functions¶

Class¶

amplify.Model

Combinatorial optimization model containing objective and constraints.

Enum¶

amplify.IntegerEncodingMethod

Encoding method for integer variables during model conversion.

amplify.RealEncodingMethod

Encoding method for real variables during model conversion.

amplify.QuadratizationMethod

Method used to reduce higher-order terms during conversion.

Next
Model
Previous
PenaltyFormulation
Copyright © 2024, Fixstars Amplify Corporation
Made with Sphinx and @pradyunsg's Furo
On this page
  • Model
    • Model classes and functions
      • Class
      • Enum