Pertanyaan yang diberi tag «conditional-results»

Apakah menyiratkan E = N E ?E X P = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Misalkan . Kemudian argumen sederhana menunjukkan bahwa P H P P = N P . Bisakah kita melangkah lebih jauh dan mendapatkan P P P P = N P ? Argumen sederhananya adalahNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Jika maka P H P P = N P .NP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NP Bukti …

8 cc.complexity-theory  counting-complexity  conditional-results 

vv_v[v]={0,1,…,v−1}[v]={0,1,…,v−1}[v] = \{0,1,\dots,v-1\}kkkkkkkkkvv_vs ∞ = lim k → ∞ s ksk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}sk=infM{δ∣∃c∀v(M decides k-SATv in 2vδ−c) time)}s_k = \inf_M\{\delta \mid \exists c\forall v\;( M\text{ decides } k\text{-SAT$_v$ in }2^{v\delta-c})\text{ time}) \}s∞=limk→∞sks∞=limk→∞sks_\infty = \lim_{k \to \infty} s_k. Agar ini masuk akal, kita harus berasumsi bahwa ada batasan …

8 cc.complexity-theory  parameterized-complexity  conditional-results