デモ・Playground

インストールなしで、QUBO++ をブラウザで試せます。どのデモも新しいタブで開きます。デモごとにページがあるので、ブックマークや共有もできます。

注意: これらのデモはリソースが限られた AWS Lambda 上で動作しています。パフォーマンスは通常の PC と比べて数倍遅くなります。最新のデスクトップ PC では、QUBO++ はこれよりも大幅に高速に動作します。

Playground

自分で書いた QUBO++ のプログラムを実行できます。

C++ 版 Playground QUBO++ のプログラムを C++ で書いて、コンパイル・実行できます。テンプレートから始められます。

Python 版 Playground PyQBPP のプログラムを Python で書いて実行できます。テンプレートから始められます。

問題のデモ

マウスで問題を作り、QUBO++ が解く様子を見られます。

N クイーンどの 2 つも取り合わないように N 個のクイーンを置きます。一部を自分で置いて、残りを解かせることもできます。

巡回セールスマン最大 32 都市を置き、探索中に巡回路が短くなっていく様子を見られます。

22 のグラフ問題最大独立集合、最大カット、彩色、支配集合、シュタイナー木、最短路、巡回セールスマンなど。

SAT（充足可能性問題） CNF の論理式を HUBO モデルとして解きます。全探索ソルバーとも比べられます。

NAE-SAT Not-All-Equal SAT です。True と False の数を揃える目的関数も選べます。

機械スケジューリングすべての納期を守るように注文を機械に割り当てます。relu() と cons() で書いたモデルです。

シフトスケジューリング休み希望から、日勤・夜勤の 4 週間の勤務表を作ります。ルールはすべて cons() で書いたモデルです。