Partial matching width and its application to lower bounds for branching programs
share
We introduce a new structural graph parameter called partial matching width. For each (sufficiently large) integer k ≥ 1, we introduce a class G_k of graphs of treewidth at most k and max-degree 7 such that for each G ∈G_k and each (sufficiently large) V ⊆ V(G), the partial matching width of V is Ω(k |V|). We use the above lower bound to establish a lower bound on the size of non-deterministic read-once branching programs (NROBPs). In particular, for each sufficiently large ineteger k, we introduce a class Φ_k of CNFs of (primal graph) treewidth at most k such that for any φ∈Φ_k and any Boolean function F ⊆φ and such that |φ|/|F| ≤ 2^√(n) (here the functions are regarded as sets of assignments on which they are true), a NROBP implementing F is of size n^Ω(k). This result significantly generalises an earlier result of the author showing a non-FPT lower bound for NROBPs representing CNFs of bounded treewidth. Intuitively, we show that not only those CNFs but also their arbitrary one side approximations with an exponential ratio still attain that lower bound. The non-trivial aspect of this approximation is that due to a small number of satisfying assignments for F, it seems difficult to establish a large bottleneck: the whole function can `sneak' through a single rectangle corresponding to just one vertex of the purported bottleneck. We overcome this problem by simultaneously exploring √(n) bottlenecks and showing that at least one of them must be large. This approach might be useful for establishing other lower bounds for branching programs.
READ FULL TEXT