Hi-QUBO ドキュメント¶ start up Hi-QUBOの特徴 クイックスタート(quick start) Windows（WSL）でのクイックスタート download/install C++: aptコマンドを用いたインストール C++: ダウンロードしてインストール(手動) Python: pipコマンドを用いたインストール license Trial ライセンスの取得 ライセンス管理 チュートリアル 最大公約数(GCD) 数独(Sudoku) 巡回セールスマン問題(TSP) 分割・割当の最適化(Cutting Stock Problem) 基本的な文法、コードの書き方 変数の定義と式の作成 ソルバーについて ベクトル変数とベクトル関数 整数変数と連立方程式の解法 HUBO式による因数分解 範囲制約と整数線形計画問題の解法 より高度な書き方 変数と式 基本演算子と関数 ベクトルに対する基本演算子と関数 多次元の変数と式 比較演算子 式のクラス 式の評価 変数の置き換え 否定リテラル 多次元配列の和について Einsum: numpy 風のテンソル縮約 スライスと連結 ワンホットから整数への変換 探索パラメータ 高速化のための Tips ソルバーについて Easy Solver の使用方法 Exhaustive Solver の使用方法 ABS3 Solver の使用方法 Gurobi Optimizer の使用方法 Example 現実問題系 数学系