なんとなく

最大クリーク問題の f(\Delta_+)p(n)の中身を分解して、\Delta_+多項式になっていることを証明しないとダメな気がしてきた。

わかった。ZPP=EXPTIMEでP≠NPのほうだ