Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag 3-sat - Ceci est la page 5 - GeneraCodice
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
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
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
Algorithme randomisé pour 3SAT
https://www.generacodice.com/fr/articolo/1588339/algorithme-randomise-pour-3sat
3-sat
-
randomized-algorithms
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
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
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
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
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
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
«
2
3
4
5
6
7
»
Résultats trouvés: 113