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

  • What is Amplify SDK?
  • Amplify SDK Features
  • Quickstart

🌱 Basic

  • 1. Amplify SDK Overview
  • 2. Creating Decision Variables
  • 3. Polynomials and Objective Functions
  • 4. Constructing Constraints
  • 5. Model Formulation
  • 6. Solver Client
  • 7. Solving a Combinatorial Optimization Problem

🌻 Advanced

  • Model Conversions
    • Variable Conversion and Degree Reduction
    • Constraints and Penalty Functions
    • Graph Embedding
  • Evaluation of Execution Results
  • Execution Time information
  • Client details
    • Fixstars Amplify
    • D-Wave Systems
    • TOSHIBA
    • Fujitsu
    • NEC
    • Hitachi
    • Gurobi
    • Quantum Computers
  • Serial Solver Execution
  • Parallel Solver Execution
  • Objective Function with a Coefficient Matrix
  • Speedup Formulation
  • File input/output of the model

🧩 ️Examples

  • Subset Sum Problem
  • Max-Cut Problem
  • Traveling Salesperson Problem
  • Quadratic Assignment Problem

💡 Tips

  • Type Hint Support
  • Proxy Server Settings
  • Formatted Formula View
  • Migrating from Previous Versions
  • Formulation Benchmarks

🎺 Cloud Solvers

  • Fixstars Amplify AE
    • Solving Algorithms
    • Advanced Usage
    • Performance of Amplify AE
    • Changelog
    • API Reference

⚗️ Quantum

  • Amplify Quantum
  • Quickstart
  • List of Supported Devices
    • IBM Quantum
    • Qiskit Aer Simulator
    • Qulacs Simulator
    • Amazon Braket Simulator
    • AQT
    • IonQ
    • IQM
    • Rigetti
    • QUDORA
  • List of Supported Algorithms
    • QAOA / Constrained QAOA
    • Recursive QAOA
  • Algorithm Details
    • QAOA Algorithm
    • Constrained QAOA Algorithm
    • Recursive QAOA Algorithm

🔌 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
  • Index
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