二分根ツリー同型

私の木は根が張られており、すべての頂点に最大で2つの子があります。以下の質問の一部またはすべてを解決するのに役立つリファレンスが必要です。

• n個の頂点を持つツリーの同型クラスはいくつありますか？
• 与えられた2つのツリーが同型であるかどうかを判断するための古典的なアルゴリズムは何ですか？
• 素敵な（計算可能な？）同型不変量はありますか？

もちろん、答えは木を定義するために使用された構造に依存するかもしれませんが、構造の正しい選択は私が求めている答えの一部だと思います。

Aho、Hopcroft、Ullmanによる根付き木同型の古典的な線形時間アルゴリズムがあります。アルゴリズムは、実際には単純な同型不変量を使用します。Vikram Sharmaの講義ノートの例を参照してください。これを使用すると、たとえばSmalのスライドで説明されているように、根のない木の同型を線形時間で解くことができます。別の古典的なアルゴリズムはバスによるものです。