このセクションでは、アニーリングマシンを中心とした量子コンピューティングの研究調査を報告します。 Qbsolvの問題分割アルゴリズム調査 制限ボルツマンマシン D-Waveマシンの上級者向けパラメータ 組合せ最適化問題のイジング模型定式化 数の分割問題 グラフの分割問題 クリーク判定問題 整数計画問題 精密被覆問題 集合パッキング問題（最大独立集合問題、MIS） 頂点被覆問題 充足可能性問題（SAT） 最小極大マッチング問題 整数重みナップサック問題 グラフ彩色問題 クリークカバー問題 整数長ジョブスケジューリング問題 ハミルトン閉路問題 巡回セールスマン問題 シュタイナー木問題 次数制約付き最小全域木問題 有向帰還頂点集合問題 無向帰還頂点集合問題 最小帰還辺集合問題 グラフ同型性判定問題