
2026年2月的预印本显示,Bee Rosa Davis提出基于曲率引导的Davis流形波前执行方法,解决最难数独问题比Python CPU快1226倍,还能推广到有限域约束满足问题。
创新方法亮点多
该求解器实现了基于Davis场方程的三相CUDA流水线。其三分参数Γ能自动对实例分类,分配到最优阶段组合。波前传播并行执行,流形松弛数据并行,曲率导向深度优先搜索还能剪枝,经典启发式方法是其退化情况。
数学原理有深度
约束图诱导出离散黎曼流形,局部曲率场衡量三个独立标量不变量。通过信息价值排序,选择求解能传播最多信息的顶点。Davis能量泛函的测地线可最小化总工作量解决约束问题。
实验结果超惊艳
在15线索极端数独上,消费级笔记本电脑GPU能在9毫秒内解决所有11个已知最难实例,v4版本平均每个谜题耗时7.8毫秒。与Kona 1.0、DLX、Python CPU相比,加速比分别达40128倍、3.8倍、1226倍。
应用领域很广泛
此框架并非专门的数独求解器,适用于任何有限域约束满足问题,如SAT求解、图着色、调度等,曲率场可引导GPU调度。
研究者背景深厚
研究者Bee Rosa Davis是布朗大学数字取证硕士,有27年航空航天与安全工程经验。她致力于开发几何框架,其理论应用涵盖多个领域。
编辑观点:该求解器性能卓越,应用广泛,有望在约束满足问题领域掀起变革,为相关行业带来新突破。


被折叠的 条评论
为什么被折叠?



