Perguntas com a marcação «conditional-results»

Does implica ?E = N EE X P = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

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

Suponha . Em seguida, uma simples mostra argumento que P H P P = N P . Podemos dar um passo adiante e obter P P P P = N P ? O argumento simples éNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Se então P H P P = N P .NP= …

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

Seja SAT o idioma das instâncias do SAT que contêm variáveis , seja -SAT o idioma das instâncias do SAT nas quais todas as cláusulas têm no máximo k literais, e deixe k -SAT _v ser sua interseção. Seja s_k = \ inf_M \ {\ delta \ mid \ existe …

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