Załóżmy, że algorytm ma relację powtarzalności środowiska wykonawczego:
dla niektórych stałych . Załóżmy, że g jest wielomianem w n , być może kwadratowym. Najprawdopodobniej f będzie wykładnicze w n .
Jak przejść do analizy środowiska wykonawczego ( byłoby doskonałe)? Wydaje się, że nie można zastosować twierdzenia głównego i bardziej ogólnej metody Akra-Bazzi.