Impagliazzo、Paturi、Zane、および準指数アルゴリズムのSERF還元性に関して質問があります。SERF-reducibilityの定義は次を提供します:
場合 SERF還元性であるP 2とがO (2 ε N)アルゴリズムP 2それぞれについて、ε > 0、そこであるO (2 ε N)のアルゴリズムP 1それぞれについて、ε > 0。(両方の問題の硬度パラメータはnで示されます。)
いくつかの情報源は、以下も当てはまることを暗示しているようです:
場合 SERF還元性であるP 2とがO (2 O (N ))のためのアルゴリズムA 2は、存在するO (2 O (N ))のアルゴリズムP 1。
私の質問は、後者の主張は実際に成り立っているのか、もしそうなら、どこかに証拠の記述があるのか?
背景として、指数時間仮説の周りの領域を理解しようとしています。IPZを有するものとして準指数問題を定義ごとにアルゴリズムをε > 0、これは明らかに問題の準指数アルゴリズムが存在することを意味する現在の知識に照らして十分ではありません。同じギャップがSERFの還元可能性にも存在するようですが、ここで何かが欠けていると部分的に期待しています...