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

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

Pourquoi la réduction du 3SAT à l'EI est-elle un travail?

https://www.generacodice.com/fr/articolo/1587424/pourquoi-la-reduction-du-3sat-a-l-ei-est-elle-un-travail
  complexity-theory  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange

Est-il possible de résoudre 3sat en O (n ^ 24) Temps et O (1) Espace?

https://www.generacodice.com/fr/articolo/1585973/est-il-possible-de-resoudre-3sat-en-o-n-24-temps-et-o-1-espace
  complexity-theory  -  satisfiability  -  sat-solvers  -  3-sat
cs.stackexchange cs.stackexchange

Prouver que «presque la clique» est complète np

https://www.generacodice.com/fr/articolo/1584318/prouver-que-presque-la-clique-est-complete-np
  np-complete  -  clique  -  np  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange

Est-ce que le cas SAT suivant dans $ mathsf {p} $?

https://www.generacodice.com/fr/articolo/1584263/est-ce-que-le-cas-sat-suivant-dans-mathsf-p
  complexity-theory  -  satisfiability  -  3-sat
cs.stackexchange cs.stackexchange

Quelle est l'ensemble de la preuve NP-Hardness de Super Mario Bros?

https://www.generacodice.com/fr/articolo/1581966/quelle-est-l-ensemble-de-la-preuve-np-hardness-de-super-mario-bros
  complexity-theory  -  np-hard  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange

Réduction 3sat et clique

https://www.generacodice.com/fr/articolo/1580401/reduction-3sat-et-clique
  algorithms  -  3-sat  -  reductions
cs.stackexchange cs.stackexchange

Variation de max 3-SAT

https://www.generacodice.com/fr/articolo/1566212/variation-de-max-3-sat
  complexity-theory  -  satisfiability  -  3-sat
cs.stackexchange cs.stackexchange

Définition de certificat de NL

https://www.generacodice.com/fr/articolo/1564356/definition-de-certificat-de-nl
  complexity-theory  -  turing-machines  -  space-complexity  -  3-sat  -  computational-complexity
cs.stackexchange cs.stackexchange
Résultats trouvés: 113
scroll top