Domande taggate «np-intermediate»

28
Problemi tra P e NPC
Il factoring e l'isomorfismo grafico sono problemi in NP che non sono noti per essere in P né per NP-Complete. Quali sono alcuni altri problemi naturali (sufficientemente diversi) che condividono questa proprietà? Gli esempi artificiali che provengono direttamente dalla dimostrazione del teorema di Ladner non contano. Qualcuno di questi esempi …
4
Teorema di Ladner generalizzato
Il teorema di Ladner afferma che se P ≠ NP, allora esiste una gerarchia infinita di classi di complessità che contengono rigorosamente P e strettamente contenute in NP. La dimostrazione utilizza la completezza di SAT con numerose riduzioni di NP. La gerarchia contiene classi di complessità costruite da una sorta …
1
Ci sono problemi "NP-Intermediate-Complete"?
Supponiamo P NP.≠≠\ne Il teorema di Ladner afferma che ci sono problemi intermedi NP (problemi in NP che non sono né in P né NP-Complete). Ho trovato online alcuni riferimenti velati che suggeriscono (penso) che ci sono molti "livelli" di linguaggi reciprocamente riducibili all'interno di NPI che sicuramente non collassano …
1
È
Possiamo provare che per ogni lingua che non è N P -hard (questo presuppone P ≠ N P ), P L ≠ P SAT ? In alternativa, questo può essere dimostrato con ipotesi ragionevoli?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}
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.