Wir wissen, dass wir unter -SUM nicht in Zeit unter irgendeiner Funktion lösen können (normalerweise ).
Gibt es eine Vermutung, die eine -Komplexität verhindert (dies stimmt völlig mit der Möglichkeit überein, dass wir exponentielle Zeit für die Teilmengen-Summe benötigen) oder ist eine solche Möglichkeit zulässig?