Während ein bisschen auf Argumentation dieser Frage habe ich versucht , all die verschiedenen Gründe für die eine grafische Darstellung zu identifizieren nicht sein kann einfärbbar. Dies sind die einzigen 2 Gründe, die ich bisher identifizieren konnte:kG=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk GGG enthält...
Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...
Sei 0 ≤ p ≤ 10≤p≤10\le p\le 1 und betrachte das Entscheidungsproblem CLIQUE p Input: Ganzzahl s , Graph G mit t Eckpunkten und Kanten Frage: hat enthält eine Clique auf mindestens Vertices?pp_p sssGGGtttGs⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Eine Instanz von CLIQUE enthält einen...
Das Cycle-Problem ist wie folgt:kkk Instanz: Ein ungerichteter Graph mit Eckpunkten und bis zu Kanten.nGGGnnn(n2)(n2)n \choose 2 Frage: Gibt es in G ein (richtiges) Rad ?GkkkGGG Hintergrund: Für jedes feste kkk können wir 2k2k2k Zyklen in O (n ^ 2) lösen O(n2)O(n2)O(n^2). Raphael Yuster, Uri Zwick:...
In einfacher Form: Kann ein endlicher Zwei-Wege-Automat vvv Vertex-Graphen erkennen, die ein Dreieck mit o(v3)o(v3)o(v^3) -Zuständen enthalten? Einzelheiten Von Interesse sind hier vvv Vertex-Graphen, die unter Verwendung einer Folge von Kanten codiert sind, wobei jede Kante ein Paar von...
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...
Das 3-Clique-Partitionsproblem ist das Problem der Bestimmung, ob die Eckpunkte eines Graphen, beispielsweise , in 3 Cliquen aufgeteilt werden können. Dieses Problem ist NP-hart durch eine einfache Reduzierung des 3-Färbbarkeitsproblems. Es ist nicht schwer zu erkennen, dass die Antwort auf dieses...
Ich suche nach dem vollständigen Text des Cliquenergebnisses von Moon und Moser 1965 über Cliquen in Graphen (es gibt Graphen mit einer Anzahl maximaler Cliquen, die in exponentiell sind ). Die Paywall meiner Universität hat keinen Zugriff auf das jeweilige Journal. (Tatsächlich liefert die...
Bei einer Familie von höchstens n Teilmengen von { 1 , 2 , … , n } . Der Vereinigungsschluss F ist eine andere Mengenfamilie C, die jede Menge enthält, die konstruiert werden kann, indem die Vereinigung von 1 oder mehr Mengen in F genommen wird . Von | C | Wir bezeichnen die Anzahl der Sätze in C...
Ich bin daran interessiert, Clique auf SAT zu reduzieren , ohne die Instanz viel größer zu machen.kkk Die Clique befindet sich in NP, sodass sie mithilfe des logarithmischen Raums auf SAT reduziert werden kann. Durch die einfache Reduzierung des Garey / Johnson-Lehrbuchs wird die Instanz auf...
Ich lese eine alte Arbeit von MC Golumbic über EPT-Graphen (Kantenschnittpunkte von Pfaden in einem Baum). In der Arbeit wird gezeigt, dass die Anzahl der maximalen Cliquen einer EPT-Grapheninstanz polynomisch ist. Es kommt zu dem Schluss, dass, wenn ein Orakel meldet, dass ein Graph ein EPT-Graph...
Klassisches Problem: Es sei eine Zahl kkk gegeben. Das kkk Clique-Problem ist wie folgt. Existiert bei einem Graphen GGG eine Teilmenge S.SS von kkk Eckpunkten, so dass zwei beliebige Eckpunkte von S.SS benachbart sind? Hypergraph Problem: Es seien die Zahlen ccc und kkk gegeben. Das ( c , k...
Ich habe eine Arbeit eines mathematischen Chemikers gelesen. Er schlägt einige Indizes vor, um die Komplexität von Molekülen zu messen. Denken Sie von nun an anstelle von Molekülen an ungerichtete zusammenhängende Graphen: Ein Scheitelpunkt ist ein Atom, und eine Kante ist eine Bindung zwischen...
Angenommen, wir haben einen Multigraph (später einen Multihypergraphen). Eine Kantenclique ist eine Reihe von Kanten, die sich alle paarweise schneiden (mindestens einen gemeinsamen Scheitelpunkt haben). Dann fällt jede Kantenclique in einem Multigraph immer in eine von zwei Kategorien:C.CC Ein...