伪布尔约束学习中的无关文字问题
人工智能
2020-12-09 v1
摘要
在利用基于割平面推理的伪布尔（PB）求解器中，PB约束的学习不如冲突驱动子句学习求解器中的子句学习那样被充分理解。在本文中，我们表明使用割平面推导出的PB约束可能包含\emph{无关文字}，即无论其赋值为何，都永远不会改变该约束真值的文字。此类文字可能导致推断出弱于应有强度的约束，影响求解器所构建证明的规模，进而也影响其性能。这表明当前基于割平面的PB求解器的实现应被重新考虑，以防止生成无关文字。事实上，在实践中检测和移除无关文字代价过高，无法作为一种可行方案（其相关问题为NP难）。
引用
@article{arxiv.2012.04424,
title = {On Irrelevant Literals in Pseudo-Boolean Constraint Learning},
author = {Danel Le Berre and Pierre Marquis and Stefan Mengel and Romain Wallon},
journal= {arXiv preprint arXiv:2012.04424},
year = {2020}
}
备注
published at IJCAI 2020