SAT 公式的分形维数
人工智能
2023-03-14 v1
摘要
现代 SAT 求解器在求解工业实例方面取得了显著进展。大多数技术都是在密集的实证测试过程后开发出来的。最近，一些尝试从复杂网络的角度分析这些公式的结构，旨在长期解释这些 SAT 求解技术成功的原因，并可能加以改进。我们研究了 SAT 公式的分形维数，并表明大多数工业公式族具有自相似性且分形维数较小。我们还表明，该维数不受添加学习子句的影响。我们探讨了如何结合公式的维数与其他图属性来刻画 SAT 实例。最后，我们提供了实证证据，表明这些图属性可用于最先进的组合策略（portfolios）中。
引用
@article{arxiv.1308.5046,
title = {The Fractal Dimension of SAT Formulas},
author = {C. Ansótegui and M. L. Bonet and J. Giráldez-Cru and J. Levy},
journal= {arXiv preprint arXiv:1308.5046},
year = {2023}
}
备注
20 pages, 11 Postscript figures