text: То, что параметрически редуцируемая и разрешимая задача является фиксированно-параметрически разрешимой, можно видеть из определения выше: алгоритм параметрической редукции, который работает за время O ( | x | c ) {\displaystyle O(|x|^{c})} для некоторого c, привлекается для получения ядра размера f ( k ) {\displaystyle f(k)} .