Hi-QUBO ドキュメント¶ スタートアップ Hi-QUBOとは クイックスタート Windows (WSL) でのクイックスタート ダウンロード/インストール C++: aptコマンドを用いたインストール C++: ダウンロードしてインストール(手動) Python: pipコマンドを用いたインストール ライセンス Trial ライセンスの取得 ライセンス管理 チュートリアル 最大公約数 (GCD) 数独 巡回セールスマン問題 切出し問題(Cutting Stock Problem) 基本的な文法,コードの書き方 変数と式の定義 式の求解 変数配列と配列関数 整数変数と連立方程式の求解 HUBO式による因数分解 範囲制約と整数線形計画法の求解 ネイティブ制約 より高度な書き方 変数クラスと式クラス 基本演算子と関数 ネイティブ整数変数 非線形関数 配列の基本演算子と関数 多次元の整数,変数および式 比較演算子 式クラス 式の評価 置換関数 否定リテラル 多次元配列の合計関数 Einsum: numpy 風のテンソル縮約 スライス関数と連結関数 ワンホットから整数への変換 探索パラメータ 高速化のための Tips HUBO の QUBO への変換 ソルバー Easy Solverの使い方 Exhaustive Solverの使い方 ABS3 Solverの使い方 実験的なソルバー連携 QUBO/HUBO ソルバー — Gurobi(実験的) 実験的 MILP ソルバー — SCIP, HiGHS, GLPK, CBC CP ソルバー — Google OR-Tools CP-SAT(PyQBPP のみ) 例題 現実問題系 数学系 グラフ問題系 パズル クイックリファレンス 整数変数と制約に関する演算と関数 式の演算子と関数 解について 変数と式 Hubo と Qubo HUBO と QUBO Cpp と Python Hi-QUBO(C++)と PyQBPP(Python)の違い