arXiv:2504.01173v1 宣告类型: 交叉 摘要: 在本文中，我们对图神经网络在布尔可满足性问题中的应用进行了全面评估，并提供了一种直观的解释，说明了模型如何能够推广到不同的实例。我们引入了几种训练改进，特别是新颖的动态适应当前模型状态的最近指派监督方法，该方法在处理具有更大解空间的问题时显著提升了性能。我们的实验表明，变元-子句图表示与循环神经网络更新相结合，在SAT指派预测方面表现出较好的准确性，同时减少了计算需求。我们扩展了基本的图神经网络，使其成为具有增量采样功能的扩散模型，并且能够与如单元传播等经典技术有效结合。通过分析嵌入空间模式和优化轨迹，我们展示了这些网络如何隐含地执行类似于MaxSAT的连续松弛过程，提供了它们推理过程的可解释视图。这种理解指导了我们的设计选择，并解释了循环架构在推理时间上的有效扩展能力，超过了其训练分布，我们通过测试时的扩展实验进行了演示。