今晚茶话：

我们可以从算法设计的角度来理解和定义难解性。首先，蛮力算法不是设计的算法，是依定义而存在的算法。我们说一个问题是难解的，可以理解为人们无法为该问题设计（非蛮力）算法。

在理论计算机研究中，有一个概念叫非确定图灵机，对应的也有带非确定决策的算法，大概意思是这些算法可以猜到对的决策，现实中不存在这样的计算机。基于这类概念的复杂度研究无法解释现实算法行为。这样的研究，可以看成抽象的数学研究，但没有对应的物理意义。