Fischer and Rabin proved in 1974 that every algorithm that decides the truth of Presburger statements of length n has a runtime of at least 2 2 c n {\displaystyle 2^{2^{cn}}} for some constant c.
Fischer și Rabin au demonstrat în 1974 că fiecare algoritm care decide adevărul unei afirmații Presburger are un timp de execuție de cel puțin 2 2 c n {\displaystyle 2^{2^{cn}}} pentru o constantă c.