arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2501.03710

On complexity of restricted fragments of Decision DNNF

Andrea Calí·Igor Razgon
View original source ↗Read source document ↗Export metadata ↓

Abstract

Decision \textsc{dnnf} (a.k.a. $\wedge_d$-\textsc{fbdd}) is an important special case of Decomposable Negation Normal Form (\textsc{dnnf}), a landmark knowledge compilation model. Like other known \textsc{dnnf} restrictions, Decision \textsc{dnnf} admits \textsc{fpt} sized representation of \textsc{cnf}s of bounded \emph{primal} treewidth. However, unlike other restrictions, the complexity of representation for \textsc{cnf}s of bounded \emph{incidence} treewidth is wide open. In[arxiv:1708.07767], we resolved this question for two restricted classes of Decision \textsc{dnnf} that we name $\wedge_d$-\textsc{obdd} and Structured Decision \textsc{dnnf}. In particular, we demonstrated that, while both these classes have \textsc{fpt}-sized representations for \textsc{cnf}s of bounded primal treewidth, they need \textsc{xp}-size for representation of \textsc{cnf}s of bounded incidence treewidth. In the main part of this paper we carry out an in-depth study of the $\wedge_d$-\textsc{obdd} model. We formulate a generic methodology for proving lower bounds for the model. Using this methodology, we reestablish the \textsc{xp} lower bound provided in [arxiv:1708.07767]. We also provide exponential separations between \textsc{fbdd} and $\wedge_d$-\textsc{obdd} and between $\wedge_d$-\textsc{obdd} and an ordinary \textsc{obdd}. We study the complexity of Apply operation for $\wedge_d$-\textsc{obdd}. While, in general, the Apply operation leads to exponential blow up of the resulting model, we identify a special restricted case where the Apply operation can be carried out efficiently. We introduce a relaxed version of Structured Decision \textsc{dnnf} that we name Structured $\wedge_d$-\textsc{fbdd} and demonstrate that this model is quite powerful for \textsc{cnf}s of bounded incidence treewidth.

Explore related subjects

cs.CC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrea Calí, Igor Razgon. 2025-01-07. On complexity of restricted fragments of Decision DNNF. https://arxiv.org/abs/2501.03710

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Computational Complexity of Holant Problems on 4-regular Graphs from the Stable Subgroup Sequence of $SL(2,\mathbb{C})$

The Holant framework provides a general setting for studying counting problems and includes graph homomorphisms (\#GH) and counting constraint satisfaction problems (\#CSP) as special cases. Over the past twenty years, a series of computational complexity dichotomies have been established for Holant problems, but the classification for complex-valued signatures is still open. The main obstacle is the case in which all signatures have even arity. In this paper, we establish a dichotomy for Holant problems with a complex-valued 4-ary signature, which is a key base case for the full classification of Holant problems. We present a new strategy by introducing Schur's theorem, the classification of finite subgroups of $\mathrm{SL}(2,\mathbb{C})$ and stable subgroup sequences into the proof. These new techniques are of independent interest.

cs.CC↗
arXiv2026

Topology inside NC$^1$

We show that ACC$^0$ is precisely what can be computed with constant-width circuits of polynomial size and polylogarithmic genus. This extends a characterization given by Hansen, showing that planar constant-width circuits also characterize ACC$^0$. Thus polylogarithmic genus provides no additional computational power in this model. We consider other generalizations of planarity, including crossing number and thickness. We show that constant-width circuits of polynomial size and thickness two already suffice to capture all of NC$^1$.

cs.CC↗