ラベル付きグラフG = (V, E, L)が与えられた場合、Lは頂点をラベルにマッピングする関数です。サブセットS ⊆ Vを見つけて、すべての自己同型写像におけるSの頂点のマッピング(エッジとラベルの制約を満たす必要があります) が同じセットSにあるようにします。これらの制約がSをグラフGの軌道と呼ぶのに十分かどうかはわかりません。
これらのサブセットを計算するために一般的に使用されるアルゴリズムはありますか?
ラベル付きグラフG = (V, E, L)が与えられた場合、Lは頂点をラベルにマッピングする関数です。サブセットS ⊆ Vを見つけて、すべての自己同型写像におけるSの頂点のマッピング(エッジとラベルの制約を満たす必要があります) が同じセットSにあるようにします。これらの制約がSをグラフGの軌道と呼ぶのに十分かどうかはわかりません。
これらのサブセットを計算するために一般的に使用されるアルゴリズムはありますか?