学习债停车场

机器参与数学发现

观察日期：2026-07-21

• Claude's Cycles：Claude 为 Knuth 正在研究的有向 Hamilton 环分解问题中奇数 m 的情形给出一般构造，Knuth 随后整理并验证。这是机器参与搜索、建模和构造的样本。Knuth 原文
• 循环双覆盖猜想：OpenAI 公布了一份由 GPT-5.6 生成的完整证明，已经出现数学家的公开整理与解释。当前把它记录为“证明已经公开，理解和共同体确认仍需时间”。Jim Geelen 的说明
• 雅可比猜想：新公布的三维显式反例，其 Jacobian 行列式恒定，多个不同输入却得到同一输出，可以通过有限的精确运算独立验算。按这份精确证书，一般猜想在三维及以上被证伪，二维情形仍然开放。反例与验算

这些事件不等于数学已经穷尽，但说明机器正在从整理、计算和验算进入候选生成、证明与反例发现。不同成果的可信速度取决于证书形态：显式反例可以很快验算，长证明仍需要同行理解和复核。

这里只作时代观察，不启动数学研究线。只有新的事件实质改变上述判断时才更新，不追逐每一条“数学被解决”的新闻。

当前边界

当前主线只补 BFS 需要的普通图基础：邻接表、分叉、合流、环、重复边、节点生命周期、分层和路径证据。下面这些主题已经被看见，但不属于当前题目的前置条件，也不构成接下来的学习清单；记录名称不等于创建教程或启动练习。

图算法：已知名称，暂不展开

• 加权图与 Dijkstra：边带有不同代价时，最短不再等于经过的边数；当前不展开优先队列、松弛过程和证明。
• 拓扑排序：为有向无环图中的依赖关系生成合法顺序；等任务依赖、构建顺序或环检测成为真实问题时再启动。
• 最小生成树：在连通加权无向图中，用最小总权重连接全部节点；当前不展开 Prim 和 Kruskal。
• 并查集：维护集合合并与连通性查询；当前只保留名称和问题类型。
• 强连通分量：把有向图中彼此可达的节点收缩成组；当前不展开 Tarjan、Kosaraju 或缩点。
• 图论证明题：正确性、存在性和复杂度证明需要单独训练；不混入当前 BFS 实现，也不以背结论代替推演。

其他基础线索

• AVL 树：通过更严格的高度平衡和旋转维护二叉搜索树；以后需要与红黑树比较不变量、查询和更新成本时再回来。
• 链表：节点通过引用连接，插入和删除依赖位置与所有权；等 LRU 题进入双向链表实现时再补。
• 动态规划：把重复子问题组织成状态、转移和边界；等出现能明确写出状态含义的真实题目时再启动。
• 贪心：每一步做局部选择，但正确性需要说明局部选择为何能导向全局结果；当前不积累题型模板。
• 二分：依靠有序性和区间不变量持续缩小范围；已有真实使用印象，等需要重新实现边界查找时再验证。

再次启动条件

先完成当前 BFS 题。之后只有基础五题走到对应结构、真实问题碰到某个概念，或者五题完成后兴趣仍然明确时，才一次选择一个主题，从一张图、一个问题和一个可验证结果开始；不按数据结构或算法题单整体推进。

Linux 0.11 / rCore

linux-0.11-rs 以原版 Linux 0.11 和 rCore Tutorial 为参考，在固定的 i386 / QEMU 边界内重建可启动、可交互、可测试的 Rust 系统。基于前人代码与教学材料并不削弱其工程真实性；关键仍是如何选择语义基准、划定范围并完成验证。

rCore 不是阅读 linux-0.11-rs 的前置课程。它使用不同的体系结构和教学组织方式；未来只有在具体子系统卡住时，才把对应章节作为旁路解释，不先完整学习另一套系统。

阅读：内核，从地址翻译开始。先整理 VPN 到 PPN、page fault、x86 分段、RISC-V 页表，以及内存和驱动知识的当前边界。

tline PTY PoC

已有 PoC 已验证：网络可达时，TCP、PTY 和 bash 可以组成一个可交互、可退出的远端终端。它尚未接真实串口，也没有认证和加密；代码与运行输出才是实现状态的事实源，后续系统语义仍按需消化。

阅读：tline，从 TCP 到远端终端。整理字节路径、PTY、session、setsid()、SIGCHLD、进程回收与生命周期测试。

APUE 旁路线索：STREAMS、Advanced IPC 与 script

• Solaris STREAMS / PTY 内部结构：已经知道它是 APUE 中一种平台相关的内核组织方式，现代 Linux PTY 不按同一结构实现。除非以后阅读 Solaris、实现内核 tty，或遇到 STREAMS 兼容问题，否则不展开模块栈细节。
• Unix domain socket 与 fd passing：已经知道本地进程可以通过 Unix domain socket 通信，并用 SCM_RIGHTS 把已打开的文件、socket 或设备引用交给另一个进程。等权限分离、socket activation、master/worker、沙箱 broker 或热升级成为真实问题时再推演。
• script(1) 与 PTY 驱动程序：这里的 script 是终端会话录制工具，不是上传或执行脚本。它和 expect、交互式 CLI 测试共享同一模型：外层程序持有 PTY master，shell 或被测程序使用 slave。当前只保留这个联系，不实现录制和自动化。

这三条都不属于当前 tline PoC 的完成条件，也不因记录在这里自动变成后续项目。

Raft 与复制状态机

当前没有在真实系统中实现、部署或排障 Raft，也还不能完整推演其安全性。已经知道它用于在节点故障和网络分区下复制控制状态，核心线索包括 leader election、term、日志复制、多数派提交和故障恢复；这些名称尚未形成自己的模型。

现有业务规模是实践证据的边界，不是能力上限；但学习 Raft 本身也不能替代更大规模的运行证据。以后只有真实控制面或元数据一致性问题出现、系统面试需要这层口述，或者注意力容量允许且兴趣仍然存在时，才从三节点故障与分区推演开始整理教程，不直接手写完整实现。