Tag 3-sat - Ceci est la page 4 - GeneraCodice

Complexité à grains fins de l'évaluation des formules de 3-CNF

https://www.generacodice.com/fr/articolo/1609047/complexite-a-grains-fins-de-l-evaluation-des-formules-de-3-cnf
  satisfiability  -  time-complexity  -  sat-solvers  -  3-sat  -  decision-problem
cs.stackexchange cs.stackexchange

Pourquoi ne pas faire ces vérifications sur le nombre de clauses en 3-SAT?

https://www.generacodice.com/fr/articolo/1605290/pourquoi-ne-pas-faire-ces-verifications-sur-le-nombre-de-clauses-en-3-sat
  satisfiability  -  sat-solvers  -  3-sat
cs.stackexchange cs.stackexchange

Structure générale des solutions aux circuits 3-SAT

https://www.generacodice.com/fr/articolo/1604656/structure-generale-des-solutions-aux-circuits-3-sat
  satisfiability  -  constraint-satisfaction  -  3-sat  -  2-sat
cs.stackexchange cs.stackexchange

Problème 2SAT Utilisation du graphique d'implication

https://www.generacodice.com/fr/articolo/1604338/probleme-2sat-utilisation-du-graphique-d-implication
  complexity-theory  -  satisfiability  -  np  -  3-sat  -  2-sat
cs.stackexchange cs.stackexchange

Quelles sont les réductions connues de 3SAT à 2SAT ?

https://www.generacodice.com/fr/articolo/1600549/quelles-sont-les-reductions-connues-de-3sat-a-2sat
  complexity-theory  -  satisfiability  -  algorithms  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange

En supposant que p = np - trouver un algorithme optimal pour 3SAT

https://www.generacodice.com/fr/articolo/1598626/en-supposant-que-p-np-trouver-un-algorithme-optimal-pour-3sat
  optimization  -  algorithms  -  3-sat
cs.stackexchange cs.stackexchange

Une modification du système de preuve de Krom pourrait-elle être utilisée pour résoudre 3-SAT en temps polynomial?

https://www.generacodice.com/fr/articolo/1591855/une-modification-du-systeme-de-preuve-de-krom-pourrait-elle-etre-utilisee-pour-resoudre-3-sat-en-temps-polynomial
  complexity-theory  -  3-sat  -  p-vs-np
cs.stackexchange cs.stackexchange

Comment le nombre de clauses affecte-t-il la difficulté d'un problème à 3 cases? [fermé

https://www.generacodice.com/fr/articolo/1591101/comment-le-nombre-de-clauses-affecte-t-il-la-difficulte-d-un-probleme-a-3-cases-ferme
  complexity-theory  -  satisfiability  -  3-sat
cs.stackexchange cs.stackexchange

Algorithme randomisé pour 3SAT

https://www.generacodice.com/fr/articolo/1588339/algorithme-randomise-pour-3sat
  3-sat  -  randomized-algorithms
cs.stackexchange cs.stackexchange

La génération de min-3-unsat $ mathsf {np} $ - dur?

https://www.generacodice.com/fr/articolo/1587675/la-generation-de-min-3-unsat-mathsf-np-dur
  satisfiability  -  np-hard  -  3-sat  -  boolean-algebra
cs.stackexchange cs.stackexchange
Résultats trouvés: 113
scroll top