動かして学ぶ量子コンピュータプログラミング ―シミュレータとサンプルコードで理解する基本アルゴリズム

10.3

 充足可能性問題を解くための一般的なレシピ

199

2.

大 き さ を 使 っ た 論 理 演 算（

magnitude logic

）で個々の節を表します。これを行うには、数多くの

スクラッチキュビットが必要です。大雑把には、ほとんどのキュビットは複数の節に含まれてい

るので、論理節ごとに

1

つのスクラッチキュビットを持つと便利です。

3.

一様な重ね合わせにある完全な

QPU

レジスタ（ステートメント中のすべての入力変数を表すキュ

ビ ッ ト を 含 む ）を 初 期 化 し（

HAD

を 使 用 ）、

∣

0

⟩

状態にあるすべてのスクラッチレジスタを初期化

します。

4.

図5-25 で示した大きさを使った論理演算のレシピを用いて、各節の論理ゲートを

1

つずつ構築

し、各論理節の出力値をスクラッチキュビットに格納します。

5.

すべての節が実装されたら、すべてのスクラッチキュビットの間で位相論理

AND

を実行して、異

なる節を結合します。

6.

すべての大きさを使った論理演算をアンコンピュートし、スクラッチキュビットを初期状態に戻

します。

7.

入力変数をエンコードする

QPU

レジスタで

mirror

サブルーチンを実行します。

8.

式6-2 の振幅増幅の式に従って、上記の手順を必要な回数だけ繰り返します。

9. QPU

レジスタを読み取って、最終的な（振幅増幅された）結果を読み取ります。

次の

2

つのセクションでは、このレシピを適用した例を

1

つずつ示します。

2

つ目の例では、満たし

たいステートメントを実際には満たすことができな ...