形式的構築
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/11/24 23:57 UTC 版)
頂点群 と辺群 のグラフ があるとき、その補グラフ は以下のように構築される。 である。 個の頂点のクリーク について、 とする。 補グラフは、ラムゼー理論などのグラフ理論で使われ、NP完全問題であることの証明にも使われる。
※この「形式的構築」の解説は、「補グラフ」の解説の一部です。
「形式的構築」を含む「補グラフ」の記事については、「補グラフ」の概要を参照ください。
- 形式的構築のページへのリンク