グラフの被覆と独立集合
典型的なグラフ問題に,好みが与えられた場合の男性と女性のデートや,さまざまな好みに応じた先生とコース等,異なる事柄を合致させるという問題がある.これらはすべて,最大独立辺問題の例である.同様のリソース割当て問題は被覆と独立集合問題すべてに関連する.
完全な部分グラフ
FindClique — 完全な部分グラフを求める
CompleteGraphQ — グラフが完全なグラフであるかどうか検証する
頂点被覆
FindVertexCover — 全辺に接続する頂点集合を求める
VertexCoverQ — 頂点集合が頂点被覆であるかどうか検証する
辺被覆
FindEdgeCover — 全頂点に接続する辺集合を求める
EdgeCoverQ — 辺集合が辺被覆であるかどうか検証する
独立頂点集合
FindIndependentVertexSet — 同じ辺に決して接続することのない頂点集合を求める
IndependentVertexSetQ — 頂点集合が独立頂点集合であるかどうか検証する
独立辺集合
FindIndependentEdgeSet — 同じ頂点に決して接続することのない辺集合(「適合するもの」)を求める
IndependentEdgeSetQ — 辺集合が独立辺集合であるかどうか検証する