通向 SAT 和 CSP 异质类的后门
人工智能
2017-01-02 v2 计算复杂性
摘要
在本文中，我们通过允许后门变量的不同实例化导致属于不同基类的实例，扩展了 SAT 和 CSP 中强和弱后门集的经典概念；这些基类的并集构成了一个异质基类。通向异质基类的后门集可能比通向同质基类的后门集小得多，因此它们更令人向往，但也可能更难寻找。我们为检测 SAT 和 CSP 中通向异质基类的强和弱后门集问题绘制了详细的复杂性图谱。
引用
@article{arxiv.1509.05725,
title = {Backdoors into Heterogeneous Classes of SAT and CSP},
author = {Serge Gaspers and Neeldhara Misra and Sebastian Ordyniak and Stefan Szeider and Stanislav Živný},
journal= {arXiv preprint arXiv:1509.05725},
year = {2017}
}
备注
to appear in JCSS, full version of an AAAI 2014 paper