MATHEMATICA 組込みシンボル

EdgeCoverQ

辺のリスト elist がグラフ g の辺被覆である場合にはTrueを，それ以外の場合にはFalseを返す．

ある辺の集合が完全グラフの辺被覆かどうかを調べる：

有向グラフについて調べる：

ある辺の集合が完全グラフの辺被覆かどうかを調べる：

Out[1]=

Out[2]=

有向グラフについて調べる：

Out[1]=

Out[2]=

無向グラフを調べる：

有向グラフ：

すべての辺被覆を列挙する：

辺のすべての部分集合を列挙し被覆を選ぶ：

被覆をハイライトする：

すべての最小辺被覆を列挙する：

最小辺被覆の長さを求める：

長さが3の辺の部分集合すべてを求め被覆を選ぶ：

最小被覆をハイライトする：

孤立した頂点がないグラフの場合，EdgeListは辺被覆である：

最小の辺被覆はFindEdgeCoverで求められる：

完全二部グラフ

にはサイズ

の辺被覆がある：

連結グラフの場合，独立辺集合と辺被覆の合計のサイズは頂点数に等しい：