OBDD的标准化泛化
人工智能
2026-04-08 v1 数据结构与算法
摘要
我们引入Tree Decision Diagrams(TDD)作为一种泛化OBDD的布尔函数模型。它们可视为结构化d-DNNF的一个限制，即遵循vtree 的d-DNNF。我们表明，TDD拥有与OBDD相同的可计算性属性，如模型计数、枚举、条件和应用，并且更简洁。特别地，我们证明， treewidth为的CNF公式可由FPT大小的TDD表示，而这在OBDD中已知不可能。我们研究了通过自下而上编译将CNF公式编译为确定性TDD的复杂度，并将这种方法的复杂度与Bova和Szeider引入的因子宽度概念相关联。
引用
@article{arxiv.2604.05537,
title = {A canonical generalization of OBDD},
author = {Florent Capelli and YooJung Choi and Stefan Mengel and Martín Muñoz and Guy Van den Broeck},
journal= {arXiv preprint arXiv:2604.05537},
year = {2026}
}
备注
Submitted to SAT26