Vsinger_洛天依

摘要： 通过解决一个问题去解决定义公文题的算法将叫做归约，假设其中一个是 \(A\)，另一个是 \(B\)，如果问题 \(B\) 也可以规约到问题 \(A\) 上，那么 \(B\) 比 \(A\) 难。 归约有几种不同的细分形式，我们设 \(f\) 是任意一个解决问题 \(A\) 的算法，如果存在一个可计算 阅读全文