QUBO++ ドキュメント

この QUBO++ のドキュメントは現在開発中です。 一部のページには不完全または暫定的な情報が含まれている場合があります。 ドキュメントは進化を続けていますので、フィードバックや貢献を歓迎します。

インストール

このセクションでは、QUBO++ のインストール方法と必要な環境の設定について説明します。 また、QUBO++ を使用するために必要なライセンス管理プロセスについても説明します。 このセクションを完了すると、チュートリアルに従い、 QUBO++ を使用して最適化問題のモデリングと解法を開始する準備が整います。

1. インストールとライセンス管理

基本

このセクションでは、QUBO++のステップバイステップ導入を提供します。 ページを順に読むことで、変数と式の定義方法、 最適化問題のモデル化、QUBO++を用いた解法について学べます。 このチュートリアルを完了すると、ほとんどの典型的なアプリケーションでQUBO++を使用できるようになります。

1. 変数の定義と式の作成
2. 式の解法
3. 変数のベクトルとベクトル関数
4. 変数のベクトルを用いた分割問題の解法
5. 順列行列と割当問題の解法
6. 整数変数と連立方程式の解法
7. HUBO式による因数分解
8. 範囲制約と整数線形計画問題の解法

トピック

このセクションでは、QUBO++の選択された機能についてトピック別に説明します。 各ページは特定のトピックに焦点を当て、設計上の決定、使用パターン、および適切な場合には内部実装について深い洞察を提供します。 このセクションは網羅的なものではありませんが、チュートリアルおよびリファレンスセクションを補完し、QUBO++に対するより深い理解を提供することを目的としています。

1. 変数と式のデータ型
2. 基本演算子と関数
3. ベクトルに対する基本演算子と関数
4. 多次元変数と式
5. 比較演算子
6. 式クラス
7. 式の評価
8. 置換関数
9. 多次元配列の合計関数
10. イージーソルバーの使用方法
11. 網羅的ソルバーの使用方法
12. ABS3 ソルバーの使用方法
13. Gurobi ソルバーの使用方法

ケーススタディ

このセクションでは、QUBO++ を使用して最適化、数学、グラフの問題を解く例を紹介します。

1. ピタゴラス数（易）
2. 魔方陣（難易度高）
3. 巡回セールスマン問題（中級）
4. 剰余問題（易）
5. 平方根（中級）
6. 三次方程式（易）
7. ナップサック問題（中級）
8. 加算器シミュレーション（中級）
9. LABS問題（中級）
10. シフトスケジューリング問題 (難しい)
11. 最大公約数（GCD）（易）
12. 棒材切断問題 (難しい)
13. 整数線形計画法 (易)
14. Nクイーンズ問題 (中級)
15. グラフ描画ライブラリと管理情報システム問題（易）
16. 最大カット問題（易）
17. 最大マッチング問題（易）
18. 最大クラン問題 (易)
19. 最小頂点被覆問題 (易)
20. 最小支配集合問題（中級）
21. 部分グラフ同型問題（難）
22. 3桁の数学問題（易）
23. 最小集合被覆問題（中級）

クイックリファレンス

1. 変数と式
2. 式のための演算子と関数