Domande taggate «p-vs-np»

Domande o relative a P vs. NP

1
Barriere per mostrare
Sappiamo tutti che P≠ NPP≠NPP\ne NP presenta delle barriere. Tutti abbiamo studiato queste barriere perché crediamo P≠ NPP≠NPP\ne NP . Tuttavia supponiamo P= NPP=NPP=NP e ci sono persone sagge che credono che esista la possibilità . Se questo è davvero il caso, il fatto stesso che non abbiamo visto alcun …
15 p-vs-np  barriers 
3
Perché gli informatici nel complesso lavorano supponendo che P ≠ NP?
Proveniente da un background matematico, mi sembra interessante che nel complesso gli informatici tendano a lavorare supponendo che . Sebbene non ci siano prove in entrambi i modi, in generale, a meno che qualcosa non possa essere specificamente dimostrato non sia in matematica che in scienza, viene preso con una …
12 p-vs-np 
1
Solutori NP ottimali
Risolvi un problema di ricerca NP completo, ad es. Il modulo di ricerca di SAT. La ricerca di Levin fornisce un algoritmo per risolvere che è ottimale in un certo senso. In particolare, l'algoritmo è "Esegui tutti i possibili programmi in coda di rondine sull'input , una volta che alcuni …
2
Riduzione di P vs. NP a SAT
La seguente domanda utilizza idee tratte dalla crittografia applicata alla teoria della complessità. Detto questo, è una domanda puramente teorica di complessità e non è richiesta alcuna conoscenza crittografica per rispondere. Scrivo deliberatamente questa domanda in modo molto informale. In mancanza di dettagli, è possibile che sia indicato in modo …
2
Sulla provabilità di P contro NP
Prima di tutto, la mia comprensione del teorema di incompletezza di Gödel (e della logica formale in generale) è molto ingenua, inoltre è la mia conoscenza dell'informatica teorica (il che significa solo un corso di laurea preso mentre sono ancora un laureando), quindi questa domanda potrebbe essere molto ingenuo. Per …
3
Potrebbe esserci un sottogruppo nascosto estremamente ampio di problemi polinomialmente risolvibili all'interno di problemi NP-Complete?
Supponiamo che P! = NP. Sappiamo che possiamo creare semplici istanze di 3-SAT in qualsiasi momento. Possiamo anche generare quelli che crediamo siano casi difficili (perché i nostri algoritmi non possono risolverli rapidamente). C'è qualcosa che impedisce all'insieme di istanze difficili di essere arbitrariamente piccole, purché per una data dimensione …
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.