支配集合問題
支配集合問題(しはいしゅうごうもんだい、英: dominating set)は、グラフ理論における有名なNP困難な問題の一つ。与えられたグラフ G(V, E) の頂点集合 V′ (⊆ V) で、V′ に属さない全ての頂点 v について、v の隣接頂点のいずれか一つが V′ に属するような V′ (支配集合)のうち、最小のものを求める問題。
この問題は、集合被覆問題に含まれるため、集合被覆問題への近似アルゴリズムを適用することで近似度 1 + log|V| の解を得ることができる。また、ある定数 c > 0 について、c log|V| 近似アルゴリズムが存在しないことも示されている。
しかし、平面グラフに対しては、PTAS が存在することも知られている。