NP mi

$DTIME(n^{polylogn})$ olarak bilinen $QP$ (yarı-polinom).

, daha güçlü bir ifade olmasına rağmen. $NP\not \subset QP$ $P\neq NP$

Üstel Zaman Hipotezi gibi bazı ortak varsayımlar ifade eder . $NP\not \subset QP$

— RB
kaynak

"Bazı ortak varsayımlar ..." dersiniz. ETH dışında diğerleri nelerdir? Son derece ilgileniyorum çünkü şu anda NP ve QP ile ilgili çalışıyorum - en azından umarım ...

— Matt Groff

inanmanın bir başka iyi nedeni de ima ettiği ve ikincisinin çok düşük ihtimal olduğu düşünülmektedir. Bu ima bir doldurma argümanı ile kanıtlanabilir, bakınız, örneğin, aşağıdaki makalede, Teklif 2'nin ispatı: $NP\not\subseteq QP$ $NP\subseteq QP$ $EXP=NEXP$

H. Buhrman ve S. Homer, "Süperpolinom devreleri, neredeyse seyrek kehanetler ve üstel hiyerarşi," Yazılım Teknolojisinin Temelleri ve Teorik Bilgisayar Bilimi, Springer LNCS Cilt. 652, 1992, s. 116-127, pdf

— Andras Farago
kaynak

Bu yanıtı çok beğendim. RB'nin cevabı göz önüne alındığında, ETH ile

varsayımı arasındaki ilişkinin ne olduğunu merak ediyorum .

E X P \neq N E X P

$\mathsf{EXP} \neq \mathsf{NEXP}$

— Joshua Grochow

@Joshua Bununla ilgili literatürü araştırmadım, ama bence ETH'nin herhangi bir ihlali muhtemelen daha yüksek bir seviyede çöküş anlamına geliyor. Sanırım, seviye ETH'nin "ne kadar güçlü" ihlal edildiğine, daha dramatik çöküşler sağlayan daha güçlü ihlallere bağlıdır. Cevap işaret edildiği gibi, güçlü ETH ihlali

ima

. Böyle varsayarak gibi daha yumuşak bir ihlali, ele alırsak

daha büyük bir altüssel sınıfta

ve ardından çökme muhtemelen (örneğin, daha yüksek üslü sınıflar veya iki katına) yukarı doğru kaydırılır.

N P \subseteq Q P

$NP\subseteq QP$

E X P = N E X P

$EXP=NEXP$

N P

$NP$

Q P

$QP$

— Andras Farago

Thansk, ama ETH ve

arasında her iki şekilde doğrudan bir sonuç soruyordum . Şimdi iki

var - ETH,

anlamına

- ve birinin diğerinin sonucu olup olmadığını merak ettim.

E X P \neq N E X P

$\mathsf{EXP} \neq \mathsf{NEXP}$

N P ⊈ Q P

$\mathsf{NP} \not\subseteq \mathsf{QP}$

N E X P \neq E X P

$\mathsf{NEXP} \neq \mathsf{EXP}$

N P ⊈ Q P

$\mathsf{NP} \not\subseteq \mathsf{QP}$

— Joshua Grochow

Ne yazık ki, doğrudan bir imadan haberdar değilim. Bir başka notta, ETH ihlallerinin sadece devre alt sınırları açısından sadece çökmeler değil, aynı zamanda ayrımlar da yapabilmesi oldukça ilginçtir. Ryan Williams'ın (pdf) bir makalesi , en küçük ETH ihlali bile, devre alt sınırlarını kanıtlamak için bazı kötü şöhretlerin zor olduğunu ima ediyor.

— Andras Farago