关于归约的故事
可以让机器人执行
让机器人执行较困难，需要较高智能去判断(这不是归约方案)
机器人执行比较容易(这才是归约方案)
可归约性
一种化难为易、化繁为简的方法。
归约精确化
证明1
证明2
多项式时间归约
