Untere Schranken für den Abfragekomplexität von speichereingeschränkten Algorithmen für das Machbarkeitsproblem

Deterministische und randomisierte Algorithmen, die das Machbarkeitsproblem mit einer Genauigkeit von ǫ ≥e−do(1) lösen, müssen entweder d1+δ Bit Speicher verwenden oder mindestens 1/(d0.01δǫ2(1−δ)/(1+1.01δ)−o(1)) bzw. 1/(d2δǫ2(1−4δ)−o(1)) Abfragen tätigen, für beliebige δ ∈[0, 1] bzw. δ ∈[0, 1/4].