Hacker News· zzyzek·· 2 小时前AI 评分22
实心网格图中哈密顿路径的多项式时间算法及 Lean 4 形式化验证
Polynomial Time Hamiltonian Path in Solid Grid Graphs
AI 导读
研究者给出一个判定实心网格图中任意两点 s、t 之间是否存在哈密顿路径的多项式时间算法，并在 Lean 4 与 Mathlib 中完成正确性证明。
来源：Hacker News · zzyzek.github.io
实心网格图中哈密顿路径的多项式时间算法及 Lean 4 形式化验证