«oracle-machines» etiketlenmiş sorular

Hesaplamalı karmaşıklık sınıflarını incelemek için olası bir motivasyon, farklı hesaplama kaynaklarının (rasgelelik, determinizm dışı, kuantum etkileri, vb.) Gücünü anlamaktır. Bu perspektiften bakarsak, bazı hesaplamalarda hangi hesaplamaların mümkün olduğunu karakterize etme girişimleri için bir makul aksiyom elde edebiliriz: Herhangi bir uygulanabilir hesaplama her zaman başka bir uygulanabilir hesaplamayı altyordam olarak çağırabilir. …

21 complexity-theory  oracle-machines 

Aptalca olduğunu biliyorum, ama kendimi karıştırmayı başardım ve bunu halletmek için yardıma ihtiyacım var Varsayalım ki , daha sonra açık bir şekilde her torpil için A Elimizdeki P A = N P A bir torpil var olduğu gerçeğini ters A olan P bir ≠ N P A , bu nedenle …

11 complexity-theory  p-vs-np  oracle-machines 

Durduran bir kehanet mevcutsa (veya, aynı şekilde hiper-hesaplama), çoğu problemin önemsiz olduğunu anlıyorum. Bununla birlikte, bir Turing makinesi için Durdurma Probleminin mümkün olmadığını gösteren argümanın uygulanması bir Turing + kehanetinin Turing + kehanet için Durdurma Problemine karar vermesinin imkansız olduğunu da gösterir. Durdurma kehaneti ile çözülemeyen gerçek, pratik, sorun örnekleri …

11 computability  undecidability  halting-problem  oracle-machines 

Oracle Turing Makineleri kullanırken karmaşıklık sınıfları hakkında sağlam ve geçerli açıklamalar yapmaya devam etmemizi nasıl sağlayabiliriz? Anladığım kadarıyla (konuyla ilgili giriş kitaplarında verilen tanımlara dayanarak) oracle Turing makineleri, bir hesaplama adımında bir oracle diline göre bir ipin üyelik durumunu belirleyebilir. Bununla birlikte, sıklıkla kullanılan kehanet dillerinin sabit zamanda çözülmesi imkansızdır …

9 complexity-theory  oracle-machines