MATHEMATICA 組込みシンボル

IndependentVertexSetQ

頂点リスト vlist がグラフ g 中の独立頂点集合であればTrueを，そうでなければFalseを返す．

頂点集合が独立頂点集合かどうか調べる：

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

頂点集合が独立頂点集合かどうか調べる：

Out[1]=

Out[2]=

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

Out[1]=

Out[2]=

無向グラフを調べる：

有向グラフ：

巡回グラフのすべての独立頂点集合を列挙する：

頂点のすべての部分集合を列挙しその中から独立頂点集合を選ぶ：

独立頂点集合をハイライトする：

ペテルセン(Petersen)グラフのすべての最大独立頂点集合を列挙する：

最大独立頂点集合の大きさを求める：

すべての最大独立頂点集合を列挙する：

最大独立頂点集合をハイライトする：

最大独立頂点集合はFindIndependentVertexSetで求められる：

独立頂点集合の補集合は頂点被覆である：

独立頂点集合で与えられる補部分グラフは完全グラフである：

二部グラフには長さが等しい辺被覆と独立頂点集合がある：