双色 Zig-Zag Numberlink 矩形情形获判定

研究者 zzyzek 发表论文，给出矩形网格上双色 Zig-Zag Numberlink（即 Flow Free 两路径情形）的完整可解性判定，并用 Lean 4 形式化验证。 该判定称：当矩形两边均不小于 11 时，实例可解当且仅当不出现有限禁模式目录中的任何一项。论文称已解决端点在网格任意位置的两对端点情形。 这是否覆盖两边小于 11 的矩形，报道未作说明。

AI 根据报道生成 · 58 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。