Results 1  10
of
11
A Combinatorial Characterization of Resolution Width
 In 18th IEEE Conference on Computational Complexity
, 2002
"... We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context of finite model theory. The characterization is tight and purely combinatorial. Our first application of this result i ..."
Abstract

Cited by 34 (4 self)
 Add to MetaCart
We provide a characterization of the resolution width introduced in the context of propositional proof complexity in terms of the existential pebble game introduced in the context of finite model theory. The characterization is tight and purely combinatorial. Our first application of this result is a surprising proof that the minimum space of refuting a 3CNF formula is always bounded from below by the minimum width of refuting it (minus 3). This solves a wellknown open problem. The second application is the unification of several width lower bound arguments, and a new width lower bound for the Dense Linear Order Principle. Since we also show that this principle has resolution refutations of polynomial size, this provides yet another example showing that the sizewidth relationship is tight.
Some Aspects of Model Theory and Finite Structures
, 2002
"... this paper is to highlight some of these aspects of the model theory of nite structures, where the nite and in nite interact fruitfully, in order to dispel the perhaps too common perception that ( rstorder) model theory has little to say about nite structures ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
this paper is to highlight some of these aspects of the model theory of nite structures, where the nite and in nite interact fruitfully, in order to dispel the perhaps too common perception that ( rstorder) model theory has little to say about nite structures
On the ConstantDepth Complexity of kClique
"... We prove a lower bound of ω(n k/4) on the size of constantdepth circuits solving the kclique problem on nvertex graphs (for every constant k). This improves a lower bound of ω(n k/89d2) due to Beame where d is the circuit depth. Our lower bound has the advantage that it does not depend on the cons ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
We prove a lower bound of ω(n k/4) on the size of constantdepth circuits solving the kclique problem on nvertex graphs (for every constant k). This improves a lower bound of ω(n k/89d2) due to Beame where d is the circuit depth. Our lower bound has the advantage that it does not depend on the constant d in the exponent of n, thus breaking the mold of the traditional sizedepth tradeoff. Our kclique lower bound derives from a stronger result of independent interest. Suppose fn: {0, 1} (n2) − → {0, 1} is a sequence of functions computed by constantdepth circuits of size O(n t). Let G be an ErdősRényi random graph with vertex set {1,..., n} and independent edge probabilities n −α where α ≤ 1 2t−1. Let A be a uniform random kelement subset of {1,..., n} (where k is any constant independent of n) and let KA denote the clique supported on A. We prove that fn(G) = fn(G ∪ KA) asymptotically almost surely. These results resolve a longstanding open question in finite model theory (going back at least to Immerman in 1982). The mvariable fragment of firstorder logic, denoted by FO m, consists of the firstorder sentences which involve at most m variables. Our results imply that the bounded variable hierarchy FO 1 ⊂ FO 2 ⊂ · · · ⊂ FO m ⊂ · · · is strict in terms of expressive power on finite ordered graphs. It was previously unknown that FO 3 is less expressive than full firstorder logic on finite ordered graphs.
Averagecase complexity of detecting cliques
, 2010
"... The computational problem of testing whether a graph contains a complete subgraph of size k is among the most fundamental problems studied in theoretical computer science. This thesis is concerned with proving lower bounds for kClique, as this problem is known. Our results show that, in certain mod ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
The computational problem of testing whether a graph contains a complete subgraph of size k is among the most fundamental problems studied in theoretical computer science. This thesis is concerned with proving lower bounds for kClique, as this problem is known. Our results show that, in certain models of computation, solving kClique in the average case requires Ω(n k/4) resources (moreover, k/4 is tight). Here the models of computation are boundeddepth Boolean circuits and unboundeddepth monotone circuits, the complexity measure is the number of gates, and the input distributions are random graphs with an appropriate density of edges. Such random graphs (the wellstudied ErdősRényi graphs) are widely believed to be a source of computationally hard instances for clique problems, a hypothesis first articulated by Karp in 1976. This thesis gives the first unconditional lower bounds supporting this hypothesis. Significantly, our result for boundeddepth Boolean circuits breaks out of the traditional
Logical complexity of graphs: a survey
 CONTEMPORARY MATHEMATICS
, 2004
"... We discuss the definability of finite graphs in firstorder logic with two relation symbols for adjacency and equality of vertices. The logical depth D(G) of a graph G is equal to the minimum quantifier depth of a sentence defining G up to isomorphism. The logical width W(G) is the minimum number of ..."
Abstract
 Add to MetaCart
