Polinom zamanında çözülebilen ancak polinom zamanında doğrulanamayan bir görev var mı?


34

Bir meslektaşım ve ben profesörlerimizden birinin notlarını aldık. Notlar, polinom zamanında çözülmesi mümkün olan (PF sınıfında olan) ancak polinom zamanında doğrulanamayan (NPF sınıfında DEĞİLDİR) olmayan işler olduğunu belirtir.

Bu sınıflar hakkında detaylı bilgi vermek için: X girdilerinden bazılarını alıyoruz ve (X, Y) görevimizi temsil eden R ilişkisinde olacak şekilde Y çıkışı üretiyoruz. Polinom zamanında X için Y almak mümkün ise, görev PF sınıfına aittir. Bir tuple (X, Y) polinom zamanında R ile ilişkili olduğunu kanıtlayan polinom uzunluğu sertifikasının Z'nin doğrulanması mümkün ise, görev NPF sınıfına aittir.

Cevabın sadece EVET veya HAYIR olduğu karar sorunlarından bahsetmiyoruz (eğer daha çok dize bazı dillere aitse). Karar problemleri için PF'nin NPF'nin uygun bir alt kümesi olduğu görülüyor. Ancak, diğer görevler için farklı olabilir.

Polinom zamanında çözülebilen ancak polinom zamanında doğrulanamayan bir görev biliyor musunuz?


8
Belki de yanlış anlıyorum ama aşağıdaki neden bir polinom-zaman doğrulama algoritması değil? Verilen , polinom-zaman algoritmasını kullanarak, fonksiyonunu kendiniz hesaplayın ve eğer ise "doğru" . Yanlış okuduğunuz veya profesörün yanlış konuştuğu ve polinom zamanında doğrulanabilir fakat polinom zamanında çözülemeyen sorunlar olduğunu söylemek istemesi mümkün mü? f ( x ) f ( x ) = y(x,y)f(x)f(x)=y
Lieuwe Vinkhuijzen

1
@LieuweVinkhuijzen "Polinom zamanında doğrulanabilir fakat polinom zamanında çözülemeyen sorunlar olduğunu söylemek mi?" [ref. gerekli]
T. Verron

@ T.Verron Haha evet, ben de bu iddianın profesörünün kanıtını gördüğüm için çok mutlu
olurum

Yanıtlar:


44

Bu, yalnızca belirli bir giriş için kabul edilebilir çok sayıda çıktı varsa mümkündür. Yani, ilişkisi bir işlev olmadığında, tekliği ihlal ettiği için.R

Örneğin, bu sorunu göz önünde bulundurun:

