scholarly journals On the Power of Symmetric Linear Programs

2021 ◽  
Vol 68 (4) ◽  
pp. 1-35
Author(s):  
Albert Atserias ◽  
Anuj Dawar ◽  
Joanna Ochremiak
Keyword(s):  
Blow Up ◽  
Upper And Lower Bounds ◽  
Boolean Circuits ◽  
Linear Programs ◽  
Integer Points ◽  
Relational Structures ◽  
Polynomial Size ◽  
Compare And Contrast ◽  
Exponential Size ◽  
Planted Clique

We consider families of symmetric linear programs (LPs) that decide a property of graphs (or other relational structures) in the sense that, for each size of graph, there is an LP defining a polyhedral lift that separates the integer points corresponding to graphs with the property from those corresponding to graphs without the property. We show that this is equivalent, with at most polynomial blow-up in size, to families of symmetric Boolean circuits with threshold gates. In particular, when we consider polynomial-size LPs, the model is equivalent to definability in a non-uniform version of fixed-point logic with counting (FPC). Known upper and lower bounds for FPC apply to the non-uniform version. In particular, this implies that the class of graphs with perfect matchings has polynomial-size symmetric LPs, while we obtain an exponential lower bound for symmetric LPs for the class of Hamiltonian graphs. We compare and contrast this with previous results (Yannakakis 1991), showing that any symmetric LPs for the matching and TSP polytopes have exponential size. As an application, we establish that for random, uniformly distributed graphs, polynomial-size symmetric LPs are as powerful as general Boolean circuits. We illustrate the effect of this on the well-studied planted-clique problem.

Estimates of blow-up time for a non-local problem modelling an Ohmic heating process

2002 ◽  
Vol 13 (3) ◽  
pp. 337-351 ◽  
Author(s):  
N. I. KAVALLARIS ◽  
C. V. NIKOLOPOULOS ◽  
D. E. TZANETIS
Keyword(s):  
Blow Up ◽  
Ohmic Heating ◽  
Numerical Estimate ◽  
Initial Boundary ◽  
Initial Boundary Value Problem ◽  
Stationary Solutions ◽  
Upper And Lower Bounds ◽  
Heating Process ◽  
Non Local ◽  
Initial Boundary Value

We consider an initial boundary value problem for the non-local equation, ut = uxx+λf(u)/(∫1-1f (u)dx)2, with Robin boundary conditions. It is known that there exists a critical value of the parameter λ, say λ*, such that for λ > λ* there is no stationary solution and the solution u(x, t) blows up globally in finite time t*, while for λ < λ* there exist stationary solutions. We find, for decreasing f and for λ > λ*, upper and lower bounds for t*, by using comparison methods. For f(u) = e−u, we give an asymptotic estimate: t* ∼ tu(λ−λ*)−1/2 for 0 < (λ−λ*) [Lt ] 1, where tu is a constant. A numerical estimate is obtained using a Crank-Nicolson scheme.

Lower Bounds on OBDD Proofs with Several Orders

2021 ◽  
Vol 22 (4) ◽  
pp. 1-30
Author(s):  
Sam Buss ◽  
Dmitry Itsykson ◽  
Alexander Knop ◽  
Artur Riazanov ◽  
Dmitry Sokolov
Keyword(s):  
Lower Bound ◽  
Lower Bounds ◽  
Communication Complexity ◽  
Multiparty Communication ◽  
Constant Degree ◽  
Polynomial Size ◽  
Explicit Constant ◽  
Open Question ◽  
System 1 ◽  
Exponential Size

This article is motivated by seeking lower bounds on OBDD(∧, w, r) refutations, namely, OBDD refutations that allow weakening and arbitrary reorderings. We first work with 1 - NBP ∧ refutations based on read-once nondeterministic branching programs. These generalize OBDD(∧, r) refutations. There are polynomial size 1 - NBP(∧) refutations of the pigeonhole principle, hence 1-NBP(∧) is strictly stronger than OBDD}(∧, r). There are also formulas that have polynomial size tree-like resolution refutations but require exponential size 1-NBP(∧) refutations. As a corollary, OBDD}(∧, r) does not simulate tree-like resolution, answering a previously open question. The system 1-NBP(∧, ∃) uses projection inferences instead of weakening. 1-NBP(∧, ∃ k is the system restricted to projection on at most k distinct variables. We construct explicit constant degree graphs G n on n vertices and an ε > 0, such that 1-NBP(∧, ∃ ε n ) refutations of the Tseitin formula for G n require exponential size. Second, we study the proof system OBDD}(∧, w, r ℓ ), which allows ℓ different variable orders in a refutation. We prove an exponential lower bound on the complexity of tree-like OBDD(∧, w, r ℓ ) refutations for ℓ = ε log n , where n is the number of variables and ε > 0 is a constant. The lower bound is based on multiparty communication complexity.

