跳到正文
Skip to content
文章
Writing
关于
About
文章
Writing
计算、算法与工程的学习笔记。
Notes on computation, algorithms, and engineering.
EN ·
July 26, 2026
On specifying a problem
A problem is only well-posed once its inputs, outputs, and correctness relation are fixed.
2026年7月25日
计算问题、表示与正确性
把“找一条最快路线”这类模糊需求变成可分析的计算问题:问题与实例、正确性关系 R ⊆ I×O、前置/后置条件、任务类型、编码与输入长度,以及正确性证明的基本结构。
2026年7月24日
你好,世界
第一篇文章。