問題タブ [isomorphism]

無向の色付き (隣接するノードの色が異なる) グラフがあり、ハッシュを計算して、2 つのグラフが同型の場合に同じハッシュを持つようにする必要があります (グラフも平面であり、違いが生じるかどうかはわかりません) ）。

私のデータ構造はこれです：

このidプロパティはプログラム ロジックに使用されるため、グラフを比較する際に考慮する必要はありません。

私の考えは、グラフのノードを並べ替えてから、最初のノードから、グラフのツリーを生成するために隣接するノードを探索することです。次に、ツリーから一意の文字列を生成します (実際には、探索中に文字列を生成しています)。だから、私がやろうとしているのは、グラフの一種の正規化を見つけることです.

説明

最初にノードを次数で並べ替え、次に色プロパティ名で昇順に並べ替えます。最初のノードを取得し、隣接するノードの探索を開始します。深さ優先検索で同じ方法で並べ替えます。古いノードを拡張しないように、既にアクセスしたノードを追跡します。

私の文字列は次のように生成されます: 深さ優先検索を使用して、新しいノードに到達するたびにグラフ文字列に次を追加します。

• ノードの色
• ノード度
• 訪問したノードのリストのインデックス

冗長かもしれませんが、これらの情報は正しい列聖を保証するのに十分だと思いました。

実際の問題は、ソート中に 2 つのノードが同じ次数と同じ色を持つ場合です。私が行うことは正規化を保証する必要がありますが、あまり効率的ではありません。類似したノード (次数と色が同じ) のグループを取得し、各ノードのサブツリーとサブツリーに関連付けられた文字列を生成し、ノードの並べ替えで次のノードとして最大のものを選択します (降順で並べ替えます)。次に、この最後のノードを削除し、このグループが空になるまで操作を繰り返します。最初のノードを選択した後、訪問したノードのリストを変更した可能性があり、新しい文字列が異なる可能性があるため、これを行う必要があります。

現在、この実装は非常に非効率的です:

質問

したがって、私は2つの質問があります：

• 私のアルゴリズムは本当に機能しますか (つまり、機能しているように見えますが、数学的な証明はありません)。
• ハッシュを計算するためのより高速な (複雑さの少ない) アルゴリズムはありますか?