We discuss the definability of finite graphs in firstorder logic with two relation symbols for adjacency and equality of vertices. The logical depth D(G) of a graph G is equal to the minimum quantifier depth of a sentence defining G up to isomorphism. The logical width W(G) is the minimum number of variables occurring in such a sentence. The logical length L(G) is the length of a shortest defining sentence. We survey known estimates for these graph parameters and discuss their relations to other topics (such as the efficiency of the WeisfeilerLehman algorithm in isomorphism testing, the evolution of a random graph, quantitative characteristics of the zeroone law, or the contribution of Frank Ramsey to the research on Hilbert’s Entscheidungsproblem). Also, we trace the behavior of the descriptive complexity of a graph as the logic becomes more restrictive (for example, only definitions with a bounded number of variables or quantifier alternations are allowed) or more expressible
SOME CONNECTIONS BETWEEN FINITE AND INFINITE MODEL THEORY
"... Most of the work in model theory has, so far, considered infinite structures and the methods and results that have been worked out in this context can usually not be transferred to the study of finite structures in any obvious way; in addition, some basic results from infinite model theory fail with ..."
Abstract
 Add to MetaCart
Most of the work in model theory has, so far, considered infinite structures and the methods and results that have been worked out in this context can usually not be transferred to the study of finite structures in any obvious way; in addition, some basic results from infinite model theory fail within the context of finite models. The theory about finite structures has
THEORIES IN FINITE MODEL THEORY
, 1999
"... First order theories arise in finite model theory as `limit theories'. For example the almost sure theory of finite Lstructures is (in the presence of a 01 law) a complete first order theory. In [2] we have exploited stability theoretic properties of the almost sure theory to answer questions ..."
Abstract
 Add to MetaCart
First order theories arise in finite model theory as `limit theories'. For example the almost sure theory of finite Lstructures is (in the presence of a 01 law) a complete first order theory. In [2] we have exploited stability theoretic properties of the almost sure theory to answer questions about various logics on the finite structures. Here, however, we want to discuss theories with finite models. 1 Lntheories What classes of finite models admit a structure theory which it is profitable to study? We need a notion of complete theory which is both sufficiently weak it must admit arbitrarily large finite models that there is something to study and sufficiently strong that one can say something about the class of models. Our candidate is a complete theory in Ln: logic with nvariables. The similarity of the models of such a theory is guaranteed because they are equivalent with 1 respect to n pebble games. Such works as [5, 7, 6, 1, 9, 10, 16] began the development of `Vaughtstyle ' model theory for finite variable logic.
The expressive power of twovariable least fixedpoint logics
, 2005
"... The present paper gives a classification of the expressive power of twovariable least fixedpoint logics. The main results are: 1. The twovariable fragment of monadic least fixedpoint logic with parameters is as expressive as full monadic least fixedpoint logic (on binary structures). 2. The tw ..."
Abstract
 Add to MetaCart
The present paper gives a classification of the expressive power of twovariable least fixedpoint logics. The main results are: 1. The twovariable fragment of monadic least fixedpoint logic with parameters is as expressive as full monadic least fixedpoint logic (on binary structures). 2. The twovariable fragment of monadic least fixedpoint logic without parameters is as expressive as the twovariable fragment of binary least fixedpoint logic without parameters. 3. The twovariable fragment of binary least fixedpoint logic with parameters is strictly more expressive than the twovariable fragment of monadic least fixedpoint logic with parameters (even on finite strings).
The Computational Complexity Column
, 1998
"... Introduction Investigation of the measuretheoretic structure of complexity classes began with the development of resourcebounded measure in 1991 [56]. Since that time, a growing body of research by more than forty scientists around the world has shown resourcebounded measure to be a powerful too ..."
Abstract
 Add to MetaCart
Introduction Investigation of the measuretheoretic structure of complexity classes began with the development of resourcebounded measure in 1991 [56]. Since that time, a growing body of research by more than forty scientists around the world has shown resourcebounded measure to be a powerful tool that sheds new light on many aspects of computational complexity. Recent survey papers by Lutz [60], AmbosSpies and Mayordomo [3], and Buhrman and Torenvliet [22] describe many of the achievements of this line of inquiry. In this column, we give a more recent snapshot of resourcebounded measure, focusing not so much on what has been achieved to date as on what we hope will be achieved in the near future. Section 2 below gives a brief, nontechnical overview of resourcebounded measure in terms of its motivation and principal ideas. Sections 3, 4, and 5 describe twelve specific open problems in the area. We have used the following three criteria in choosing these problems. 1. Their