MATHEMATICA 組込みシンボル

IsomorphicGraphQ

グラフ

と

が同型であればTrueを，それ以外の場合にはFalseを返す．

2つのグラフが同型写像かどうかi調べる：

g を h にマップする同型写像を求める：

グラフ g の頂点名を変えると h と同じグラフになる：

2つのグラフが同型写像かどうかi調べる：

Out[2]=

g を h にマップする同型写像を求める：

Out[3]=

グラフ g の頂点名を変えると h と同じグラフになる：

Out[4]=

無向グラフを調べる：

有向グラフを調べる：

同型写像ではないグラフに対しては，IsomorphicGraphQはFalseを返す：

グラフではない式に対しても同様である：

大きいグラフを調べる：

同型写像グラフには同数の頂点と辺がある：

同型写像のグラフの辺は同じ順序の次数列を持つ：

同じ次数列のグラフが同型写像ではないこともある：

FindGraphIsomorphismを使って頂点間をマップすることができる：

マッピングに従って2つのグラフをハイライトしラベルを付ける：

グラフ内の頂点を並べ替えると同型写像ができる：

隣接行列の並べ替えで生成されたグラフはそれ自身に対する同型写像である：

頂点リストの並べ替えサンプル：

巡回グラフ

の線グラフは

自身との同型写像である：

経路

の線グラフは

の同型写像である：

の線グラフの補グラフはベテルセングラフの同型写像である：

2つの連結グラフはその線グラフが同型写像であるときかつそのときに限り同型写像である：

1つの例外がある：

同型写像のない有向グラフに同型写像の無向グラフがあることがある：