Als «monotone» getaggte Fragen

4
Monotone Rechenschaltungen
Der Stand unseres Wissens über allgemeine arithmetische Schaltkreise scheint dem Stand unseres Wissens über boolesche Schaltkreise ähnlich zu sein, dh wir haben keine guten Untergrenzen. Andererseits haben wir Exponentialgrößenuntergrenzen für monotone Boolesche Schaltungen . Was wissen wir über monotone Rechenschaltungen? Haben wir ähnliche gute Untergrenzen für sie? Wenn nicht, was …
1
Können Sie die Äquivalenz für monotone Boolesche Ausdrücke festlegen, die in PTIME keine Negation enthalten?
Liegt das folgende Problem in PTIME oder coNP-hard vor: Bei zwei booleschen Ausdrücken und in den Variablen ohne Negation (dh die Ausdrücke werden vollständig über und ). Entscheiden Sie, ob , für alle Zuordnungen zu den Variablen den gleichen Wert haben.e1e1e_1e2e2e_2x1,…,xnx1,…,xnx_1,\dots,x_n∧∧\wedge∨∨\veee1≡e2e1≡e2e_1 \equiv e_2 Wenn beide Ausdrücke in DNF angegeben würden, …
2
Wie viele Negationen benötigen wir, um monotone Funktionen zu berechnen?
Razborov hat bewiesen, dass die monotone Funktionsanpassung nicht in mP vorliegt . Aber können wir die Übereinstimmung unter Verwendung einer Polynomgrößenschaltung mit wenigen Negationen berechnen? Gibt es eine P / Poly-Schaltung mit -Negationen, die die Übereinstimmung berechnet? Was ist der Kompromiss zwischen der Anzahl der Negationen und der Größe für …
2
Zählung der Anzahl zufriedenstellender Aufträge in einem POSITIVEN CNF-SAT
Wir kennen das Problem, die Anzahl der erfüllenden Zuordnungen in einer gegebenen allgemeinen Booleschen Formel (CNF-SAT), einer gegebenen DNF-Formel oder sogar einer gegebenen 2SAT-Formel zu zählen, als ein # P-vollständiges Problem. Betrachten Sie nun ein CNF-SAT ohne negatives Literal (no , immer ). Das Entscheidungsproblem ist sehr einfach (setzen Sie …
2
Was ist eine äquivalente Definition von mP / poly in Bezug auf eine Turingmaschine?
P / poly ist die Klasse von Entscheidungsproblemen, die durch eine Familie von Booleschen Schaltungen polynomialer Größe lösbar sind. Es kann alternativ als eine Polynom-Zeit-Turing-Maschine definiert werden, die eine Hinweiszeichenfolge empfängt, die in n polynomisch ist und die ausschließlich auf der Größe von n basiert. mP / poly ist die …
1
Monotone Schaltungskomplexität von Rechenfunktionen an spärlichen Eingängen
Das Gewichteiner binären Zeichenkette ist die Anzahl der Einsen in der Zeichenkette. Was passiert, wenn wir daran interessiert sind, eine monotone Funktion an Eingängen mit wenigen zu berechnen?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Wir wissen, dass die Entscheidung, ob ein Graph eine Klasse hat, für monotone Schaltkreise schwierig …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.