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 48 - GeneraCodice
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
Den DPLL-Algorithmus verstehen
https://www.generacodice.com/de/articolo/1120400/den-dpll-algorithmus-verstehen
logic
-
satisfiability
-
sat-solvers
-
algorithms
cs.stackexchange
TAPL: Erläuterung und Beispiele für zufriedene
https://www.generacodice.com/de/articolo/1119413/tapl-erlaeuterung-und-beispiele-fuer-zufriedene
satisfiability
-
term-rewriting
-
operational-semantics
-
small-step-semantics
cs.stackexchange
Warum ist Max-2Sat nicht in P?
https://www.generacodice.com/de/articolo/1118929/warum-ist-max-2sat-nicht-in-p
complexity-theory
-
np-complete
-
satisfiability
cs.stackexchange
Eine dichte NP -vollständige Sprache impliziert p = np
https://www.generacodice.com/de/articolo/1117472/eine-dichte-np-vollstaendige-sprache-impliziert-p-np
complexity-theory
-
np-complete
-
satisfiability
-
time-complexity
cs.stackexchange
Gibt es einen manchmal effizienten Algorithmus, um #SAT zu lösen?
https://www.generacodice.com/de/articolo/1116613/gibt-es-einen-manchmal-effizienten-algorithmus-um-sat-zu-loesen
complexity-theory
-
satisfiability
-
reference-request
cs.stackexchange
Finden Sie $\epsilon'$ s.t $L_\epsilon$ ist $\mathsf{NP}$-schwer für jedes $\epsilon<\epsilon'$
https://www.generacodice.com/de/articolo/1111537/finden-sie-epsilon-s-t-l-epsilon-ist-mathsf-np-schwer-fuer-jedes-epsilon-epsilon
complexity-theory
-
satisfiability
-
approximation
cs.stackexchange
Einfacher Beweis dafür, dass das Problem der Schaltung Erfüllbarkeitsproblem np-hard ist
https://www.generacodice.com/de/articolo/1110452/einfacher-beweis-dafuer-dass-das-problem-der-schaltung-erfuellbarkeitsproblem-np-hard-ist
complexity-theory
-
satisfiability
-
np-hard
-
circuits
cs.stackexchange
«
45
46
47
48
49
50
»
Gefundene Ergebnisse: 510