ETHのような障害物

$ETH$ 下では、関数（通常）の下で時間で $K$ -SUMを解くことができないことを知っています。 $f(K)poly(nK)$ $f(K)$ $2^{O(K)}$

$(\log n)^{O(K)}$ 複雑さを防ぐ推測はありますか（これは $K=\Omega(n)$ であり、サブセットの合計に指数時間を必要とする可能性と完全に一致します）またはそのような可能性は許容されますか？

cc.complexity-theory subset-sum

— T ....
ソース

ETH自体はこの可能性を排除します。

https://people.csail.mit.edu/rrw/cnf-sat-feasible.pdf 我々は任意のことを示し $n^{O(1)} n^{k/\alpha(k)}$ 非有界非減少任意単調に対するk-SUM時間アルゴリズム関数 $\alpha$ 、ETHが偽であることを意味します。

— ライアン・ウィリアムス
ソース

あなたはその意味でください

厳密に増加、または少なくとも無限大に行くのですか？

α

$\alpha$

— Sasho Nikolov

@RyanWilliams閉塞のように精神的にETHに似ています。多項式サイズのアドバイスまたはPPADオラクルで

複雑さを防ぐものはありますか？

O ((\log n)^{O (k)})

$O((\log n)^{O(k)})$

— T ....

「無制限」を追加しました:)

— Ryan Williams

@Brout（log（n））^ kはFPT関数であるため、ETHは除外することに注意してください。ポリサイズのアドバイスを使用すると、3satの指数関数サイズ以下の回路を意味します。PPADオラクルで、私がPPADがPになっていないことを多くの裏付け証拠を知らないETHはない画期的だろうPに私の中でPPADを暗示することを意味すると思われる

— ライアン・ウィリアムズ