AssertProbInt işlemi

  • Makale

Uyarı

Bu belge, Modern QDK ile değiştirilen Klasik QDK'yi ifade eder.

Lütfen Modern QDK için API belgelerine bakın https://aka.ms/qdk.api .

Ad Alanı: Microsoft.Quantum.Arithmetic

Paket: Microsoft.Quantum.Standard

Kuantum yazmaçlarının belirli bir durumunun olasılığının beklenen değere sahip olduğunu onaylar.

operation AssertProbInt (stateIndex : Int, expected : Double, qubits : Microsoft.Quantum.Arithmetic.LittleEndian, tolerance : Double) : Unit

Description

$\ket{\psi}=\sum^{2^n-1}_{j=0}\alpha_j \ket{j}$ $n$-qubit kuantum durumu verildiğinde, $j$ tarafından dizine alınan $\ket{j}$ durumunun $\\alpha_j|^2$ olasılığının beklenen değere sahip olduğunu onaylar.

Giriş

stateIndex : Int

Dizin, bir LittleEndian yazmaç tarafından temsil edilen $\ket{j}$ durumunun $ $j.

beklenen: Çift

Beklenen $|\alpha_j|^2$ değeri.

kubitler : LittleEndian

$\ket{\psi}$ dosyasını küçük endian biçiminde depolayan kubit yazmaç.

tolerans : Çift

Gerçek ve beklenen arasındaki farka mutlak tolerans.

Çıkış: Birim

Örnek

Yazmaçta qubits $\ket{\psi}=\sqrt{1/8}\ket{0}+\sqrt{7/8}\ket{6}$ 3 kubit kuantum durumunu küçük endian biçiminde kodladığını varsayalım. Bu, sayýnýn $\ket{0}\equiv\ket\ket{0}{0}\ket{0}$ ve $\ket{6}\equiv\ket\ket{0}{1}\ket{1}$ olduğu anlamına gelir. Ardından aşağıdaki onaylar başarılı olur:

AssertProbInt(0, 0.125, qubits, 10e-10);
AssertProbInt(6, 0.875, qubits, 10e-10);