Une obstruction comme ETH

10

Nous savons que sous ETH nous ne pouvons pas résoudre K -SUM en temps F(K)poly(nK) sous n'importe quelle fonction F(K) (généralement 2O(K) ).

Y a-t-il une conjecture qui empêche une complexité (Journaln)O(K) (ceci est entièrement cohérent avec la possibilité car K=Ω(n) nous avons besoin d'un temps exponentiel pour la somme du sous-ensemble) ou une telle possibilité est-elle permise?

T ....
la source

Réponses:

16

ETH lui-même exclut cette possibilité.

Dans https://people.csail.mit.edu/rrw/cnf-sat-feasible.pdf nous montrons que tout algorithme de temps nO(1)nk/α(k) pour k-SUM, pour tout monotone non décroissant non borné la fonction α , impliquerait que ETH est faux.

Ryan Williams
la source
3
α
O((Journaln)O(k))
Ajouté "illimité" :)
Ryan Williams
@Brout Notez que (log (n)) ^ k est une fonction FPT, alors oui, ETH exclut cela. Avec des conseils de taille poly, cela signifierait des circuits de taille sous-exponentielle pour 3sat. Avec un oracle PPAD, cela semblerait impliquer que ETH implique PPAD pas en P. Pour moi, ce serait une percée, je ne connais pas beaucoup de preuves corroborant que PPAD n'est pas en P
Ryan Williams