olduğuna dair ne kanıt var ?

10

olduğuna dair ne kanıt var ? $coRP \neq NP$

$coRP$ , polinom zamanında çalışan ve her zaman dile ait bir girdide Evet yanıtı veren ve dile ait olmayan bir girdide en az yarısı olan Hayır cevabını veren olasılıklı bir Turing Makinesi bulunan dil sınıfıdır.

cc.complexity-theory complexity-classes

— Serge Gaspers
kaynak

Biraz arka planın, ya da googling'in ya da her ikisinin ortaya çıkmasının bu soruyu daha iyi hale getireceğini düşünüyorum.

— Evgenij Thorstensen

c o R

$coR$ Turing makinesi tarafından çözülebilir sorunlar kümesinin tamamlayıcı olduğu gibi özyinelemeli Diller tamamlayıcı olduğu gibi?

— Daniel Apon

2

Sanırım coR şimdi coRP olarak adlandırılan sınıfın eski adı.

— Robin Kothari

Karışıklık için özür dilerim. Güncellemeye bakın.

— Serge Gaspers

15

Determinizmin (P'ye ve NP'ye) gücü düşünüldüğünde, randomizasyon 2. dereceden bir sorun gibi görünmektedir. Özellikle "P = NP?" randomizasyona izin verilebilecek "tüm NP sorunları izlenebilir" sorusuyla gerçekten ilgileniyoruz, bu nedenle izlenebilirlik gerçekten "BPP'de" anlamına geliyor. Dolayısıyla, "BPP'de bulunan NP" esasen "P = NP" kadar olası görünmemektedir ve aslında bunlar farklı kabul edilirse, insanlar ikincisinden ziyade öncekine önem verirlerdi. (Tuhaf varyant "coRP'de NP" bu ikisi arasında resmen ortada bir yerde, ancak kavramsal olarak esasen aynıdır). Yeterince iyi sahte rasgele üreteçler varsa, o zaman iki soru resmen aynıdır. Benzer şekilde, "homojen olmayan ortamlarda" randomizasyonun yardımcı olmadığı ve dolayısıyla "

— Noam
kaynak

11

Eğer coR ile coRP'yi kastediyorsanız, birçok kişi tarafından P = RP = coRP = BPP olduğuna ve ayrıca P'nin NP'ye eşit olmadığına, dolayısıyla coRP'nin NP'ye eşit olmadığına inanılmaktadır.

Daha doğrudan, eğer NP coRP'ye eşit olsaydı, o zaman coNP'de bulunur (çünkü coRP coNP'de bulunur). Sonra simetri ile NP = coNP. Bu, polinom hiyerarşisinin ilk seviyeye çöktüğü anlamına gelir. Bununla birlikte, polinom hiyerarşisinin sonsuz olduğuna geniş ölçüde inanılmaktadır.

— Robin Kothari
kaynak

4

Aynı konunun yinelenen tartışmasından kaçınmak için, bu önceki bir soru ile çok yakından ilgilidir:

P = RP için hangi spesifik kanıtlar var?

Kısacası, P = BPP sertlik varsayımlarından kaynaklanmaktadır ve P = BPP, P = coRP'yi ifade etmektedir.

— Moritz
kaynak