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 2-sat - Ceci est la page 1 - GeneraCodice
Complexité de cas spécifiques de max2sat
https://www.generacodice.com/fr/articolo/2475077/complexite-de-cas-specifiques-de-max2sat
complexity-theory
-
np-complete
-
satisfiability
-
reductions
-
2-sat
cs.stackexchange
Compteur de temps polynomial de solutions d'expression 2Sat avec des littéraux purs
https://www.generacodice.com/fr/articolo/2474084/compteur-de-temps-polynomial-de-solutions-d-expression-2sat-avec-des-litteraux-purs
counting
-
2-sat
cs.stackexchange
Nombre maximum de littéraux positifs en 2SAT
https://www.generacodice.com/fr/articolo/2465552/nombre-maximum-de-litteraux-positifs-en-2sat
satisfiability
-
np
-
2-sat
cs.stackexchange
Max 2-SAT est une période polynomiale réductible à 2-sat?
https://www.generacodice.com/fr/articolo/2455992/max-2-sat-est-une-periode-polynomiale-reductible-a-2-sat
satisfiability
-
2-sat
-
maxsat
cs.stackexchange
Utilisez 2Sat pour montrer qu'un graphique d'implication doit avoir un cycle si ce n'est pas satisfait.
https://www.generacodice.com/fr/articolo/2455665/utilisez-2sat-pour-montrer-qu-un-graphique-d-implication-doit-avoir-un-cycle-si-ce-n-est-pas-satisfait
computability
-
satisfiability
-
graphs
-
2-sat
cs.stackexchange
Longueur attendue d'une promenade aléatoire sur une ligne
https://www.generacodice.com/fr/articolo/2447353/longueur-attendue-d-une-promenade-aleatoire-sur-une-ligne
probability-theory
-
algorithms
-
randomized-algorithms
-
random-walks
-
2-sat
cs.stackexchange
Donnez un algorithme NL pour le complément de 2-SAT
https://www.generacodice.com/fr/articolo/1613185/donnez-un-algorithme-nl-pour-le-complement-de-2-sat
complexity-theory
-
2-sat
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
Compter les modèles satisfaisant une formule booléenne
https://www.generacodice.com/fr/articolo/1609679/compter-les-modeles-satisfaisant-une-formule-booleenne
combinatorics
-
satisfiability
-
2-sat
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
«
1
2
3
4
»
Résultats trouvés: 36