树投影的威力：枚举CSP解的结构可解性
人工智能
2013-07-19 v2 数据库
摘要
判断CSP实例是否存在解的问题已在文献中得到深入研究，并已推导出若干结构可解性结果。然而，约束满足在实践中的计算问题，其焦点要么是寻找一个解，要么是枚举所有解，可能投影到给定的输出变量集。本文研究了枚举（可能投影的）解问题的结构可解性，这里的可解性意味着多项式延迟可计算(WPD)，因为通常可能存在指数级数量的解。本文考虑了一个基于超图树投影概念的通用框架，该框架概括了所有已知的分解方法。对于输出变量是其规范一部分的结构类，以及对于必须确保对任何可能的输出变量集都具有WPD可计算性的结构类，都获得了可解性结果。通过展示考虑树分解方法的有界元数结构类的二分法，证明了这些结果是紧的。
引用
@article{arxiv.1005.1567,
title = {On The Power of Tree Projections: Structural Tractability of Enumerating CSP Solutions},
author = {Gianluigi Greco and Francesco Scarcello},
journal= {arXiv preprint arXiv:1005.1567},
year = {2013}
}