için ne gibi kanıtlarımız var

Josh Grochow'un önerisinin ardından, bir önceki sorudan yaptığım yorumu yeni bir soruya dönüştürüyorum.

için ne gibi kanıtlarımız var $\mathsf{UP} \neq \mathsf{NP}$ ?

Burada $\mathsf{UP}$ , "evet" örneklerinde benzersiz bir kabul yoluna sahip olan ve "hayır" örneklerinde kabul yolu olmayan polinom zamanı belirleyici olmayan Turing makineleri tarafından tanınan dil sınıfıdır.

$\mathsf{UP} \subseteq \mathsf{NP}$ $\mathsf{P} \subsetneq \mathsf{UP} \subsetneq \mathsf{NP}$ $\mathsf{UP}$

— Sasho Nikolov
kaynak

İlgili tartışma burada: cstheory.stackexchange.com/q/3887/1800

— Hsien-Chih Chang 張顯之

@ Hsien-ChihChang 張顯之 hm, belki sorum yineleniyor. Öyle düşünüyorsanız, silmek için işaretleyebilirim.

— Sasho Nikolov

Bunun bir kopya olduğunu sanmıyorum. İnanmak için nedeni olabilir - Ben başka soruya cevaplar buna yanıt olarak saymak diye düşünüyor, ama mutlaka tersi

"formunun değilseniz

, o zaman bazı (diğer) kötü karmaşıklık sonuçları olur. ”

N P \neq U P

$\mathsf{NP} \neq \mathsf{UP}$

N P = U P

$\mathsf{NP}=\mathsf{UP}$

— Joshua Grochow

En iyi kanıt, UP'deki bazı doğal inatçı problemler (ayrı logaritma ve tamsayı çarpanlarına ayırma karar versiyonları gibi) üzerinde üstel üst sınırlara sahip olduğumuz, ancak bazı NP-tam problemleri için böyle bir üst sınır bulamadığımızdır. 3SAT. 3SAT için böyle bir üst sınır, Üstel zaman hipotezi varsayarak imkansızdır.

— Mohammad Al-Turkistany

@ MohammadAl-Turkistany Ama bu sorunları olan

, bu yüzden,

, daha sonra hala sadece olacaktır

, bu olmaz

-Komple sürece

...

U P \cap c o U P

$\mathsf{UP} \cap \mathsf{coUP}$

N P = U P

$\mathsf{NP} = \mathsf{UP}$

N P \cap c o N P

$\mathsf{NP} \cap \mathsf{coNP}$

N P

$\mathsf{NP}$

N P = c o N P

$\mathsf{NP} = \mathsf{coNP}$

— Joshua Grochow

Hatta, Selman ve Yacobi ayrık orada yok conjectured çiftini içermeli bu her ayırıcılar bu olan için -Sert . Bu saptama ima . $NP$ $(A, B)$ $(A, B)$ $\le_T^p$ $NP$ $UP \ne NP$

S. Even, A. Selman ve J. Yacobi. Açık anahtarlı kriptografiye yapılan uygulamalarda vaat sorunlarının karmaşıklığı. Bilgi ve Kontrol, 61: 159–173, 1984.

— Muhammed El-Türkistan
kaynak

Bu aynı zamanda ilgili yazı için iyi bir cevap olarak da çalışır cstheory.stackexchange.com/questions/3887/…

— Mohammad Al-Turkistany

N P \neq c o N P

$NP \ne coNP$