)」に対応しています。これは求めたかった解ではありません。セールスマンには、全ての都市を回ってもらわなければいけません。一度問題を見つめ直してみると、以下の条件が必要であることがわかります。同時刻にセールスマンはどこかの1都市にしかいない全ての都市をちょうど1度ずつ通るこの2つの条件が満たされていれば、「セールスマンが全ての都市をまわること」を保証できます。これらの制約をどうやってイジングモデルに取り込めばよいでしょうか?シミュレーションするだけで良いのであれば、「そもそも制約を満たさない状態は探索しない」というアプローチ7がありますが、実際の量子アニーリングマシンを使いたい場合は、そういった制約を任意に追加することはできません。最小にしてくれることだけです。修正することで、自動的に制約を満たしてくれるようにする必要があります。それでは具体例をみてみましょう。1.の制約を変形してみます。書くことにしましょう。