决策 DNNF 结构限制的非 FPT 下界
人工智能
2017-08-28 v1 计算复杂性
摘要
我们给出了表示有界关联树宽 CNF 公式的结构化决策 DNNF 和具有可分解 AND 节点的 OBDD 大小的非 FPT 下界。已知这两种模型对于有界原始树宽的 CNF 均为 FPT 大小。据我们所知，这是首次针对知识编译模型将原始树宽与关联树宽进行参数化分离。
引用
@article{arxiv.1708.07767,
title = {Non-FPT lower bounds for structural restrictions of decision DNNF},
author = {Andrea Calì and Florent Capelli and Igor Razgon},
journal= {arXiv preprint arXiv:1708.07767},
year = {2017}
}