最大クリークが求まるな。順序付け、辺を向き付けし、有向グラフに変換する。これは多項式時間でできる。始点とするクリーク集合というのが扱えるようになった。始点とするクリーク集合がすべて含まれる。除く頂点の組み合わせをすべて試せば、vを含むクリークの最大サイズがわかる。アルゴリズムとして分解することにする。サイズkの頂点集合がクリークであればkを、そうでなければ-1を返すものとする。これは誘導部分グラフを作成し、頂点数と辺数から決めることができ多項式時間である。下記のような形になる。上記の式は下限、上限から挟み撃ちにしている。始点とする最大クリークであり、次の頂点に移ればよい。内側のmax式が-1の時は、下でクリークが見つからないわけなので、そこまでに見つかった最大クリークサイズを返して、やはり次の頂点に移る。小さいほうを使用する。