TQBF Problemi: Revizyonlar arasındaki fark

Q_{c_start,c_accept,h}, <math>h=2^df(n)</math> nin uzunluğunu hesaplarken şunu söyleyebiliriz: tekrarlayan her step genel formüle bir eleman ekler bu yüzden formülün tamamı lineer uzunluktadır. ve toplam

Toplam uzunluk ise:<math>O(f(n))</math> dır. Tekrarlardaki step sayısı: log(<math>2^df(n)</math>), <math>O(f(n))</math> dır. Bu yüzden sonuç formülü: O<math>f^2(n)</math> dır.