109
правок
Изменения
м
→Полиномиальность f
<math>T(n) = T(n-1) + a(n)(b_1(n) + b_2(n) + b_3(n) + b_4(n)) + c_1(n) + c2_2(n)</math>, где:
*<math>T(n-1)</math> идёт на вычисление <math>f(n-1)</math>;
*<math>a(n)</math> — время перебора всех слов <math>x</math>таких, таких что <math>|x| < \log_2 n</math>;
*<math>b_1(n)</math> — время работы <math>p_i(x)</math>;
*<math>b_2(n)</math> — время работы <math>SAT(x)</math>;