scholarly journals BÜCHI COMPLEMENTATION MADE TIGHTER

2006 ◽  
Vol 17 (04) ◽  
pp. 851-867 ◽  
Author(s):  
EHUD FRIEDGUT ◽  
ORNA KUPFERMAN ◽  
MOSHE Y. VARDI
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Blow Up ◽  
Careful Analysis ◽  
Point Of View ◽  
Upper And Lower Bounds ◽  
Theoretical Point ◽  
Infinite Words ◽  
Büchi Automata ◽  
Buchi Automata

The complementation problem for nondeterministic word automata has numerous applications in formal verification. In particular, the language-containment problem, to which many verification problems is reduced, involves complementation. For automata on finite words, which correspond to safety properties, complementation involves determinization. The 2n blow-up that is caused by the subset construction is justified by a tight lower bound. For Büchi automata on infinite words, which are required for the modeling of liveness properties, optimal complementation constructions are quite complicated, as the subset construction is not sufficient. From a theoretical point of view, the problem is considered solved since 1988, when Safra came up with a determinization construction for Büchi automata, leading to a 2O(n log n) complementation construction, and Michel came up with a matching lower bound. A careful analysis, however, of the exact blow-up in Safra's and Michel's bounds reveals an exponential gap in the constants hiding in the O( ) notations: while the upper bound on the number of states in Safra's complementary automaton is n2n, Michel's lower bound involves only an n! blow up, which is roughly (n/e)n. The exponential gap exists also in more recent complementation constructions. In particular, the upper bound on the number of states in the complementation construction of Kupferman and Vardi, which avoids determinization, is (6n)n. This is in contrast with the case of automata on finite words, where the upper and lower bounds coincides. In this work we describe an improved complementation construction for nondeterministic Büchi automata and analyze its complexity. We show that the new construction results in an automaton with at most (0.96n)n states. While this leaves the problem about the exact blow up open, the gap is now exponentially smaller. From a practical point of view, our solution enjoys the simplicity of the construction of Kupferman and Vardi, and results in much smaller automata.

EFFICIENT DETECTORS AND CONSTRUCTORS FOR SIMPLE LANGUAGES

1991 ◽  
Vol 02 (03) ◽  
pp. 183-205 ◽  
Author(s):  
Dung T. Huynh
Keyword(s):  
Finite Automata ◽  
Boolean Circuits ◽  
Turing Machines ◽  
Constant Depth ◽  
Pushdown Automaton ◽  
Polynomial Size ◽  
Regular Sets ◽  
Context Free ◽  
Pushdown Automata ◽  
Nondeterministic Logspace

In this paper, we investigate the complexity of computing the detector, constructor and lexicographic constructor functions for a given language. The following classes of languages will be considered: (1) context-free languages, (2) regular sets, (3) languages accepted by one-way nondeterministic auxiliary pushdown automata, (4) languages accepted by one-way nondeterministic logspace-bounded Turing machines, (5) two-way deterministic pushdown automaton languages, (6) languages accepted by uniform families of constant-depth polynomial-size Boolean circuits, and (7) languages accepted by multihead finite automata. We show that for the classes (1)–(4), efficient detectors, constructors and lexicographic constructors exist, whereas for (5)– (7) polynomial-time computable detectors, constructors and lexicographic constructors exist iff there are no sparse sets in NP−P (or equivalently, E=NE). Our results provide sharp boundaries between classes of languages which have efficient detectors, constructors and classes of languages for which efficient detectors and constructors do not appear to exist.

scholarly journals Polynomial size linear programs for problems in P

