Candidati naturali per NP-E ed E-NP


10

È noto fin dai primi anni '70 che NP ed E=DTIME(2O(n)) non sono uguali (perché E non è chiuso con riduzioni di molti tempi polinomiali, a differenza di NP ) . Per quanto ne so, tuttavia, è ancora chiaro se una classe sia un sottoinsieme dell'altra, o se siano incomparabili, nel senso che NPE ed ENP sono entrambi non vuoti.

Domanda: Quali sono alcuni problemi (preferibilmente naturali) che sono candidati per essere in NPE o ENP , supponendo che il rispettivo set non sia vuoto? Sono particolarità interessato a problemi naturali all'interno NP che probabilmente richiederà tempo esponenziale con superlineare esponente, cioè, sono in NPE .

Risposte:


15

TQBF (True Boolean Formulas) è in E e non sarà in NP a meno che NP = PSPACE.

Una lingua in NP-E è più complicata. Un linguaggio del genere sarebbe anche in NP-NTIME (n) e non ne abbiamo grandi esempi. Potresti usare una rappresentazione succinta come

L={C | Il circuitoC descrive un graficoG su|C|5 nodi in cuiG è a 3 colori} .

LE

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.