通过满足性求解避免 $k$ 条共线点的最大北东格子路径问题
计算与语言
2025-12-01 v1 计算机视觉与模式识别
机器学习
摘要
我们研究了 Gerver-Ramsey 共线性问题，即确定在不包含 条共线点的北东格子路径中所能包含的最大点数。通过使用满足性求解器，我们对 的所有避免 条共线点的北东格子路径进行了等价枚举。我们还发现一条包含 327 步、可避免 条共线点的北东格子路径，改进了 Shallit 先前找到的 260 步的最佳长度。
关键词
引用
@article{arxiv.2511.23225,
title = {TWEO: Transformers Without Extreme Outliers Enables FP8 Training And Quantization For Dummies},
author = {Guang Liang and Jie Shao and Ningyuan Tang and Xinyao Liu and Jianxin Wu},
journal= {arXiv preprint arXiv:2511.23225},
year = {2025}
}