Eine Kantenabdeckung ist eine Teilmenge von Kanten eines Diagramms, sodass jeder Scheitelpunkt des Diagramms an mindestens eine Kante der Abdeckung angrenzt. Die folgenden beiden Papiere sagen , dass Zählflanke Abdeckungen ist #P -komplette: Eine einfache FPTAS für Zählflanke Covers und Generieren...
Es gibt nur sehr wenige Informationen über das NP-vollständige Problem der Lösung der linearen Diophantingleichung in nicht-negativen ganzen Zahlen. Das heißt, gibt es eine Lösung in nicht-negativen zu der Gleichung a 1 x 1 + a 2 x 2 + . . . + a n x n = b , wo alle Konstanten positiv sind? Die...
Sei ein Digraph (nicht unbedingt eine DAG) und sei . Was ist die Komplexität der Zählen der Anzahl von einfachen Pfade in . s , t ≤ V ( G ) s - t GGGGs , t ∈ V( G )s,t∈V(G)s,t \in V(G) s - ts−ts-tGGG Ich würde erwarten, dass das Problem # -vollständig ist, konnte aber keine genaue Referenz finden....
∑x∏i j ∈ Ef( xich, xj)∑x∏ichj∈Ef(xich,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Ef( xich, xj)maxx∏ichj∈Ef(xich,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Wenn max oder sum alle Beschriftungen von , wird das Produkt für einen Graphen über alle Kanten übernommen und ist eine beliebige Funktion....
Ich habe ein Polytop PPP das durch {x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Frage: Gibt es einen Polynom-Zeit-Algorithmus, um bei gegebenem Scheitelpunkt vvv von PPP gleichmäßig von den Nachbarn von vvv im Graphen von PPP ? (Polynom in der Dimension, die Anzahl der Gleichungen und die...
Es ist schwer, in kubischen Hamilton-Graphen eine konstante Faktorapproximation des längsten Zyklus zu finden. Kubische Hamilton-Graphen haben mindestens zwei Hamilton-Zyklen.NPNPNP Was sind die bekanntesten Ober- und Untergrenzen für die Anzahl der Hamilton-Zyklen in kubischen Hamilton-Graphen?...
Sei eine CNF-Formel mit Variablen und Sätzen. Es sei eine Variablenzuordnung und die Anzahl von Klauseln, die durch eine Variablenzuordnung zu erfüllt sind. . Definieren Sie dann Median-SAT als das Problem der Berechnung des Medianwerts von über alle . Wenn beispielsweise eine Tautologie ist,...
Ich habe den Wikipedia-Artikel über das Acht-Königinnen-Problem gelesen. Es wird angegeben, dass es keine bekannte Formel für die genaue Anzahl der Lösungen gibt. Nach einigem Suchen fand ich eine Arbeit mit dem Titel "Über die Härte des Zählens von Problemen mit vollständigen Zuordnungen". In...
Es gibt eine Reihe von Problemen in der kombinatorischen Darstellungstheorie und der algebraischen Geometrie, für die keine positive Formel bekannt ist. Es gibt mehrere Beispiele, an die ich denke, aber lassen Sie mich die Berechnung der Kronecker-Koeffizienten als mein Beispiel nehmen....
1) Ist es möglich, eine sparsame Reduktion von einem # P-vollständigen Problem #A zu einem Zählproblem #B zu haben, wenn (die Entscheidungsversion) A NP-vollständig ist und das B in P ist? Kann es zum Beispiel eine sparsame Reduktion von #SAT auf #B geben, wenn B in P ist? 2) Wenn B in P ist,...
Frage. In ihrer Arbeit Verbesserte Simulation von Stabilisatorschaltungen behaupten Aaronson und Gottesman, dass die Simulation einer CNOT-Schaltung ⊕L- vollständig ist (unter logspace Reductions). Es ist klar, dass es in ⊕L enthalten ist ; Wie hält das Härteergebnis? Äquivalent: Gibt es eine...
In der Arbeit von Ben-Dor / Halevi [1] wird ein weiterer Beweis dafür erbracht, dass die bleibende Karte #P-vollständig ist. Im späteren Teil der Arbeit wird die Reduktionskette während der permanente Wert in der Kette erhalten bleibt. Da sich die Anzahl der zufriedenen Zuordnungen einer...
Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...
Man betrachte das # P-vollständige Problem des Zählens der Anzahl der Scheitelpunktabdeckungen eines gegebenen Graphen .G=(V,E)G=(V,E)G = (V, E) Ich würde gerne wissen, ob es ein Ergebnis gibt, das zeigt, wie die Härte eines solchen Problems mit einem Parameter von variiert (zum Beispiel...
Problem: Für dargestellt durch eine Boolesche Schaltung, wird ein gleichmäßig zufälliges x ∈ { 0 , 1 } n erzeugt, so dass ϕ ( x ) = 1 (oder Ausgabe)ϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x∈{0,1}nx∈{0,1}nx \in \{0,1\}^nϕ(x)=1ϕ(x)=1\phi(x)=1 wenn dies nicht der Fall ist x...
Beantworten Sie bei zwei CNF die Frage mit "Ja", wenn sie die gleiche Anzahl von Aufgaben haben, um sie zu erfüllen, andernfalls mit "Nein". Es ist leicht zu erkennen, dass es sich um , da wir, wenn wir die genaue Anzahl der Lösungen für diese beiden CNF kennen, sie nur kampieren und mit "Ja" oder...
Das Problem #SAT ist das kanonische # P-vollständige Problem. Es ist eher ein Funktionsproblem als ein Entscheidungsproblem. Sie fragt mit einer Booleschen Formel in der Aussagenlogik, wie viele befriedigende Zuordnungen hat. Welches sind die besten Untergrenzen für
Parity-L, auch bekannt als L, ist die Menge von Sprachen, die von einer nicht deterministischen Turing-Maschine erkannt werden, die nur zwischen einer geraden Anzahl oder einer ungeraden Anzahl von "Akzeptanz" -Pfaden unterscheiden kann. Eine kürzlich gestellte verwandte Frage wurde von Niel de...
Diese Frage wird durch eine MathOverflow-Frage von Peng Zhang motiviert . Valiant hat gezeigt, dass das Zählen maximaler Cliquen in einem allgemeinen Graphen # P-vollständig ist, aber was ist, wenn wir uns auf Unvergleichbarkeitsgraphen beschränken (dh, wir möchten maximale Antichains in einem...
Eine Monotone-2CNF-Formel ist eine CNF- Formel, bei der jeder Satz aus genau 2 positiven Literalen besteht. Jetzt habe ich eine Monotone-2CNF Formel . Sei die Menge von befriedigenden Zuordnungen. Ich habe auch ein Orakel , das folgende Informationen liefern kann:FFFSSSFFFOOO Die Kardinalität der...