Nous savons que sous nous ne pouvons pas résoudre -SUM en temps sous n'importe quelle fonction (généralement ).
Y a-t-il une conjecture qui empêche une complexité (ceci est entièrement cohérent avec la possibilité car nous avons besoin d'un temps exponentiel pour la somme du sous-ensemble) ou une telle possibilité est-elle permise?