Verilen (tekli temsil) ve TM üretmek başka TM şekilde ve (burada kodlama açılımı ( arasında Gödel'in sayısı) , doğal dizi halinde) M N L ( M ) = L ( N ) # N > n # N NnNMNL(M)=L(N)#N>n#NN

Bunu çözmek önemsizdir: kodlaması geçinceye kadar TM , belki de aralarında bazı kukla geçişlerle birkaç gereksiz durum eklemeye devam edin . Bu, TM üzerinde Padding Lemma'nın tekrarlanan temel bir uygulamasıdır. Bu , her biri bir durum ekleyebilecek dolguları gerektirecektir , dolayısıyla polinom zamanında yapılabilir.n , nMnn

Diğer yandan, verildiğinde girişleri için doğru bir çıkış olup olmadığını kontrol etmek kararsızdır . Gerçekten de, kontrol (pirinç teoremini) undecidable ve kısıtlama sadece atar sonlu sayıda s olanlardan. Kararsız bir problemden sonlu miktarda elementi kaldırdığımız için hala çözülemeyen bir problemimiz var., N , N , M L ( E ) = L ( N ) # K > N , Nn,M,NNn,ML(M)=L(N)#N>nN

Hala hesaplanabilir ancak NP zor / tamamlanmış varyasyonları elde etmek için kararsız özelliğini de değiştirebilirsiniz . Örneğin, (unary) içinde, içinde bir keki olan bir grafiğini hesaplamak çok önemlidir. Fakat göre, tepecik olup olmadığını kontrol etmek zor .n G nL(M)=L(N)nGnn,n,Gn


1
Bunun böyle olmaması bekleniyor. Mükemmel cevap!
Filip Haglund,

7
Bu soruya cevap vermiyor. OP, her zamanki anlamıyla doğrulanamayan bir sorun istedi, burada girdi ve iddia edilen cevabın yanı sıra cevabın doğruluğunu onaylayan bir sertifika alıyoruz . Sizin durumunuzda, sertifika, yeni eşdeğer Turing Makinesini teknik olmayan bir şekilde üretmek için kullanılan bitlerdir. Verilen K , N ve z , kontrol etmek kolaydır z makinesi verir M . Z olmadan soru, yalnızca Minicrypt ve Cryptomania'da doğru olan (NPC) dillerinin zor örneklerini oluşturmanın kolay olup olmadığıdır. zM,NzzMz
Lieuwe Vinkhuijzen

2
@chi Tüm çiftleri sertifikalandırılamaz, ancak algoritmanız tarafından oluşturulan M , N çiftleri sertifikalandırılabilir. Sertifika M algoritmasını N ' den M' ye dönüştürür (örneğin " M ile başla , sonra bu durumu ekle ve bu geçişi ekle, sonra ... ve voilà, N !"). Genel olarak, eğer T , x verildiğinde daima kabul edilebilir bir y değerini hesaplayan , belirlenemeyen bir algoritma ise , o zaman T ( x ) hesaplama yolunun bir transkripsiyonu, verilen y'nin kabul edilebilir olduğu bir sertifikadır .M,NM,NNMMNTxyT(x)y
Lieuwe Vinkhuijzen

3
@chi Söz konusu hafif nüans bulunuyor: keyfi bir ilişki için , değil tüm kabul edilebilir olması mümkündür y zırdeli vardır ve zarif bir örnek vermek. Kabul edilebilir ama uncertifiable ilişkiler olsun Ancak, soru sormuyor var (cevaptır evet seni örnek,) yerine biz kabul, uncertifiable çıktı üretir bir algoritma olabilir sorar. Buradaki cevap, yukarıdaki tartışmadan dolayı hayır olmalı . Ry
Lieuwe Vinkhuijzen

2
@chi'nin ne sorması gerektiğini bilmiyorum, ama cevabınızı çok aydınlatıcı buldum, yine de bir şey öğrendim! imo soru, sizin ya da “ tek yönlü işlevler var mı? ” (belki) ya da “ NP sorunlarının ortaya çıkmasının zor örnekleri midir? ” (RSA için umarım) gibi eşit derecede makul bir şekilde okunabilir. olarak okudum yolu, " Is ?NPP " (hayır).
Lieuwe Vinkhuijzen

1

Bu sadece @ chi'nin cevabının ilk cümlesinin bir detaylandırmasıdır, çünkü açık bir şekilde bulamadım.

Buradaki fikir, polinom zamanındaki bir problemin cevabını bulan bir algoritmanız varsa, iki olasılık vardır:

  1. Algoritmanın çıktısının soruna bir çözüm olduğunu daha önce kanıtladınız (matematiksel olarak), bu durumda algoritmanın adımlarının kendileri doğruluk ispatını oluşturur.

  2. Çıktının gerçekten bir çözüm olduğunu kontrol etmek için farklı bir algoritmaya sahipsiniz, bu durumda bu algoritmayı çalıştırmanız gerekir (aksi halde durum # 1'e düşersiniz), bu polinom zamanda yaptığınız anlamına gelir.

Bu nedenle, böyle bir sorun olamaz.


Anlamıyorum # 2. Farklı algoritmanın polinom zaman içerisinde çalıştığı nedir?
Albert Hendriks

@AlbertHendriks: Doğrulayıcı polinom zamanında çalışmadıysa, orijinal çözücü polinom zamanında doğru bir çözüm bulduğunu iddia edemezdi, çünkü çözümünün doğru olduğundan emin olmak için doğrulayıcıyı çalıştırması gerekir.
Mehrdad,
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.