中にeを含むクリークが全て含まれる。よって次式が成り立つ。サイズk-2のクリークがあればよいので、さらに次式のように変形できる。終了条件も含め、下記のようになる。サイズkのクリークが含まれない場合、Gからeを取り除いても最大クリークには影響しない。辺を評価していると見ることができる。あれば、即座にその辺を除去する前処理を行う。この前処理の結果、少なくともサイズ3のクリークをk-2個以上含む辺のみが残り、各頂点の次数はk-1以上になる。次数がk-1未満になる頂点はその時点で除去できる。そのため、前処理後のグラフに対し、すべての辺を評価しなくともよい。辺を評価すれば良いことがわかる。結局FPTなんだけど、そのパラメーターは極大クリークの数に依存する。場合で、どんなにクリークサイズが大きくても、完全グラフ-数辺みたいのだとあっという間に終わる。前回は全点に接続する頂点を書いてなくて、終了条件に完全グラフって書いてたけど、これでぐっと見通しがよくなった。次は補グラフでの最大独立集合を考えることにする。queuekousuke.hatenablog.com以前、この記事で最大出次数を最小にす...2017-06-02最大クリーク問題(改)最大クリーク問題をいま全面的に書き直していて、すごくおもし...2017-05-08最大クリーク問題で面白いなとおもったこといろいろ考えてるけど、最大クリーク問題は主に3つの関数からな...2017-04-04最大クリークの計算量とか修正しました。基本的には前書いた内容。Vacation月別アーカイブはてなブログをはじめよう!tinsep19さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。