Изменения

Худшая оценка времени работы разрешителя <tex>q</tex> равна <tex>n^2 log(n) O(p_1(w))</tex>, так как в множестве <tex>endPoses</tex> может быть максимум <tex>n</tex> элементов, значит итерироваться по множеству можно за <tex>n</tex>, если реализовать его на основе дерева; при этом операция добавления элемента в множество будет работать за <tex>O(log(n))</tex>. Итого, разрешитель <tex>q</tex> работает за полиномиальное время(так как произведение полиномов есть полином). Значит <tex>L_1^* \in P</tex>.