1
複雑さの下限がある多項式時間問題は他にありますか？
私は、古典的な時間の複雑さの下限を持つ問題をもっと探しています。一部の人々は、あなたがそのような下限をどのように証明できるか疑問に思うかもしれません。下記参照。PPP 指数下限： クレーム：あなたは問題がある場合されるE X P T I M Eは、多項式削減下-complete、定あるα ∈ Rように、Xがで解けるないO （2 N α）時間。 バツXXEバツPT私MEEXPTIMEEXPTIMEα ∈ Rα∈R\alpha \in \mathbb{R}バツXXO （2んα）O(2nα)O(2^{n^{\alpha}}) プルーフアイデア：時間階層定理により、問題がでO （2 N）にない時間O （2 n個YYYO （2ん）O(2n)O(2^n)時間。さらに、YからXへの多項式の削減が必要です。したがって、一定のあるCこの縮小サイズのインスタンスを取るように、NのためのYサイズのインスタンスにNCのためのXは。下行きYのO（2N 1 - ε）下行きに時間シフトXのO（2N 1 - εo （2んん）o(2nn)o(\frac{2^n}{n})YYYXXXcccnんnYYYncんcn^cXバツXYYYO(2n1−ϵ)O（2ん1−ε）O(2^{n^{1-\epsilon}})XバツX時間。O(2n1−ϵc)O（2ん1−εc）O(2^{n^{\frac{1-\epsilon}{c}}}) 多項式の下限： 一部の完全問題には、多項式時間問題への適切なパラメーター化があります。以前からの問題Xを考えます。我々はパラメータ化があるとKを - X用Xように：EXPTIMEEバツPT私MEEXPTIMEXバツXkkkXバツXXバツX 各固定について、k - Xは多項式時間です。kkkkkkバツバツX 直感的に存在し、これに、もちろん例外であるが、大きくなるkは - Xのための問題が難しくなるはずですXが下限指数時間複雑性を有します。kkkkkkバツバツXバツバツX 例： 浮上している問題の1つの例は、ツリーオートマトンの交差が空でないことです。つまり、ツリーオートマトンの有限リストが与えられた場合、すべてのオートマトンを同時に満たすツリーは存在しますか？ この問題は、ここで complete であることが示されました。さらに、オートマトンkの数によって交差問題をパラメーター化できます。それすることができる示した固定のためにそのK、交差問題は、時間複雑有するN Θ （kは）。EバツPT私MEEバツPT私MEEXPTIMEkkkkkkんΘ …