Graph Isomorphism, Color Refinement, and Compactness

Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if the color refinement procedure succeeds in distinguishing G from any non-isomor...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computational complexity Jg. 26; H. 3; S. 627 - 685
Hauptverfasser: Arvind, V., Köbler, Johannes, Rattan, Gaurav, Verbitsky, Oleg
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Cham Springer International Publishing 01.09.2017
Springer Nature B.V
Schlagworte:
ISSN:1016-3328, 1420-8954
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!