Tag 3-sat - Questa è pagina 1 - GeneraCodice

Algoritmo per il controllo della soddisfazione

https://www.generacodice.com/it/articolo/2476884/algoritmo-per-il-controllo-della-soddisfazione
  complexity-theory  -  computability  -  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Monotone 3-SAT è esattamente 3 variabili distinte intraparabili?

https://www.generacodice.com/it/articolo/2472212/monotone-3-sat-e-esattamente-3-variabili-distinte-intraparabili
  np-complete  -  satisfiability  -  3-sat  -  propositional-logic  -  polynomial-time-reductions
cs.stackexchange cs.stackexchange

Prova per la durezza NP di minimizzazione simultanea e massimizzazione di un sottoinsieme ponderato

https://www.generacodice.com/it/articolo/2471120/prova-per-la-durezza-np-di-minimizzazione-simultanea-e-massimizzazione-di-un-sottoinsieme-ponderato
  np-complete  -  satisfiability  -  np-hard  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Unico 3sat a 1-in-3sat unico

https://www.generacodice.com/it/articolo/2464133/unico-3sat-a-1-in-3sat-unico
  complexity-theory  -  np-complete  -  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Unico 1-in-3 seduto

https://www.generacodice.com/it/articolo/2464057/unico-1-in-3-seduto
  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Come dimostrare di trovare due percorsi che sono almeno k bordi a parte è NP-HARD?

https://www.generacodice.com/it/articolo/2463884/come-dimostrare-di-trovare-due-percorsi-che-sono-almeno-k-bordi-a-parte-e-np-hard
  np-hard  -  3-sat  -  graphs
cs.stackexchange cs.stackexchange

Complessità del tempo di solutori satellitati all'avanguardia rispetto alla lunghezza della formula

https://www.generacodice.com/it/articolo/2455775/complessita-del-tempo-di-solutori-satellitati-all-avanguardia-rispetto-alla-lunghezza-della-formula
  turing-machines  -  satisfiability  -  time-complexity  -  3-sat  -  p-vs-np
cs.stackexchange cs.stackexchange

Riavvia casuali per istanze insoddisfacenti

https://www.generacodice.com/it/articolo/1620585/riavvia-casuali-per-istanze-insoddisfacenti
  satisfiability  -  sat-solvers  -  3-sat  -  randomized-algorithms
cs.stackexchange cs.stackexchange

3-CNF alla "forma indipendente"

https://www.generacodice.com/it/articolo/1615377/3-cnf-alla-forma-indipendente
  logic  -  3-sat  -  propositional-logic  -  boolean-algebra
cs.stackexchange cs.stackexchange

È una versione "locale" di NP-Hard a 3-Sat?

https://www.generacodice.com/it/articolo/1612712/e-una-versione-locale-di-np-hard-a-3-sat
  satisfiability  -  np-hard  -  3-sat  -  polynomial-time  -  2-sat
cs.stackexchange cs.stackexchange
Risultati trovati: 113
scroll top