Hacker News· zzyzek·· 2 小时前AI 评分20
双色 Zig Zag Numberlink（Flow Free）问题获解：矩形网格上两对端点的完整判定与 Lean 4 验证
Two-Colour Zig Zag Numberlink (Flow Free) Solved
AI 导读
研究者给出了矩形网格上双色 Zig Zag Numberlink（即 Flow Free 两路径情形）的完整判定：当矩形两边均不小于 11 时，实例可解当且仅当不出现有限禁模式目录中的任何一项。
来源：Hacker News · zzyzek.github.io