Computer Science > Discrete Mathematics
[Submitted on 11 Jan 2013 (this version), latest version 27 Jun 2014 (v3)]
Title:Clique versus Independent Set
View PDFAbstract:Yannakakis' Clique versus Independent Set problem (CL-IS) in communication complexity asks for the minimum number of cuts separating cliques from stable sets in a graph, called CS-separator. This question arises in the study of extended formulations of the stable set polytope of perfect graphs. Yannakakis provided a quasi-polynomial CS-separator, i.e. of size O(n^log n), and address the problem of finding a polynomial CS-separator. This question is still open for general graphs (for which a negative answer is likely) and for perfect graphs. The natural class of hard instances coming to mind for CL-IS is random graphs. We show that a O(n^7) CS-separator almost surely exists for these. Besides, some classes of graphs are known to have a polynomial CS-separator, for instance t-perfect graphs (Lovász) and comparability graphs (Yannakakis). We show here that if H is a split graph (i.e. has a vertex-partition into a clique and a stable set) then there exists a constant c_H for which we find a O(n^c_H) CS-separator on the class of H-free graphs. This generalizes Yannakakis' result since comparability graphs avoid a specific split graph H (a triangle with three pending edges). One of the main reason why CL-IS is fascinating is that it admits equivalent formulations. Our main result in this respect is to show that a polynomial CS-separator is equivalent to the polynomial Alon-Saks-Seymour Conjecture, asserting that if a graph has an edge-partition into k complete bipartite graphs, then its chromatic number is polynomially bounded in terms of k. A lower bound of O(k^6/5) was provided by Huang and Sudakov for this problem. We also show that the classical approach to the stubborn problem (arising in CSP) which leads to a quasi-polynomial time algorithm by covering the set of all solutions by O(n^log n) instances of 2-SAT is again equivalent to the existence of a polynomial CS-separator.
Submission history
From: Aurélie Lagoutte [view email][v1] Fri, 11 Jan 2013 12:22:54 UTC (356 KB)
[v2] Mon, 18 Mar 2013 12:48:43 UTC (357 KB)
[v3] Fri, 27 Jun 2014 08:04:22 UTC (670 KB)
Current browse context:
cs.DM
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.