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.

Syntactic Complexity of Circular Semi-Flower Automata

On the Synchronization of Circular Semi-Flower Automata

The Holonomy Decomposition of Circular Semi-Flower Automata

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

Generalized Circular One-Way Jumping Finite Automata

The Complexity of Satisfiability Checking for Symbolic Finite Automata

Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata

Proof complexity of positive branching programs

Descriptional Complexity of Finite Automata -- Selected Highlights

The Rank and Hanna Neumann Property of Some Submonoids of a Free Monoid

Constructive Analysis of S1S and Büchi Automata

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

Semisimplicity of certain representation categories

Evaluating Datalog via Tree Automata and Cycluits

Automating the stable rank computation for special biserial algebras

Free submonoids of hyperbolic monoids

Long-time behaviour of supercritical finite circular mechanism branching processes

Essential Semigroups and Branching Rules

Cyclic Implicit Complexity

Submodel Enumeration for CTL Is Hard

Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations