计算难度的比较——归约

关于归约的故事

　　

可以让机器人执行

让机器人执行较困难，需要较高智能去判断(这不是归约方案)

机器人执行比较容易(这才是归约方案)

可归约性

　　一种化难为易、化繁为简的方法。

归约精确化

　　

证明1

证明2

多项式时间归约