Nondeterminizmin anlamı üzerine
Burada konuyla ilgili iki anlamsızcılık kavramının iki anlamı vardır. Kuantum mekaniği genellikle "deterministik değil" olarak tanımlanır, ancak "klasik olmayan" kelimesi teorik bilgisayar bilimlerinde uzmanlaşmış bir şekilde kullanılır.
Kuantum mekaniğine uygulanan bir anlam, yalnızca “ deterministik ” değildir. ” . Bu genellikle kelimeyi yorumlamanın mantıklı bir yoludur ve aslında ne kuantum Turing makineleri ne de olasılıksal Turing makineleri karar problemlerini çözecekleri konusunda belirleyici değildir.
Bununla birlikte, hesaplama modellerini tarif ederken, belirleyici olmayan özellik, makinenin (bir anlamda), belirli bir amacı elde etmek için, durumu veya girişi tarafından belirlenmeyen seçimler yapabileceği anlamına gelir. Bu anlam, Nondeterministic Finite Automata gibi hesaplama modellerini tanımlamak için başka yerlerde kullanılır .
Dolayısıyla, kuantum Turing makineleri, deterministik olmayan, ancak " klasik olmayan bir Turing makinesinden " farklı olan bir hesaplama modelidir .
Belirsiz Turin Makineleri
Belirsiz olmayan bir Turing makinesi, birden fazla olası geçişi keşfedebilen bir makinedir. Belirli bir adımda yaptığı geçiş, içinde bulunduğu duruma ve okuduğu sembole göre değişir. Bunun yaygın olarak sunulmasının iki yolu vardır:
Özellikle NP karmaşıklık sınıfını tanımlamak amacıyla, kabul edilebilir bir duruma ulaşmaya çalışmak için makineyi her adımda seçim yapma (veya tahmin etme) olarak tanımlayabilir . Belirleyici olmayan makinenin bir karar ağacı araştırmak için ne yaptığını düşünüyorsanız, ağaçta kabul edici bir yol arıyor. Böyle bir yolun nasıl bulunması gerektiğini öneren hiçbir mekanizma bulunmamasına rağmen, sadece bir tane varsa bile onun kabul eden bir yol bulacağını hayal ediyoruz.
Belirsiz olmayan bir makinenin karar ağacındaki tüm olası yolları paralel olarak araştırdığını ve herhangi birinin kabul edici bir yol olduğu ortaya çıktığında "evet" cevabını verdiğini söylemek oldukça yaygındır .
Nondeterminizmin daha modern tedavileri aynı zamanda sadece varoluşu değil, kabul eden yolların sayısını da düşünür ; ve bu, tüm yolları paralel olarak keşfetme tanımına çok uygundur. Örneğin, tüm hesaplama yollarının aynı uzunluğa sahip olması (makinenin her zaman bir hesaplama yapmak için aynı miktarda zaman alması) ve her yolun her adımda veya her ikinci adımda bir tahmin gerçekleştirmesi gibi ekstra kısıtlamalar uygulayabiliriz. tahmin kullanılmaz. Bunu yaparsak, rastgele Turing makineleri ( BPP gibi karmaşıklık sınıflarını motive eden) gibi olasılıksal hesaplama modellerini formüle edebiliriz. sayı cinsindenözellikleri belirlenemeyen bir Turing makinesinin yollarını alma. Ayrıca Bunu tersine çevirmek ve bir şekilde sahip çıktılar arasındaki ayırt edebilirsiniz randomize bilgisayarların açısından nondeterministic Turing makineleri tanımlayabilir sıfır sahip olanlardan olasılığını sıfır olmayan olasılık.
Kuantum Turing makineleri
Bir kuantum Turing makinesi ile karakteristik olmayan arasındaki ana fark şudur: kuantumatik olmayan bir şekilde her adımda iki veya daha fazla bir tek geçişi seçmek yerine, bir kuantum Turing makinesi bir veya daha fazla geçişin süperpozisyonuna geçiş yapar. Makinenin tam durumu, bandın klasik durumları, makine kafasının konumu ve makine kafasının "iç durumu" tarafından açıklanan temel durumların doğrusal kombinasyonları ile tanımlanan karmaşık bir vektör uzayındaki birim vektör olarak tanımlanır. . (Bakınız örneğin sayfa 9, Tanım 3.2.2, Kuantum Karmaşıklık Teorisininkuantum Turing makinelerinin geçişleri nasıl yaptıklarının tam açıklaması için.) Kuantum Turing makinesinin bir girişi kabul ettiği durum da daha kısıtlayıcıdır ve doğal olarak başarılı olmak için doğru sonucu gözlemlemek için önemli bir olasılık gerektiren bir olasılık içerir.
Sonuç olarak, kuantum Turing makineleri, klasik olmayan makinelerden, geçişlerini yapma biçimlerinin tamamen belirtilmemiş olması nedeniyle farklılık gösterir. Geçiş "gizemli" görünse bile, aynı zamanda en iyi madde teorimizin gerçek dünyada gerçekleştiğini gösterdiği zamanla aynı tür evrim. Kuantum bilgisayarları "paralel olarak farklı hesaplama yollarını keşfetme" olarak tanımlamak yaygın olsa da, yapılması özellikle faydalı değildir: farklı yollar üzerindeki genlikler, hepsinin aynı öneme sahip olmadığı ve klasik olmayan Turing makinelerinin aksine, bazı sonuçlarda sıfır olmayan genliğe sahip olmak yeterli değildir; 2/3 gibi doğru sonucu elde etmek için çok büyük bir olasılık elde etmek mümkün olmalıdır. (Problem sınıfı BQPkuantum Turing makinesinin etkili bir şekilde çözebileceği, BPP ile rastgele hesaplama için olduğu gibi aynı türde bir olasılık boşluğu gerektirir .) Ayrıca, klasik olmayan Turing makinelerinin aksine, kuantum Turing makinesinin ayrılmasından sonra birbirleriyle etkileşime girebileceğini , Bu, klasik olmayan bir Turing makinesinin tipik formülasyonunda basitçe imkansızdır (ve karar ağacı açısından tanımlamayı, ilk başta daha az kullanışlı hale getirir).
İki modelin karşılaştırılması
Bu makinelerden birinin diğerinden daha güçlü olup olmadığını bilmiyoruz; deterministik olmadıkları farklı yollar birbirinden farklı ve karşılaştırılması zor görünüyor.
Her makinenin hızlı bir şekilde yapabileceği, diğerinin yapamayacağı problemlere gelince (bildiğimiz kadarıyla):
- Bir kuantum Turing makinesinin SATISFIABILITY’yi çabucak çözebileceği bir yol bilmiyoruz. problemini . Belirsiz bir Turing makinesi kolayca yapabilir.
- Aaronson ve Archipov'un ( Lineer Optiğin Hesaplamalı Karmaşıklığı) çalışması, klasik olmayan Turing makinelerinin, bir kuantum Turing makinesi tarafından simüle edilebilecek bazı lineer optik deneylerini verimli bir şekilde simüle edemeyeceğini göstermektedir.
Ancak birisi iki makinenin birbiriyle nasıl ilişkilendirileceğini gösterse bile - ve son derece olası bir senaryoda bile, birinin BQP = NP (sırasıyla bir kuantum Turing makinesinin ve karakteristik olmayan bir Turing makinesinin sırasıyla çözebileceği problemleri) gösterdiğini ) - Bu hesaplama modellerini tanımlayan iki makine birbirinden oldukça farklı.