Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフの被覆と独立集合 > FindVertexCover >
Mathematica > 可視化とグラフィックス > グラフとネットワーク > グラフの被覆と独立集合 > FindVertexCover >

FindVertexCover

FindVertexCover[g]
グラフ g の頂点数が最小の頂点被覆を求める.
  • 頂点被覆が見付からない場合,FindVertexCoverは空のリストを返す.
  • 頂点被覆はすべての辺に接続している頂点集合である.
完全グラフの頂点被覆を求める:
有向グラフの頂点被覆を求める:
完全グラフの頂点被覆を求める:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
有向グラフの頂点被覆を求める:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
FindVertexCoverは無向グラフに使うことができる:
有向グラフ:
FindVertexCoverの結果はVertexCoverQで確かめることができる:
頂点集合はその補集合が独立集合でありかつそうである場合に限り頂点被覆である:
頂点の補集合が独立であることを確かめる:
頂点被覆と最大独立集合の合計サイズは頂点数と同じである:
GraphComplementの頂点被覆の補集合はもとのグラフのクリークである:
同じ埋込みを使って補集合を計算する:
その補集合はクリークである:
補集合二部グラフ には大きさが の頂点被覆がある:
二部グラフ内の最大独立辺集合の大きさは最小の頂点被覆と同じである:
バージョン 8 の新機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF