コンテンツにスキップ

イントロダクション

ここでは、量子アニーリングで問題を解くための準備として、

  • 現実の問題を 最適化問題として定式化する流れ
  • そこから QUBOと呼ばれる形式のエネルギー関数 E(x)E(x) を作る手順

を段階的に整理します。

量子アニーリングは、解くべき問題を

  • 解の候補を表す変数 xx
  • その解の「良さ/悪さ」を表すエネルギー関数 E(x)E(x)

の形で受け取り、エネルギーが低い解を探索する 枠組みです。 このページでは、量子アニーリングのハードウェアや動作の仕組みではなく、

自分の問題から、エネルギー最小化の形の E(x)E(x) をどう組み立てるか

を理解することです。

そのために、ここでは

  • 人間にとって自然な「〜を選ぶ」「〜は〜以下」といった条件を
  • コンピュータや量子アニーリングが扱いやすい 数式(特に 0/1 変数と二次の式)

に落とし込んでいくプロセスに焦点を当てます。