Isomorphismus des binär verwurzelten Baums

7

Meine Bäume sind verwurzelt und haben höchstens zwei Kinder an jedem Scheitelpunkt. Ich benötige Referenzen, die mir bei der Lösung einiger oder aller der folgenden Fragen helfen:

  • Wie viele Isomorphismusklassen von Bäumen mit n Eckpunkten gibt es?
  • Was sind die klassischen Algorithmen, um zu entscheiden, ob zwei gegebene Bäume isomorph sind?
  • Gibt es einen schönen (berechenbaren?) Isomorphismus, der unveränderlich ist?

Natürlich können die Antworten von der Struktur abhängen, die zum Definieren der Bäume verwendet wird, aber ich denke, die richtige Wahl der Struktur ist Teil der Antwort, die ich suche.

Rodrigo A. Pérez
quelle
2
Bitte beschränken Sie sich auf nur eine Frage pro Beitrag.
Raphael
1
Der von Ihnen gewählte Titel eignet sich nicht gut zur Darstellung Ihrer Frage. Bitte nehmen Sie sich etwas Zeit, um es zu verbessern. Wir haben hier einige Ratschläge gesammelt . Vielen Dank!
Raphael
1
Und was hast du versucht? Wo hast du gesucht
Raphael

Antworten:

9

Aufgrund von Aho, Hopcroft und Ullman gibt es einen klassischen linearen Zeitalgorithmus für den Wurzelbaumisomorphismus. Der Algorithmus verwendet tatsächlich eine einfache Isomorphismusinvariante. Siehe zum Beispiel Vorlesungsunterlagen von Vikram Sharma . Auf diese Weise können Sie den Isomorphismus unbewurzelter Bäume in linearer Zeit lösen, wie beispielsweise in Smals Folien beschrieben . Ein weiterer klassischer Algorithmus geht auf Buss zurück .

Yuval Filmus
quelle