有些学数学的人干的就是：把现实中不可能是得到的perfect的解，用可实现的，不perfect的解来表达

然后再证明这个结果和不可知的perfect结果很接近，是可接受的。