Bei einem ungerichteten Graphen G können wir sagen, dass G fast zweiteilig ist, wenn das Löschen von k Kanten (oder Eckpunkten) es zweigeteilt machen würde. Gibt es Poly-Time-Algorithmen, um festzustellen, ob ein Graph genau oder ungefähr fast zweiteilig
(Dies ist das "obere Ende" meiner Frage von vor über 10 Monaten auf cs.stackexchange. Diese Frage und das "untere Ende", das ich hier vor über 8 Monaten gestellt habe und auf das ich auch ein Kopfgeld habe, sind beide unbeantwortet. Diese sind Screenshots davon, wie dieser Beitrag aussehen sollte,...
Im Vergleich zu Spektren ungerichteter Graphen, die symmetrischen Matrizen entsprechen, sind die Spektren gerichteter Graphen nicht sehr bekannt: Es ist bekannt, dass ein gerichteter Graph G=(V,E)G=(V,E)G = (V,E) eine Adjazenzmatrix A(G)A(G)A(G) deren Eigenwerte binär {0,1}{0,1}\{0,1\} wenn GGG...
Ich bin verwirrt über das Beispiel in einem Wikipedia-Artikel über kontextsensitive Grammatik: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Ich habe den besprochenen Abschnitt im Wikipedia-Artikel bereits geändert, sodass der aktuelle Status des Artikels von dem abweicht ,...
Bei einem ungewichteten zweigliedrigen Graphen ist . Ist es wahr , dass es existiert immer ein nicht leeren Matching (nicht unbedingt maximal), so dass für jeden mit abgestimmt und unübertroffen, es hält ? Hier ist nicht geordnet, dh kann auf beiden Seiten sein.M ≤ E ( i , j ) ≤ E i j Grad ( i )...
In diesem Artikel stellt Hajnal das folgende Lemma fest: Sei die Menge aller zweigeteilten Graphen mit n Eckpunkten im linken Teil und m Eckpunkten im rechten Teil. Angenommen, P ⊆ G n , m ist nicht trivial, monoton und in Bezug auf zweigliedrige Graphisomorphismen invariant. Ordnen Sie die Menge...
Ein grundlegendes Ergebnis der parametrisierten Komplexität von Graphproblemen ist, dass der durch die Lösungsgröße parametrisierte VERTEX COVER festparametrisch (FPT) ist. Wenn es andererseits durch den "Doppelparameter" parametrisiert wird, wird es äquivalent zu INDEPENDENT SET, das durch die...
Lassen Sie Alice und Bob die Boolesche Funktion berechnen .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Wählen Sie eine zufällige Teilmenge der Mächtigkeit und lassen .n J = { 1 , … , 2 n } ∖ I.I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ.= { 1 , … , 2 n } ∖ I.J={1,…,2n}∖I\mathcal...
In Melliès 'Umfrage Categorical Semantics of Linear Logic wird ein Schnitteliminierungsverfahren für intuitionistische lineare Logik angegeben, das den folgenden Fall umfasst: 3.9.3 Förderung vs. Kontraktion Der Beweis wird in den Beweis π 1 transformiert
Die ungleichmäßigen Versionen von P, NP und coNP sind P / Poly, NP / Poly und coNP / Poly. Ebenso können wir für jede Ebene in der PH eine ungleichmäßige Version definieren. Zum Beispiel: / poly von Problemen der Form besteht { x : ∃ y ∀ zΣ2Σ2\Sigma_2 , wobei C eine Schaltung mit Polynomgröße ist,...
Ich habe mich eine Weile über die Herkunft der Namen "immun" und "einfach" gewundert. Die gleiche Frage stellte ich auch Andrea Sorbi, die wiederum einige weitere Kollegen in die Diskussion einbezog. Über "einfach" haben wir einige Vermutungen. Martin Davis schlägt vor, dass der Name von einer...
Zunächst entschuldigen wir uns, wenn diese Frage für diese Site angemessen oder trivial ist. Ich bin ein Physiker, der Hilfe außerhalb seiner Komfortzone sucht. In PRL 87 167902 (2001) wird behauptet, dass "... für ein beliebig kleines existiert ein Fehlerkorrekturcode E : { 0 , 1 } n → { 0 , 1 } m...
Die isoperimetrische Scheitelpunktzahl eines Graphen ist . Mehrere wissenschaftliche Arbeiten geben an, dass das Problem der Berechnung der isoperimetrischen Scheitelpunktzahl eines Graphen NP-hart ist, ohne Beweis oder Referenz.G = ( V., E.)G=(V.,E.)G=(V,E) ichV.( G ) = min { | N.( S.) || S.|: S.⊆...
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.
Bei einem NFA und seinem äquivalenten DFA die sich aus der Gesamtbestimmung von (z. B. unter Verwendung der Powerset-Konstruktion), gelten die folgenden Eigenschaften für , und für jedes Wort :D N.N.NND.DDN.NND wN.NND.DDwww N.NN liest in der Laufzeit höchstens .O ( | w | . | N | 2 )wwwO ( | w | . |...
Hintergrund Wir wissen, dass P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE . Außerdem wissen wir aus dem Satz von Toda, dass PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} . Weitere Hintergrundinformationen zu #P#P\#P finden Sie hier: https://en.wikipedia.org/wiki/Sharp-P Frage Gibt es ein Orakel AAA so dass...
Mir fehlt ein Hintergrund in der theoretischen Informatik, aber ich hätte gerne verstanden, welchen theoretischen Objekten C ++ - Konzepte entsprechen. Grundsätzlich ermöglichen C ++ - Konzepte das Definieren einer Reihe von Typen, die eine Liste von Einschränkungen erfüllen. Also, aus...
Die Sprache Critical SAT ist definiert als die Menge der -Booleschen Formeln f, so dass f ∈ U N S A T, aber das Entfernen einer Klausel aus f es erfüllbar macht. Es ist bekannt, dass Critical SAT D P -vollständig ist. Frage ich mich um die folgende Variante: Bei einer gegebenen C N F Formel f , ist...
Ich interessiere mich für das folgende Problem. Gegeben eine Eulersche Graphen , sind wir eine Partition seiner Kanten finden C 1 , C 2 , ... , C k ( ∪ i C i = E und i ≠ j ↔ C i ∩ C j = ∅ ), so dass jedes C i einen einfachen Zyklus in G bildet und k maximal möglich ist.G = ( V.,...
Ich suche nach einem Konzept in der Typentheorie, von dem ich sicher bin, dass es wahrscheinlich untersucht wurde, aber den Namen dahinter nicht kenne. Betrachten wir eine ML-ähnliche Sprache mit Produkt- und Summentypen und ein Hindley-Milner-ähnliches Typsystem. Ich werde die OCaml-Syntax...