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

Igor Razgon

DOI: https://doi.org/10.1016/j.dam.2024.09.028

IF: 1.254

2024-10-10

Discrete Applied Mathematics

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.

mathematics, applied