文章
关于
文章
计算、算法与工程的学习笔记。
Jul 25, 2026
计算问题、表示与正确性
把“找一条最快路线”这类模糊需求变成可分析的计算问题:问题与实例、正确性关系 R ⊆ I×O、前置/后置条件、任务类型、编码与输入长度,以及正确性证明的基本结构。
Jul 24, 2026
你好,世界
第一篇文章。