Tag 3-sat - Questa è pagina 5 - GeneraCodice

Supponendo che P = NP - Trova un algoritmo ottimale per 3sat

https://www.generacodice.com/it/articolo/1598626/supponendo-che-p-np-trova-un-algoritmo-ottimale-per-3sat
  optimization  -  algorithms  -  3-sat
cs.stackexchange cs.stackexchange

È possibile utilizzare una modifica del sistema di prova di KROM per risolvere 3-Sat nel tempo polinomiale?

https://www.generacodice.com/it/articolo/1591855/e-possibile-utilizzare-una-modifica-del-sistema-di-prova-di-krom-per-risolvere-3-sat-nel-tempo-polinomiale
  complexity-theory  -  3-sat  -  p-vs-np
cs.stackexchange cs.stackexchange

In che modo il numero di clausole influisce sulla difficoltà di un problema a 3 saggi? [Chiuso

https://www.generacodice.com/it/articolo/1591101/in-che-modo-il-numero-di-clausole-influisce-sulla-difficolta-di-un-problema-a-3-saggi-chiuso
  complexity-theory  -  satisfiability  -  3-sat
cs.stackexchange cs.stackexchange

Algoritmo randomizzato per 3sat

https://www.generacodice.com/it/articolo/1588339/algoritmo-randomizzato-per-3sat
  3-sat  -  randomized-algorithms
cs.stackexchange cs.stackexchange

Generare MIN-3-UNSAT $\mathsf{NP}$-è difficile?

https://www.generacodice.com/it/articolo/1587675/generare-min-3-unsat-mathsf-np-e-difficile
  satisfiability  -  np-hard  -  3-sat  -  boolean-algebra
cs.stackexchange cs.stackexchange

Perché la riduzione da 3SAT a è lavoro?

https://www.generacodice.com/it/articolo/1587424/perche-la-riduzione-da-3sat-a-e-lavoro
  complexity-theory  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange

Questo è possibile risolvere 3Sat nello spazio O (n^24) e O (1)?

https://www.generacodice.com/it/articolo/1585973/questo-e-possibile-risolvere-3sat-nello-spazio-o-n-24-e-o-1
  complexity-theory  -  satisfiability  -  sat-solvers  -  3-sat
cs.stackexchange cs.stackexchange

Dimostrare "quasi cricca" è NP completo

https://www.generacodice.com/it/articolo/1584318/dimostrare-quasi-cricca-e-np-completo
  np-complete  -  clique  -  np  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange

Seguire il caso SAT in $ mathsf {p} $?

https://www.generacodice.com/it/articolo/1584263/seguire-il-caso-sat-in-mathsf-p
  complexity-theory  -  satisfiability  -  3-sat
cs.stackexchange cs.stackexchange

Qual è l'intera immagine della prova della durenza NP di Super Mario Bros?

https://www.generacodice.com/it/articolo/1581966/qual-e-l-intera-immagine-della-prova-della-durenza-np-di-super-mario-bros
  complexity-theory  -  np-hard  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange
Risultati trovati: 113
scroll top