Теоретические основы анализа параметризированных алгоритмов