QUBO++ (C++) Documentation
Getting Started
Basics
This section provides a step-by-step introduction to QUBO++. By reading the pages in order, you will learn how to define variables and expressions, model optimization problems, and solve them using QUBO++. After completing this tutorial, you should be able to use QUBO++ for most typical applications.
- Defining Variables and Creating Expressions
- Solving Expressions
- Array of Variables and Array Functions
- Solving Partitioning Problem Using Array of Variables
- Permutation Matrix and Solving Assignment Problem
- Integer Variables and Solving Simultaneous Equations
- Factorization Through HUBO Expression
- Range Constraints and Solving Integer Linear Programming
Topics
This section provides topic-wise explanations of selected features of QUBO++. Each page focuses on a specific topic and offers deeper insights into design decisions, usage patterns, and, where appropriate, internal implementations. This section is not intended to be exhaustive, but to complement the Tutorial and Reference sections by providing a deeper understanding of QUBO++.
- Data Types of Variables and Expressions
- Basic Operators and Functions
- Basic Operators and Functions for Arrays
- Multi-dimensional Integers, Variables, and Expressions
- Comparison Operators
- Expression Classes
- Evaluating Expressions
- Replace functions
- Negated Literals
- Sum Functions for Multi-dimensional Arrays
- Slice and Concat Functions
- One-Hot to Integer Conversion
- Easy Solver Usage
- Exhaustive Solver Usage
- ABS3 Solver Usage
- Search Parameters
Case Studies
This section provides examples of solving optimization, mathematical, and graph problems using QUBO++. See the Case Studies page for the full list.
Quick References
QUBO++ (C++) ドキュメント
はじめに
基礎
このセクションでは、QUBO++ を段階的に紹介します。 ページを順番に読むことで、変数と式の定義方法、 最適化問題のモデリング方法、そして QUBO++ を使った求解方法を学べます。 このチュートリアルを完了すれば、一般的な用途で QUBO++ を使用できるようになります。
トピック
このセクションでは、QUBO++ の選択された機能についてトピックごとに説明します。 各ページは特定のトピックに焦点を当て、設計上の決定、 使用パターン、そして必要に応じて内部実装について深い洞察を提供します。 このセクションは網羅的なものではなく、チュートリアルとリファレンスの セクションを補完して QUBO++ のより深い理解を提供することを目的としています。
- 変数と式のデータ型
- 基本的な演算子と関数
- ベクトル用の基本的な演算子と関数
- 多次元の整数、変数および式
- 比較演算子
- 式クラス
- 式の評価
- 置換関数
- 否定リテラル
- 多次元配列用の Sum 関数
- スライス関数と連結関数
- ワンホットから整数への変換
- Easy Solver の使い方
- Exhaustive Solver の使い方
- ABS3 Solver の使い方
- 探索パラメータ
ケーススタディ
このセクションでは、QUBO++ を使用した最適化問題、数学問題、グラフ問題の求解例を提供します。 全リストはケーススタディページを参照してください。