G-RRM

G-RRM 求解器将数独速度提升 33 倍；GitHub 存储库已标记行业代码

一种名为 G-RRM 的新方法通过将神经网络推理模型与传统 SAT 求解器集成，在解决数独谜题方面实现了 33 倍的速度提升。然而，这种性能提升取决于求解器有效排除错误路径的能力，而当这种能力受损时，速度提升会显著降低。另外，一个项目已用北美行业分类系统 (NAICS) 代码标记了超过 6,500 个 GitHub 存储库，旨在促进对开源代码起源的研究。