提出几何感知MCTS,高效求解网格点排列极值问题
Geometry-Aware MCTS for Extremal Problems in Combinatorial Geometry

- 用增量更新约束空间,将共线检测复杂度从O(n³)降到O(n²)
- 在82≤n≤119的网格中,找到约1.8n大小的无三点共线配置
- 利用几何对称性加速搜索,适合求解带严格几何约束的组合问题
我们研究组合几何中的极值问题,即在n×n网格中寻找满足严格全局几何约束的点集配置。传统精确求解器因组合爆炸难以应对,而标准强化学习与Transformer模型则面临稀疏奖励‘有效性悬崖’和二次复杂度的令牌消耗限制。为此,我们提出几何感知蒙特卡洛树搜索(Geometry-Aware MCTS)框架。通过增量更新可行动作空间,严格强制几何约束;针对共线点集约束(如经典无三点共线问题Max-N3IL),将约束检查复杂度由O(n³)降至O(n²)。为提升搜索效率,我们利用几何对称性:节点扩展时进行规范剪枝以降低分支因子,采用对称批量转移加速优质配置发现。实验表明,在所考虑的六个问题中,五项取得新最优计算结果。尤其在Max-N3IL问题上,对82≤n≤119的网格,找到规模约为1.8n的解;在最小完备集问题中,获得约0.95n规模的配置,提供测试网格内的新上界。该工作确立了几何感知MCTS在组合几何新构型发现中的高度适应性。
原文摘要 · Abstract (English)
We study certain extremal problems in combinatorial geometry that ask about configurations of points in an $n \times n$ grid that satisfy strict, global geometric constraints. Classical exact solvers suffer from combinatorial explosion for these types of problems, and standard reinforcement learning and transformer-based models struggle with the sparse reward "validity cliff" and quadratic token-consumption limits. To overcome these bottlenecks, we propose a Geometry-Aware Monte Carlo Tree Search (MCTS) framework. Our approach strictly enforces geometric constraints through incremental updates to the feasible action space. For constraints about collections of collinear points, like those that occur in the classic No-Three-in-Line problem (Max-N3IL), this mechanism reduces the constraint checking complexity from $O(n^3)$ to $O(n^2)$. To improve search efficiency, we exploit geometric symmetries in two ways: canonical pruning during node expansion to reduce the branching factor, and symmetric batch transitions to accelerate the discovery of promising configurations. We perform extensive experiments and establish new best-known computational results on five out of six of the problems that we considered. Notably, for Max-N3IL we find configurations of size roughly $1.8 n$ for grids of size $82 \le n \le 119$. For the Smallest Complete Set problem, we find configurations of size roughly $0.95 n$, providing new upper bounds within the tested grids. This work establishes Geometry-Aware MCTS as a highly adaptable framework for discovering novel configurations in combinatorial geometry.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。