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

Unique 1-en-3 SAT

https://www.generacodice.com/fr/articolo/2464057/unique-1-en-3-sat
  satisfiability  -  np  -  3-sat
cs.stackexchange cs.stackexchange

Comment prouver la recherche de deux chemins qui sont au moins k bords d'accueil sont np-dur?

https://www.generacodice.com/fr/articolo/2463884/comment-prouver-la-recherche-de-deux-chemins-qui-sont-au-moins-k-bords-d-accueil-sont-np-dur
  np-hard  -  3-sat  -  graphs
cs.stackexchange cs.stackexchange

Complexités temporelles des solveurs SAT à la pointe de la technologie en ce qui concerne la longueur de la formule

https://www.generacodice.com/fr/articolo/2455775/complexites-temporelles-des-solveurs-sat-a-la-pointe-de-la-technologie-en-ce-qui-concerne-la-longueur-de-la-formule
  turing-machines  -  satisfiability  -  time-complexity  -  3-sat  -  p-vs-np
cs.stackexchange cs.stackexchange

Restartes aléatoires pour des instances insatisfaisantes

https://www.generacodice.com/fr/articolo/1620585/restartes-aleatoires-pour-des-instances-insatisfaisantes
  satisfiability  -  sat-solvers  -  3-sat  -  randomized-algorithms
cs.stackexchange cs.stackexchange

3-CNF à la «forme indépendante»

https://www.generacodice.com/fr/articolo/1615377/3-cnf-a-la-forme-independante
  logic  -  3-sat  -  propositional-logic  -  boolean-algebra
cs.stackexchange cs.stackexchange

Une version «locale» est-elle du NP-dur 3-SAT?

https://www.generacodice.com/fr/articolo/1612712/une-version-locale-est-elle-du-np-dur-3-sat
  satisfiability  -  np-hard  -  3-sat  -  polynomial-time  -  2-sat
cs.stackexchange cs.stackexchange

Réduction paramétrée de 3-SAT à l'ensemble indépendant à un temps d'exécution de borne inférieure en vertu de l'hypothèse d'ETH

https://www.generacodice.com/fr/articolo/1612670/reduction-parametree-de-3-sat-a-l-ensemble-independant-a-un-temps-d-execution-de-borne-inferieure-en-vertu-de-l-hypothese-d-eth
  complexity-theory  -  3-sat  -  parameterized-complexity
cs.stackexchange cs.stackexchange

Preuve que positif-3-sat est dans la complexité de classe P

https://www.generacodice.com/fr/articolo/1611559/preuve-que-positif-3-sat-est-dans-la-complexite-de-classe-p
  satisfiability  -  3-sat  -  normal-forms
cs.stackexchange cs.stackexchange

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
Résultats trouvés: 113
scroll top