問題タブ [quantum-computing]

この問題は、入力として 1 ビットを超える関数について説明したドイツ語問題の単純な一般化に関するものです。今回は、入力として 4 ビットの数値を取り、0 または 1 を出力するブール関数 f がありますf:{0,1}4→{0,1}。したがって、f への入力は、可能な 16 の 4 ビット 2 進数の 1 つです。

f は次の 2 つのタイプのいずれかであるとも言われています。

f の回路に入力 x を与え、出力 f(x) を観察することにより、f の回路を「ブラック ボックス」として使用することができます。これを「クエリ」操作と呼びます。

古典的な確率的アルゴリズムが、2 つのクエリを使用して、少なくとも 2/3 の確率で f が平衡または定数であるかどうかを判断できることを示します。

ヒント: (明らかに、決定論的アルゴリズムを使用してこれを行うことはできません。決定論的アルゴリズムが少なくとも 9 つの入力値の出力を確認しない限り、関数が平衡か定数かを調べる方法はありません)。

16 の可能な入力のセットから 2 つの入力を均一かつランダムに選択することを考えてみてください。最終的な結果は、これら 2 つのクエリの結果に確率的に依存する可能性があります。

わかりませんが、量子ゲートシミュレータPrologを構築するための良いオプションになるかどうか疑問に思っていますか?

Prolog私の主な質問は、そのようなプロジェクトに使用することの長所と短所は何ですか? また、他の提案も高く評価されています。

量子コンピューターに関する本を何冊か読んだところ、量子物理学と数学以外のコンピューター サイエンス (チューリング マシンなど) の概念がいくつかありました。では、量子コンピューティングを研究したい場合、コンピューター サイエンスについて何を知っておくべきでしょうか? たとえば、SICPを読むと便利ですか？

私は haskell に非常に慣れておらず、ウェブ全体を検索してきましたが、問題を解決できませんでした。Quipperパッケージをダウンロードしましたが、haskell にすべてのモジュールとファイルの場所と、すべてを適切にリンクする方法を認識させることができませんでした。

すべてのファイルとプログラムをダウンロードして適切にインストールしましたが、haskell に quipper ライブラリとテンプレートを認識させる方法がわかりません。私が試みるたびに：

:load And_gate.hsまたは他のファイル。

私は得る：

Could not find module "Quipper"またはそれが必要とするそれぞれのモジュール。

エラーでも何でもないと思います。haskell の仕組みに関する知識が不足しているだけだと思います。

Windows 7を使用しています。

誰かが以前にこれをやったに違いないと確信しています。Cygwin 用に QCL をコンパイルしようとしましたが、うまくいきません。誰かがすでに Cygwin 用にコンパイルできている場合は、コピーを投稿していただけますか? または、Windows で実行する簡単な方法を提案してください。