2019 ◽  
Vol 265 ◽  
pp. 22-39
Author(s):  
David Avis ◽  
David Bremner ◽  
Hans Raj Tiwary ◽  
Osamu Watanabe
Keyword(s):  
Linear Programs ◽  
Polynomial Size

scholarly journals A Complexity Gap for Tree-Resolution

1999 ◽  
Vol 6 (29) ◽  
Author(s):  
Søren Riis
Keyword(s):  
Predicate Logic ◽  
Proof Complexity ◽  
Polynomial Size ◽  
Combinatorial Principles ◽  
Resolution Proofs ◽  
Symmetrical Group ◽  
Tree Resolution ◽  
Single Proposition ◽  
Exponential Size ◽  
Recent Idea

<p>It is shown that any sequence  psi_n of tautologies which expresses the<br />validity of a fixed combinatorial principle either is "easy" i.e. has polynomial<br />size tree-resolution proofs or is "difficult" i.e requires exponential<br />size tree-resolution proofs. It is shown that the class of tautologies which<br />are hard (for tree-resolution) is identical to the class of tautologies which<br />are based on combinatorial principles which are violated for infinite sets.<br />Actually it is shown that the gap-phenomena is valid for tautologies based<br />on infinite mathematical theories (i.e. not just based on a single proposition).<br />We clarify the link between translating combinatorial principles (or<br />more general statements from predicate logic) and the recent idea of using<br /> the symmetrical group to generate problems of propositional logic.<br />Finally, we show that it is undecidable whether a sequence  psi_n (of the<br />kind we consider) has polynomial size tree-resolution proofs or requires<br />exponential size tree-resolution proofs. Also we show that the degree of<br />the polynomial in the polynomial size (in case it exists) is non-recursive,<br />but semi-decidable.</p><p>Keywords: Logical aspects of Complexity, Propositional proof complexity,<br />Resolution proofs.</p><p> </p>

Worst Case Branching and Other Measures of Nondeterminism

2017 ◽  
Vol 28 (03) ◽  
pp. 195-210 ◽  
Author(s):  
Alexandros Palioudakis ◽  
Kai Salomaa ◽  
Selim G. Akl
Keyword(s):  
Blow Up ◽  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Tight Bound ◽  
Worst Case ◽  
Number Of Leaves ◽  
Tree Width ◽  
Computation Trees ◽  
Finite Trace ◽  
Nondeterministic Finite Automaton

Many nondeterminism measures for finite automata have been studied in the literature. The tree width of an NFA (nondeterministic finite automaton) counts the number of leaves of computation trees as a function of input length. The trace of an NFA is defined in terms of the largest product of the degrees of nondeterministic choices in computations on inputs of given length. Branching is the corresponding best case measure based on the product of nondeterministic choices in the computation that minimizes this value. We establish upper and lower bounds for the trace of an NFA in terms of its tree width. We give a tight bound for the size blow-up of determinizing an NFA with finite trace. Also we show that the trace of any NFA either is bounded by a constant or grows exponentially.

Structured pigeonhole principle, search problems and hard tautologies

2005 ◽  
Vol 70 (2) ◽  
pp. 619-630 ◽  
Author(s):  
Jan Krajíček
Keyword(s):  
Proof Complexity ◽  
Proof System ◽  
Search Problem ◽  
Ramsey Property ◽  
Relational Structures ◽  
Proof Systems ◽  
Polynomial Size ◽  
Hashing Function ◽  
The Universe ◽  
Study Behaviour

AbstractWe consider exponentially large finite relational structures (with the universe {0, 1}n) whose basic relations are computed by polynomial size (nO(1)) circuits. We study behaviour of such structures when pulled back by P/poly maps to a bigger or to a smaller universe. In particular, we prove that:1. If there exists a P/poly map g: {0, 1}n → {0, 1}m, n < m, iterable for a proof system then a tautology (independent of g) expressing that a particular size n set is dominating in a size 2n tournament is hard for the proof system.2. The search problem WPHP. decoding RSA or finding a collision in a hashing function can be reduced to finding a size m homogeneous subgraph in a size 22m graph.Further we reduce the proof complexity of a concrete tautology (expressing a Ramsey property of a graph) in strong systems to the complexity of implicit proofs of implicit formulas in weak proof systems.

Sign in / Sign up

Export Citation Format

Share Document