中にeを含むクリークが全て含まれる。よって次式が成り立つ。サイズk-2のクリークがあればよいので、さらに次式のように変形できる。再帰的に求めることができることがわかる。書くことにすると、再帰の深さtを用いて次のように変形できる。サイズkのクリークが含まれない場合、eを消しても最大クリークには影響しない。すると次式のように変形できる。含まれる辺の最小のインデックスの意。終了条件も合わせて下記のようになる。これに加えてサイズkのクリークはk-1以上の次数を必ず持つので次数k-1未満の点を除去していってもなくならない。すると下記が成り立つ*1。この前処理の結果、次数がk-1未満の頂点は全てなくなる。なり、前処理の中で完全に解けることになる(FPT?)。辺を評価する処理が進むにつれて辺はなくなっていき次数がk-1未満になる点はその時点で除去できる。個の辺だけ評価すればよい。ひとつパラメーターがあって、それが極大クリークの数になる。これをwとするとtに対し、w'≦wなんだけどこれを上手く処理できると多項式の目が出てくるかなと思っている。補グラフの辺を変わりに評価対象にすればよいだろうか。P=NPだと夢がある。Vacation月別アーカイブはてなブログをはじめよう!tinsep19さんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。