归约（polynomial-time Turing reducible）至Y。换句话说，给予一个解决Y的神谕（一个只需要单位时间就可以），则存在一个在多项式时间内解决X的演算法（可能需要借由不断的使用神谕，这是可以接受的）。NP-易也是FP（参见功能性问题页面）或者FΔP（参见多项式层级页面）的别名。一个NP-易的例子是将一堆字串进行排序。决定型问题"字串A是否比B来的大"是一个NP问题。然后我们已经有快速排序（quicksort）或者合併排序（merge sort）这些演算法，它们只要有单位时间比