Als «graph-isomorphism» getaggte Fragen

Zwei Graphen G, H sind isomorph, wenn die Eckpunkte von G, die H erzeugen, neu beschriftet werden, und umgekehrt. Das Graph-Isomorphismus-Problem (GI) besteht darin, zu entscheiden, ob zwei gegeben sind, isomorph sind. Zusätzlich zu seinem praktischen Interesse wurde es 1972 von Karp als unbekannt komplex identifiziert, ist einer der wenigen verbleibenden natürlichen Kandidaten für ein NP-Zwischenproblem und führte zur Schaffung der Komplexitätsklasse AM.

3
Konsequenzen eines quasi-polynomialen Zeitalgorithmus für das Graphisomorphismusproblem
Das Graph Isomorphism Problem (GI) ist wohl der bekannteste Kandidat für ein NP-intermediäres Problem. Der bekannteste Algorithmus ist der subexponentielle Algorithmus mit einer Laufzeit von . Es ist bekanntdass GI nichtNP-komplette es sei denndiePolynomialzeitHierarchiezusammenbricht.2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Was wären die komplexitätstheoretischen Konsequenzen eines quasi-polynomialen Zeitalgorithmus für das Graph-Isomorphismus-Problem? Würde ein quasi-polynomialer …
3
Techniken, um zu zeigen, dass das Problem in der Schwebe der Härte liegt
Angesichts eines neuen Problems in dessen wahre Komplexität irgendwo zwischen P und NP-vollständig liegt, gibt es zwei Methoden, von denen ich weiß, dass sie verwendet werden können, um zu beweisen, dass es schwierig ist, dies zu lösen:NPNP\mathsf{NP}PP\mathsf{P} Zeigen Sie, dass das Problem GI-vollständig ist (GI = Graph Isomorphism) Zeigen Sie, …
1
Kann der Isomorphismus eines Graphen mit einem Quadratwurzel-Nichtdeterminismus bestimmt werden?
Der beschränkte Nicht-Determinismus assoziiert eine Funktion mit einer Klasse von Sprachen, die von ressourcenbeschränkten deterministischen Turing-Maschinen akzeptiert werden, um eine neue Klasse - . Diese Klasse besteht aus den Sprachen, die von einer nichtdeterministischen Turing-Maschine akzeptiert werden und dieselben Ressourcengrenzen wie für die Definition von einhalten , wobei jedoch höchstens …
3
CoNP-Zertifikat für Graph Isomorphism
Es ist leicht zu erkennen, dass der Graphisomorphismus (GI) in NP vorliegt. Es ist ein großes offenes Problem, ob GI in coNP ist. Gibt es potenzielle Kandidaten für Eigenschaften von Graphen, die als coNP-Zertifikate von GI verwendet werden können? Irgendwelche Vermutungen, die implizieren ? Was sind einige Implikationen von G …
1
Beweis Widerlegung: Amateur Bewertungen von ehrgeizigen AdRR-Papieren
Ich glaube, ich habe zu viele ehrgeizige AdRR- Papiere gelesen . Das Problem ist, dass diese Artikel nicht von Experten begutachtet werden, sondern oft interessant klingen und grundlegende Plausibilitätsprüfungen bestehen. Oder vielleicht auch nicht, und ich muss nur meine Plausibilitätsprüfungen verbessern. Hier ist ein aktuelles Beispiel für solche Papiere: Einzigartigkeitsbäume: …
4
Welche Beweise gibt es dafür, dass der Graphisomorphismus nicht in
Motiviert durch Fortnows Kommentar in meinem Beitrag, den Beweis, dass das Graphisomorphismus- Problem nicht vollständig istNPNPNP , und durch die Tatsache, dass ein Hauptkandidat für Zwischenprobleme ist (weder vollständig noch für ), interessiere ich mich für bekannte Beweise dass nicht in .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP Ein solcher Beweis ist die Vollständigkeit eines eingeschränkten …
2
„Winziger“ Graph-Isomorphismus
Während ich über die Komplexität des Testens der Isomorphie asymmetrischer Graphen nachdachte (siehe meine verwandte Frage zur Theorie), kam mir eine ergänzende Frage in den Sinn. Angenommen, wir haben eine Polynomzeit-Turing-Maschine , die am Eingang 1 n einen Graphen G M , n mit n Knoten erzeugt.MMM1n1n1^nGM, nGM,nG_{M,n}nnn Wir können …
2
Graph Isomorphism Problem
Ich mache eine Literaturübersicht über das Graph-Isomorphismus-Problem. Die meisten Artikel, die ich lese, sind von EM Luks und Laszlo Babai geschrieben. Diese Arbeiten basieren auf den Kenntnissen der Gruppentheorie und der Komplexitätstheorie. Da ich auf diesem Gebiet neu bin, sind mir viele Dinge nicht klar. Kann mir jemand einen Weg …
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.