Advertisement

A Tight Upper Bound on the Number of Variables for Average-Case k-Clique on Ordered Graphs

  • Benjamin Rossman
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7456)

Abstract

A first-order sentence ϕ defines k-clique in the average-case if
$$ \lim_{n\to\infty} \Pr_{G = G(n,p)} \big[G \models \varphi \,\Leftrightarrow\, G \text{ contains a $k$-clique}\big] = 1 $$
where G = G(n,p) is the Erdős-Rényi random graph with p (= p(n)) the exact threshold such that \(\Pr[G(n,p)\) has a k-clique] = 1/2. We are interested in the question: How many variables are required to define average-case k-clique in first-order logic? Here we consider first-order logic in vocabularies which, in addition to the adjacency relation of G, may include fixed “background” relations on the vertex set {1,…,n} (for example, linear order). Some previous results on this question:
  • With no background relations, k/2 variables are necessary and k/2 + O(1) variables are sufficient (Ch. 6 of [7]).

  • With arbitrary background relations, k/4 variables are necessary [6].

  • With arithmetic background relations (<, +, ×), k/4 + O(1) variables are sufficient (Amano [1]).

In this paper, we tie up a loose end (matching the lower bound of [6] and improving the upper bound of [1]) by showing that k/4 + O(1) variables are sufficient with only a linear order in the background.

Keywords

Linear Order Random Graph Common Neighbor Adjacency Relation Background Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Amano, K.: k-Subgraph isomorphism on AC0 circuits. Computational Complexity 19(2), 183–210 (2010)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Dawar, A.: How many first-order variables are needed on finite ordered structures? In: We Will Show Them: Essays in Honour of Dov Gabbay, pp. 489–520 (2005)Google Scholar
  3. 3.
    Immerman, N.: Descriptive Complexity. Graduate Texts in Computer Science. Springer, New York (1999)zbMATHCrossRefGoogle Scholar
  4. 4.
    Janson, S., Łuczak, T., Ruciński, A.: Random Graphs. John Wiley (2000)Google Scholar
  5. 5.
    Poizat, B.: Deux ou trois choses que je sais de L n. Journal of Symbolic Logic 47(3), 641–658 (1982)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Rossman, B.: On the constant-depth complexity of k-clique. In: STOC 2008: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, pp. 721–730 (2008)Google Scholar
  7. 7.
    Rossman, B.: Average-Case Complexity of Detecting Cliques. PhD thesis. MIT (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Benjamin Rossman
    • 1
  1. 1.Tokyo Institute of TechnologyMeguro-kuJapan

Personalised recommendations