Genel Simon programı

Amaç ve kapsam

Tipli XOR oracle, sıralı ölçüm satırları ve GF(2) çözümünü genel Simon deneyinde birleştirmenin sınırlarını tanımlar. Sabit bir öğretim devresinin bulunması genel algoritmanın hazır olduğu anlamına gelmez.

Tasarımın ana kuralları

• Oracle şekli XorOracle<N,N> olur; vaat kontrolü ve bağımsız tekrarlar ayrıca gereklidir.
• Koşu planı ölçüm satırlarını, rank durumunu ve klasik son işlemeyi izlenebilir çıktı olarak kaydeder.
• Hazır boyut aralığı ayrı, ölçülmüş durum vektörü kaynak kararına dayanmalıdır.

Özgün belgeden örnek

Bu örnek özgün kaynakta yer alan tasarımı gösterir. Tek başına çalıştırılabilirlik veya kararlı destek iddiası değildir; gereken seçenekleri ve güncel sürümü kontrol edin.

s != 0^N
f(x) = f(y) iff y = x or y = x xor s

Sınırlar ve sonuçların yorumu

• Standart örnek 2N veri/çıktı kübiti gerektirir; N=3 için altı kübit gerekir.
• Revizyon 1 ayrıştırıcı kuralı, arayüz kontrolü veya mevcut beş kübit sınırını yükselten karar oluşturmaz.

Durum ve uygulama sınırı

Belge öneridir ve uygulama için hem inceleme kaydı hem ayrı kaynak aralığı kararı ister. Genel Simon hazırlığına dair ürün iddiası bu koşullardan önce yapılmamalıdır.