Als «automorphism» getaggte Fragen

1
Gegenbeispiel für Corneils effizienten Algorithmus für den Graphisomorphismus
In der Arbeit Ein effizienter Algorithmus für den Graphisomorphismus von Corneil und Gotlieb, 1970, wurde eine Vermutung aufgestellt, auf der der angegebene Algorithmus zur Lösung des GI in der Polynomzeit beruhte. Nämlich: dass die repräsentativen Graphen die Automorphismus-Partitionierung des gegebenen Graphen aufweisen Offensichtlich ist diese Vermutung bis jetzt nicht bewiesen …

2
Zusammenhang zwischen Symmetrie und rechnerischer Unlösbarkeit?
Das fixierte punktfreie Automorphismusproblem fordert einen Graphautomorphismus, der mindestens Knoten bewegt . Das Problem ist vollständig, wenn für > 0 ist.k ( n ) N P k ( n ) = n c ckkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Wenn jedoch dann ist das Problem das Polynomzeitproblem, das sich auf das Graphisomorphismusproblem reduzieren lässt. Wenn …

1
Erzeugen von Graphen mit trivialen Automorphismen
Ich überarbeite ein kryptografisches Modell. Um seine Unzulänglichkeit zu demonstrieren, habe ich ein ausgedachtes Protokoll entwickelt, das auf Graphisomorphismus basiert. Es ist "alltäglich" (und doch umstritten!), Die Existenz von BPP-Algorithmen anzunehmen, die "harte Instanzen des Graph-Isomorphismus-Problems" erzeugen können. (Zusammen mit einem Zeugen des Isomorphismus.) In meinem erfundenen Protokoll gehe ich …




2
Annäherung an den nicht-trivialen Graph-Automorphismus?
Der Graphautomorphismus ist eine Permutation von Graphknoten, die eine Bijektion auf der Kantenmenge induziert . Formal ist es eine Permutation von Knoten wie iffEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Definieren Sie eine verletzte Kante für eine Permutation als eine Kante, die einer Nichtkante zugeordnet ist, oder eine Kante, deren Vorbild keine Kante ist. …
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.