Post #3225

#奇思妙想 我觉得作为人最重要的事是寻找或者设立目标。实现不重要，但同时实现也很重要。找到了每步要证明什么引理，证明就已经基本完成了；想好了用什么中间表示，实现编译器就只剩下体力话。所谓设计，就是在无穷多个可行解里通过添加中间目标，比如想要对称性，想要结构化，想要易于变换，想要 robust ，想要简洁，最终得到一个只有唯一若干个解的问题。对，是要得到问题，而不是结果。结果很重要，但仅当你的结果编码了你找到的每个中间目标——如果一个预言机只是告诉你 P=NP 是真的，那也是没什么用的。 如果缺乏问正确问题的能力，那即使是面对真的预言机，你得到的回答只会是 QB 给你实现的愿望那般，精准在你以为在意但又没足够在意的地方加夭蛾子。什么，听说你要优化人均寿命？亲亲这边可以给您优化成 NaN 哦，绝对不小于任何历史数据。