arXiv ID:
2605.27338
arXiv 提交日期: 2026-05-26
带弱约束的2-ASP(Q)程序:复杂性与高效实现 / 2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
1️⃣ 一句话总结
本文研究了一类能够表达复杂优化问题的逻辑程序(2-ASP(Q)^w),并为其提供了完整的理论复杂性分析,同时提出了一种基于反例引导抽象精化的高效求解算法,在多个领域的困难基准测试中验证了其有效性。