计算、算法与工程的学习笔记。https://cheehenn-notes.pages.dev/https://cheehenn-notes.pages.dev/blog/f1-computation-representation-correctness/https://cheehenn-notes.pages.dev/blog/f1-computation-representation-correctness/把“找一条最快路线”这类模糊需求变成可分析的计算问题:问题与实例、正确性关系 R ⊆ I×O、前置/后置条件、任务类型、编码与输入长度,以及正确性证明的基本结构。Sat, 25 Jul 2026 00:00:00 GMThttps://cheehenn-notes.pages.dev/blog/hello-world/https://cheehenn-notes.pages.dev/blog/hello-world/第一篇文章。Fri, 24 Jul 2026 00:00:00 GMT