固定参数易解性(fixed-parameter tractability),理学-计算机科学技术-计算机科学理论-算法-参数算法,给定参数化问题Q,如果Q能被参数算法A在O(f(k))|x|O(1)时间内求解,其中f是一个递归函数,|x|是输入实例的大小,k是输入参数,则称参数化问题Q具有固定参数易解性(fixed-paramter tractability)。基于NP完全性理论,给定任意NP难解问题的输入实例(x,k),精确求解该问题的时间复杂度往往为O(nk),式中n为输入实例的规模大小,k为输入实例的参数。通常输入实例的大小n都很大,即使n值很小,以n为底的指数的增长速度也大得惊人。为了有效地精确求解难解问题,参数计算理论提供了一种求解难解问题的新理念,使得问题求解时间复杂度中的指数部分与n无关,而只与输入实例的参数k有关,且在问题求解时间复杂度中与n有关的部分则以多项式的形式存在。这样,如果实际应用中给定问题实例中的输入参数很小,那么基于参数计算理论设计的算法将有效地实现对难解问题的精确求解,即设计了求解难解问题的固定参数可解算法。