Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Hi-QUBO
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

  • 現実問題系
    • 分割・割当の最適化
    • 数独
    • 巡回セールスマン問題
    • ナップザック問題
    • シフトスケジューリング問題
  • 数学系
    • 最大公約数
Back to top
View this page
Previous
最大公約数
Copyright © 2026, DSI
Made with Sphinx and @pradyunsg's Furo