基于 incid idence treewidth 的 #SAT 固定参数算法
数据结构与算法
2007-05-23 v2 计算复杂性
计算机科学中的逻辑
摘要
我们提出了一个高效的固定参数算法，用于 #SAT，其参数为 incid ence treewidth，即给定 CNF 公式的二分图的 treewidth；变量和子句之间的边当且仅当该变量出现在该子句中。我们的算法在时间 O(4^k k l N) 上运行，其中 k 表示 incid ence treewidth，l 表示最大子句的大小，N 表示树分解的节点数。
引用
@article{arxiv.cs/0610174,
title = {A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth},
author = {Marko Samer and Stefan Szeider},
journal= {arXiv preprint arXiv:cs/0610174},
year = {2007}
}
备注
9 pages, 1 figure