Loading AI tools
ウィキペディアから
最大独立集合問題(さいだいどくりつしゅうごうもんだい)は、グラフ理論において、与えられたグラフ G(V,E) に対して、頂点集合 V'⊆V のうち V' 内の頂点間に枝が存在しないようなもの(独立集合)で大きさが最大のものを求める問題。最大安定集合問題とも言う。この問題は、NP困難であることが知られている。
この問題は、補グラフに対する最大クリーク問題と等価である。また、独立集合に含まれない頂点は頂点被覆をなし、逆も成り立つので、最小頂点被覆問題とも等価である。
近似アルゴリズムについても、基本的に最大クリーク問題と同じである。グラフの頂点数を n とするとき、近似度 O(n / (log n)2) が達成されている。また、P=NP が成り立たないとき、任意の ε>0 について、近似度 n(1/2-ε) の近似アルゴリズムが存在しないことが示されている。NP=ZPPが成り立たない場合、近似度 n(1-ε) の近似アルゴリズムが存在しないことも示されている。
グラフの最大次数を制限した場合は、以下の結果が知られている。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.