Theoretische Informatik counting-complexity

1

Angenommen , . Dann ein einfaches Argument zeigt , daß P H P P = N P . Können wir noch einen Schritt weiter gehen und P P P P = N P erhalten ? Das einfache Argument istN.P.= P.P.NP=PPNP=PPP.H.P.P.= N.P.PHPP=NPPH^{PP}=NPP.P.P.P.= N.P.PPPP=NPPP^{PP}=NP Theorem Wenn dann P H P P = …

8 cc.complexity-theory counting-complexity conditional-results

1

Wurde die Komplexität des Zählens erstmals 1979 von Valiant eingeführt?

Wurde #P erstmals in [1] eingeführt ? [1] Valiant, Leslie G. "Die Komplexität der Berechnung der permanenten." Theoretical Computer Science 8.2 (1979): 189-201.

8 cc.complexity-theory reference-request counting-complexity ho.history-overview

2

Komplexität beim Zählen von Übereinstimmungen in einem zweigeteilten Diagramm

Möglicherweise fehlt mir etwas Offensichtliches, aber ich kann keine Hinweise auf die Komplexität des Zählens von Übereinstimmungen (nicht perfekte Übereinstimmungen) in zweigeteilten Diagrammen finden. Hier ist das formale Problem: Eingabe: ein zweigeteilter Graph mitE ⊆ U × V.G = ( U., V., E.)G=(U,V,E)G = (U, V, E)E.⊆ U.× V.E⊆U×VE \subseteq …

8 counting-complexity matching bipartite-graphs

1

Wie komplex ist es, ungerade Knoten im Diagramm zu zählen?

Laut Handshaking Lemma: Jeder ungerichtete Graph mit einem Scheitelpunkt, dessen Grad eine ungerade Zahl ist, muss einen anderen Scheitelpunkt haben, dessen Grad eine ungerade Zahl ist. Diese Beobachtung bedeutet, dass wir, wenn wir ein Diagramm und einen Scheitelpunkt ungeraden Grades erhalten und aufgefordert werden, einen anderen Scheitelpunkt ungeraden Grades zu …

8 complexity-classes counting-complexity ppad

1

Was ist die größte Klasse von Funktionen

In [1] heißt es: „Es bleibt eine offene Frage, ob jede Funktion in hat T C 0 Schaltungen (obwohl es ist zumindest bekannt , dass nicht alle # P Funktionen haben DLogTime förmige T C 0 Schaltungen).“# P.#P\#PT.C.0TC0TC^0# P.#P\#PT.C.0TC0TC^0 Schaltungen erzeugt durch DLogTime Funktionen nicht enthält # P . Wir …

8 cc.complexity-theory complexity-classes circuit-complexity counting-complexity permanent

1

Zählen Sie die Reduzierung von #SAT auf #HornSAT?

Ist es möglich, eine Reduzierung der Zählung von #SAT auf #HornSAT zu finden? Ich habe diese Frage hier nicht gefunden und habe mich daher entschlossen zu prüfen, ob jemand eine Antwort darauf hat. Lassen Sie mich erklären, was ich mit Reduktion zähle. Angenommen, sind zwei Zählprobleme. Zum Beispiel fragt #SAT, …

8 cc.complexity-theory complexity-classes sat counting-complexity reductions

3

unabhängige Sätze zählen

Welche Algorithmen / mathematischen Techniken stehen zur Verfügung, um die Anzahl unabhängiger Mengen genau / ungefähr zu zählen? Gibt / gibt es eine gute Referenz / gute Referenzen zu diesem Thema? Ich interessiere mich für regelmäßige Grafiken.

8 ds.algorithms reference-request graph-theory approximation-algorithms counting-complexity

1

Bedingte Ergebnisse implizieren Schwierigkeiten bei der Verbesserung der oberen / unteren Grenzen für dauerhafte

Sei eine gegebene quadratische Matrix. Gibt es Hinweise darauf, dass es schwierig sein könnte, quadratische Untergrenzen für B zu schlagen, so dass det ( B ) = per ( A ) schwierig sein könnte?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Gibt es eine plausible Vermutung, die impliziert, dass es schwierig ist, untere Grenzen zu …

8 cc.complexity-theory lower-bounds counting-complexity algebraic-complexity permanent

Als «counting-complexity» getaggte Fragen