Deutsch
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Vollständige Artikel
Kategorien
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Du schreibst
Benutzer
Anmeldung
Anmeldung
Passwort-Wiederherstellung
Stichworte
Sprachtags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag satisfiability - Dies ist Seite 47 - GeneraCodice
Sonderfälle von SAT und entsprechendem #SAT mit einer Komplexität von höchstens O (n ^ 2) UND mit effizienten Algorithmen zur Generierung von Instanzen?
https://www.generacodice.com/de/articolo/1395356/sonderfaelle-von-sat-und-entsprechendem-sat-mit-einer-komplexitaet-von-hoechstens-o-n-2-und-mit-effizienten-algorithmen-zur-generierung-von-instanzen
logic
-
enumeration
-
counting
-
satisfiability
-
time-complexity
StackOverflow
Umwandlung einer 2-SAT-Formel in eine Implikationsgrafik
https://www.generacodice.com/de/articolo/1148591/umwandlung-einer-2-sat-formel-in-eine-implikationsgrafik
complexity-theory
-
satisfiability
cs.stackexchange
Poly-Zeit-Reduktion von ILP zu SAT?
https://www.generacodice.com/de/articolo/1148268/poly-zeit-reduktion-von-ilp-zu-sat
np-complete
-
satisfiability
-
reductions
-
integer-programming
cs.stackexchange
Konvertieren Sie $ sum x_i = y $ in 3-sat
https://www.generacodice.com/de/articolo/1127780/konvertieren-sie-sum-x-i-y-in-3-sat
satisfiability
-
sat-solvers
cs.stackexchange
Komplexität der Entscheidung, ob eine Formel genau 1 zufriedenstellende Zuordnung hat
https://www.generacodice.com/de/articolo/1126649/komplexitaet-der-entscheidung-ob-eine-formel-genau-1-zufriedenstellende-zuordnung-hat
complexity-theory
-
satisfiability
-
complexity-classes
cs.stackexchange
Ist der folgende Langauge in $ P $ oder $ NPC $
https://www.generacodice.com/de/articolo/1124222/ist-der-folgende-langauge-in-p-oder-npc
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
-
3-sat
cs.stackexchange
Modellierung des Problems, alle stabilen Mengen eines Argumentationsrahmens als SAT zu finden
https://www.generacodice.com/de/articolo/1123045/modellierung-des-problems-alle-stabilen-mengen-eines-argumentationsrahmens-als-sat-zu-finden
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
-
algorithms
cs.stackexchange
Umwandlung (Mathematik-) Probleme in SAT -Instanzen
https://www.generacodice.com/de/articolo/1122995/umwandlung-mathematik-probleme-in-sat-instanzen
satisfiability
-
algorithms
-
reductions
cs.stackexchange
Beweisen Sie die NP-Vervollständigung der Entscheidung über die Befriedigung der monotone Booleschen Formel
https://www.generacodice.com/de/articolo/1121985/beweisen-sie-die-np-vervollstaendigung-der-entscheidung-ueber-die-befriedigung-der-monotone-booleschen-formel
complexity-theory
-
np-complete
-
satisfiability
cs.stackexchange
Asymptotische Grenzen für die Anzahl der 3SAT -Formeln mit einzigartigen Lösungen
https://www.generacodice.com/de/articolo/1121443/asymptotische-grenzen-fuer-die-anzahl-der-3sat-formeln-mit-einzigartigen-loesungen
complexity-theory
-
np-complete
-
satisfiability
-
reference-request
cs.stackexchange
«
44
45
46
47
48
49
»
Gefundene Ergebnisse: 510