Abstract:In this paper we study syntactic branching programs of bounded repetition representing CNFs of bounded treewidth. For this purpose we introduce two new structural graph parameters d -pathwidth and clique preserving d -pathwidth denoted by pwd(G) and cpwd(G) where G is a graph. We show that cpw2(G)≤O(tw(G)Δ(G)) where tw(G) and Δ(G) are, respectively the treewidth and maximal degree of G . Using this upper bound, we demonstrate that each CNF ψ can be represented as a conjunction of two OBDDs (quite a restricted class of read-twice branching programs) of size 2O(Δ(ψ)⋅tw(ψ)2) where tw(ψ) is the treewidth of the primal graph of ψ and each variable occurs in ψ at most Δ(ψ) times.Next, we use d -pathwidth to obtain lower bounds for monotone branching programs. In particular, we consider the monotone version of syntactic nondeterministic read d times branching programs (just forbidding negative literals as edge labels) and introduce a further restriction that each computational path can be partitioned into at most d read-once subpaths. We call the resulting model separable monotone read d times branching programs and abbreviate them d -SMNBPs. For each graph G without isolated vertices, we introduce a CNF ψ(G) whose clauses are (u∨e∨v) for each edge e={u,v} of G . We prove that a d -SMNBP representing ψ(G) is of size at least Ω(cpwd(G)) where c=(8/7)1/12 . We use this 'generic' lower bound to obtain an exponential lower bound for a 'concrete' class of CNFs ψ(Kn) . In particular, we demonstrate that for each 0 , the size of na -SMNBP representing ψ(Kn) is at least cnb where b is an arbitrary constant such that a+b<1 . This lower bound is tight in the sense ψ(Kn) can be represented by a poly-sized n -SMNBP.

An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs

#CFG and #DNNF admit FPRAS

A faster FPRAS for #NFA

Engineering an Exact Pseudo-Boolean Model Counter

On randomized counting versus randomised decision

On Hashing-Based Approaches to Approximate DNF-Counting

Branching Bisimilarity Checking for PRS.

Perspective on complexity measures targetting read-once branching programs

On Computational Power of Quantum Read-Once Branching Programs

Two types of branching programs with bounded repetition that cannot efficiently compute monotone 3-CNFs

A Computational Method for Bounding the Probability of Reconstruction on Trees

The splitting power of branching programs of bounded repetition and CNFs of bounded width

An Improved Fully Polynomial Randomized Approximation Scheme (FPRAS) for Counting the Number of Hamiltonian Cycles in Dense Digraphs

A new approach to model counting

FPRAS for the Potts Model and the Number of $k$-colorings.

1 2 Ja n 20 09 An Improved FPRAS for Counting the Number of Hamiltonian Cycles in Dense Digraphs

CCDD: A Tractable Representation for Model Counting and Uniform Sampling

Fractional Edge Cover Number of Model RB.

Extremal Binary PFAs with Small Number of States

Approximating Queries on Probabilistic Graphs

Learning Branching Heuristics for Propositional Model Counting