Karmaşıklık teorisinde “Karar” ve “Doğrulama” arasındaki fark nedir?


16

Michael Sipser'in Hesaplama Teorisi'nin 270. sayfasında şunları yazıyor:

P = üyeliğe hızlı bir şekilde karar verilebilen dil sınıfı.
NP = üyeliğin hızlı bir şekilde doğrulanabildiği dil sınıfı.

"Kararlı" ve "doğrulanmış" arasındaki fark nedir?


1
Bu arada, tırnak pices P ve NP Sipser kullanımının resmi tanımları olmadığından eminim. Tanımlar (veya ilk sonuçlardan bazıları) soruyu ele almalıdır.
Raphael

Yanıtlar:


12

Üyeliğe karar verme görevi : herhangi bir giriş verildiğinde karar verin , yani aşağıdaki işlevi hesaplayın:xxL

χL(x)={1xL0xL

Öte yandan, görevi doğrulayarak üyelik edilir: herhangi bir giriş verilmiş ve (önerilen) geçirmez (veya tanık üyelik), Hava çabucak kontrol kanıtı tarafından ¹.xxL

Örneğin, asal çarpanlara ayırmayı düşünün. Verilen , tüm asal çarpanlarını hesaplamak . Öte yandan, verilen ,nN-n(n,{i1,,ik})j=1kij=n . Hangisi daha kolay?

Başka bir örnek: Verilen bir ağırlıklı grafiktir , bir Hamilton döngü vardır Hava karar vermektedir (ziyaretler, tüm düğümler) en ağırlığı k . Öte yandan, ( G , ( v 1 , , v n ) ) verildiğinde, v 1v n yolunun tüm düğümleri tam olarak bir kez ziyaret edip etmediğini ve en fazla k ağırlığına sahip olduğunu doğrulayın . Hangisi daha zor?G=(V,E)k(G,(v1,,vn))v1vnk


  1. Eğer ise "hayır" diyeceksiniz, fakat kanıt yanlış. Yine de, bu bağlamda belirsiz makineleri ele aldığımız için sorun değil; sadece doğru kanıtı tahmin edip doğrulayabilmemiz önemlidir (hızlı bir şekilde).xL

Aslında, belirleyici bir Turing makinesi M ile polinom zamanındaki üyeliği doğrulayabilirseniz, üyeliğe karar veren belirleyici olmayan bir TM M 'oluşturmak oldukça kolaydır : sadece belirleyici olmayan tüm olası girdileri numaralandırın ve sonra M ile oluşturun.
Romuald

8

Verimlilik sorunlarını göz ardı edersek, analojiye göre farkı gösteren başka bir örnek daha var. Durdurma sorununun çözülemez olduğunu biliyoruz: Turing makinesi için kodu verildiğinde , makinenin herhangi bir giriş olmadan çalıştırılması durumunda durup durmadığını belirlemenin etkili bir yolu yoktur.e

Bir makine Ama eğer yok sadece durana makine çalışır önce kaç adım onlara: durdurmak, başkasına kanıtlamak zor değildir. Makineyi bu kadar çok adım için çalıştırabilir ve doğruyu söyleyip söylemediğinizi bilirler (elbette verimliliği görmezden gelmek).

Yani Turing makinelerini durdurma seti karar verilemez, ancak doğrulanabilir. Durmayan makineler için bir kanıt verilmemesi gerektiğini unutmayın . Doğrulama yalnızca üyelik anlamında asimetrik olduğu içinde sette doğrulanabilir olması vardır, üyelik dışarı kümesinin yok.

P ve NP'deki durum benzerdir. Her bir amacı, bu deliller bir sistem ise, bir dil NP olduğu de dil ile sınırlanan bir dizi adım verimli doğrulanabilir (nesnenin boyutu bir polinom ile sınırlandırılan), kısa bir kanıt vardır ( giriş boyutunda bir polinom).

Öte yandan, keyfi bir nesnenin, nesnenin boyutunda bir polinom tarafından sınırlandırılmış bir dizi adım kullanarak dilde olup olmadığını anlamanın bir yolu varsa, P dilinde bir dil vardır. Şimdi sadece dildeki nesneler için değil, rastgele girdiler için de endişelenmeliyiz. Ancak bu sorun simetriktir: eğer bir dil P dilinde ise, tamamlayıcısı da öyle. Her NP dilinin tamamlayıcısının da bir NP dili olup olmadığı sorusu çözülmemiştir.

(Bu benzetme, NP problemlerinin yeniden kümeler gibi P problemleri için hesaplanabilir kümeler olduğunu düşündürmektedir. Bu biraz doğrudur, ancak yanıltıcı olabilir. NP ve Co-NP olan her kümenin P'de olup olmadığı bilinmemektedir).

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.