使用减少的概念定义了许多复杂性类。减少是一个问题到另一个问题的转变。它捕获了一个问题的非正式概念，该问题至少与另一个问题一样困难。例如，如果可以使用针对Y的算法解决问题X，则X的难度不比Y大，并且我们说X可以简化为Y。根据归约方法，有许多不同类型的归约，例如Cook归约，Karp归约和Levin归约，以及归约的复杂性界限，例如多项式时间归约或对数空间归约。
是什么抓住了问题的正式概念与另一个问题一样艰难的条件？