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 49 - GeneraCodice
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
Logik erster Ordnung Arity definiert die Dekidabilität?
https://www.generacodice.com/de/articolo/1108570/logik-erster-ordnung-arity-definiert-die-dekidabilitaet
logic
-
satisfiability
-
first-order-logic
-
undecidability
-
reference-request
cs.stackexchange
Das Beweisen von Doppel-SAT ist NP-Complete
https://www.generacodice.com/de/articolo/1108344/das-beweisen-von-doppel-sat-ist-np-complete
complexity-theory
-
np-complete
-
satisfiability
cs.stackexchange
Planaritätsbedingungen für planar 1 zu 3 SAT
https://www.generacodice.com/de/articolo/1102386/planaritaetsbedingungen-fuer-planar-1-zu-3-sat
np-complete
-
satisfiability
-
3-sat
-
reductions
cs.stackexchange
Wie viele mögliche Aufgaben hat ein CNF -Satz?
https://www.generacodice.com/de/articolo/1102155/wie-viele-moegliche-aufgaben-hat-ein-cnf-satz
logic
-
combinatorics
-
satisfiability
cs.stackexchange
Laufzeit von CDCL im Vergleich zu DPLL
https://www.generacodice.com/de/articolo/1098051/laufzeit-von-cdcl-im-vergleich-zu-dpll
complexity-theory
-
satisfiability
-
time-complexity
-
sat-solvers
-
efficiency
cs.stackexchange
Ist SAT in P, wenn es exponentiell viele Klauseln in der Anzahl der Variablen gibt?
https://www.generacodice.com/de/articolo/1097555/ist-sat-in-p-wenn-es-exponentiell-viele-klauseln-in-der-anzahl-der-variablen-gibt
complexity-theory
-
np-complete
-
satisfiability
-
reductions
-
polynomial-time
cs.stackexchange
Wie kann man beweisen, dass eine eingeschränkte Version von 3SAT, in der kein wörtliches Auftritt mehr als einmal auftreten kann, in Polynomzeit lösbar ist?
https://www.generacodice.com/de/articolo/1096047/wie-kann-man-beweisen-dass-eine-eingeschraenkte-version-von-3sat-in-der-kein-woertliches-auftritt-mehr-als-einmal-auftreten-kann-in-polynomzeit-loesbar-ist
complexity-theory
-
satisfiability
-
3-sat
cs.stackexchange
Wie beweisen Sie, dass SAT NP-Vervollständigung ist?
https://www.generacodice.com/de/articolo/1095830/wie-beweisen-sie-dass-sat-np-vervollstaendigung-ist
complexity-theory
-
satisfiability
cs.stackexchange
«
46
47
48
49
50
51
»
Gefundene Ergebnisse: 510