On the effect of randomness on planted 3-coloring models

Slides:



Advertisements
Similar presentations
Routing Complexity of Faulty Networks Omer Angel Itai Benjamini Eran Ofek Udi Wieder The Weizmann Institute of Science.
Advertisements

Gillat Kol joint work with Ran Raz Locally Testable Codes Analogues to the Unique Games Conjecture Do Not Exist.
On the Density of a Graph and its Blowup Raphael Yuster Joint work with Asaf Shapira.
Introduction to Kernel Lower Bounds Daniel Lokshtanov.
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm.
Heuristics for the Hidden Clique Problem Robert Krauthgamer (IBM Almaden) Joint work with Uri Feige (Weizmann)
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Information Networks Graph Clustering Lecture 14.
Online Social Networks and Media. Graph partitioning The general problem – Input: a graph G=(V,E) edge (u,v) denotes similarity between u and v weighted.
A polylogarithmic approximation of the minimum bisection Robert Krauthgamer The Hebrew University Joint work with Uri Feige.
Approximation Algorithms for Unique Games Luca Trevisan Slides by Avi Eyal.
Optimization of Pearl’s Method of Conditioning and Greedy-Like Approximation Algorithm for the Vertex Feedback Set Problem Authors: Ann Becker and Dan.
Artur Czumaj Dept of Computer Science & DIMAP University of Warwick Testing Expansion in Bounded Degree Graphs Joint work with Christian Sohler.
Complexity 15-1 Complexity Andrei Bulatov Hierarchy Theorem.
Why almost all k-colorable graphs are easy A. Coja-Oghlan, M. Krivelevich, D. Vilenchik.
(Omer Reingold, 2005) Speaker: Roii Werner TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A AA A A A A AA A.
Undirected ST-Connectivity 2 DL Omer Reingold, STOC 2005: Presented by: Fenghui Zhang CPSC 637 – paper presentation.
Validating Streaming XML Documents Luc Segoufin & Victor Vianu Presented by Harel Paz.
EXPANDER GRAPHS Properties & Applications. Things to cover ! Definitions Properties Combinatorial, Spectral properties Constructions “Explicit” constructions.
Message Passing for the Coloring Problem: Gallager Meets Alon and Kahale Sonny Ben-Shimon and Dan Vilenchik Tel Aviv University AofA June, 2007 TexPoint.
CSE 421 Algorithms Richard Anderson Lecture 4. What does it mean for an algorithm to be efficient?
Finding a maximum independent set in a sparse random graph Uriel Feige and Eran Ofek.
(work appeared in SODA 10’) Yuk Hei Chan (Tom)
Domain decomposition in parallel computing Ashok Srinivasan Florida State University COT 5410 – Spring 2004.
 Jim has six children.  Chris fights with Bob,Faye, and Eve all the time; Eve fights (besides with Chris) with Al and Di all the time; and Al and Bob.
Dense subgraphs of random graphs Uriel Feige Weizmann Institute.
Kernel Bounds for Structural Parameterizations of Pathwidth Bart M. P. Jansen Joint work with Hans L. Bodlaender & Stefan Kratsch July 6th 2012, SWAT 2012,
Approximating the Minimum Degree Spanning Tree to within One from the Optimal Degree R 陳建霖 R 宋彥朋 B 楊鈞羽 R 郭慶徵 R
Edge-disjoint induced subgraphs with given minimum degree Raphael Yuster 2012.
1 The number of orientations having no fixed tournament Noga Alon Raphael Yuster.
Graph Colouring L09: Oct 10. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including the famous.
Artur Czumaj DIMAP DIMAP (Centre for Discrete Maths and it Applications) Computer Science & Department of Computer Science University of Warwick Testing.
Great Theoretical Ideas in Computer Science for Some.
1 Distributed Vertex Coloring. 2 Vertex Coloring: each vertex is assigned a color.
COMPSCI 102 Introduction to Discrete Mathematics.
Theory of Computational Complexity Probability and Computing Chapter Hikaru Inada Iwama and Ito lab M1.
TU/e Algorithms (2IL15) – Lecture 11 1 Approximation Algorithms.
Data Structures and Algorithm Analysis Lecture 5
The NP class. NP-completeness
8.3.2 Constant Distance Approximations
New Characterizations in Turnstile Streams with Applications
Hans Bodlaender, Marek Cygan and Stefan Kratsch
Computability and Complexity
Haim Kaplan and Uri Zwick
Algorithms and Networks
June 2017 High Density Clusters.
Spectral Clustering.
Lecture 18: Uniformity Testing Monotonicity Testing
Structural Properties of Low Threshold Rank Graphs
James B. Orlin Presented by Tal Kaminker
Approximation Algorithms for TSP
The Art Gallery Problem
CSE 421: Introduction to Algorithms
Complexity 6-1 The Class P Complexity Andrei Bulatov.
Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen June 4th, WORKER 2015, Nordfjordeid, Norway.
The Art Gallery Problem
CIS 700: “algorithms for Big Data”
Bart M. P. Jansen June 3rd 2016, Algorithms for Optimization Problems
Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen February 18th, STACS 2016, Orléans, France.
CSCI B609: “Foundations of Data Science”
Raphael Yuster Haifa University Uri Zwick Tel Aviv University
Lecture 14 Shortest Path (cont’d) Minimum Spanning Tree
Discrete Mathematics for Computer Science
Clustering.
Lecture 14 Minimum Spanning Tree (cont’d)
Lecture 13 Shortest Path (cont’d) Minimum Spanning Tree
Instructor: Aaron Roth
Minimum Spanning Trees
Presentation transcript:

On the effect of randomness on planted 3-coloring models Uriel Feige Weizmann Institute Joint work with Roee David

3-coloring

3-coloring

NP-hard problems 3-coloring is NP-hard: for every polynomial time 3-coloring algorithm, there are (worst case) 3-colorable graphs on which it fails. We consider a framework that attempts to draw the line between easy and hard instances. Similar frameworks apply to other NP-hard problems.

Hosted coloring framework Involves two choices: A host graph H. A planted (not necessarily legal) coloring P. The input graph G is obtained by removing from H those edges monochromatic under P.

Choice of host graph H

Planted 3-coloring P

Illegal - monochromatic edges

Remove monochromatic edges

Remove colors →G

The algorithmic challenge The input is the graph G. (The algorithm never sees H or P.) The goal is to legally 3-color G in polynomial time. G may have several legal 3-colorings. There is no requirement to recover the planted 3-coloring P.

Different models within the framework Depending on how the host graph H and/or the planted coloring P are selected, the 3-coloring algorithmic challenge might be easy or hard. Example: if both H and P are selected arbitrarily by an adversary, 3-coloring is NP-hard.

The random planted 3-coloring model Host graph H is random 𝐺 𝑛,𝑝 . Planted 3-coloring P is random. Same as the 𝐺 𝑛,𝑝,𝑘 model of random k-colorable graphs introduced by Kucera [1977]. We use the notation 𝐺 𝑛,𝑑 where 𝑑=𝑝(𝑛−1) is the expected average degree. Our random version can be denoted as 𝐺 𝑛,𝑑,3 .

Alon and Kahale [1997] Theorem 1: A spectral algorithm finds the planted 3-coloring P whenever 𝑑>𝑐 log 𝑛 . Theorem 2: Even at smaller values of 𝑑, a regime in which P is no longer the unique 3-coloring, a polynomial time algorithm can find a legal 3-coloring, provided that 𝑑>𝑐. All results hold almost surely, for random choice of G and P.

Our questions Which aspects of randomness are needed for the Alon-Kahale result? Which aspects of randomness are needed for the host graph H? Does expansion suffice? Does the planted coloring P need to be random? Can we instead allow an adversary to choose it after seeing H?

Outline of talk Review the algorithm of Alon and Kahale, and sketch its analysis. Consider what changes when the host graph is an expander chosen by an adversary. Consider what changes when the planted coloring is adversarial. Open questions.

Notions of coloring P – the planted coloring. B-approximate coloring: not necessarily legal, and at most B vertices colored differently than in P. Safe B-partial coloring: all but at most B vertices colored as in P, and the remaining vertices are not colored (free). Legal coloring – not necessarily P.

Good and bad vertices A (roughly) d-regular host graph, a planted 3-coloring P. Good vertex: roughly d/3 neighbors of each color class. Lemma: if P is random, then number of bad vertices is B ≤ 𝑛 2 Ω(𝑑) .

Steps of Alon-Kahale algorithm Spectral clustering. (𝑂 𝑛 𝑑 -approximate coloring.) Local improvement. (𝑂 𝐵 -approximate coloring.) Cautious uncoloring. (Safe 𝑂 𝐵 -partial coloring.) Dynamic programming. (Legal coloring.)

Spectral clustering Let 𝜆 1 ≥ 𝜆 2 ≥⋯≥ 𝜆 𝑛 be the eigenvalues of the adjacency matrix* of 𝐺. Compute the eigenvectors corresponding to 𝜆 𝑛 , 𝜆 𝑛−1 . Gives an embedding (𝜆 𝑛 (𝑖) , 𝜆 𝑛−1 (𝑖)) of the vertex 𝑣 𝑖 on the plane. Cluster into three (illegal) color classes based on distance. Theorem: this gives an 𝑂 𝑛 𝑑 -approximate coloring.

An 𝑂 𝑛 𝑑 -approximate coloring (Green codes for agreeing with planted)

Local improvement Local improvement: move a vertex v from its current color class into a color class in which v has fewer neighbors. Perform local improvement steps (in parallel) until no longer possible. Theorem: this gives an 𝑂 𝐵 -approximate coloring. Recall: number of bad vertices is B ≤ 𝑛 2 Ω(𝑑) .

An 𝑂 𝑛 𝑑 -approximate coloring

An O(B)-approximate coloring

Cautious uncoloring A colored vertex is suspect in a partial coloring if it has fewer than d/6 neighbors in one of the other color classes. Iteratively, uncolor suspect vertices, making them free. Theorem: this results in a safe 𝑂 𝐵 -partial coloring.

An O(B)-approximate coloring

A safe O(B)-partial coloring

Dynamic programming Given the safe partial coloring, it remains to color only the free vertices. The number of free vertices is O(B) ≤ 𝑛 2 Ω(𝑑) . If the free vertices were random, they would almost surely decompose into small connected components. Theorem: w.h.p., there is no connected component of free vertices of size larger than 𝑂( 𝑙𝑜𝑔 𝑑 𝑛). Extend the partial coloring to each component separately by exhaustive search. Because partial coloring is safe, we knows that free vertices are 3-coloring. (Size alone does not imply that treewidth is bounded? Takes cycles and connect by paths. Cannot remove nodes of degree 2 – list coloring.)

A safe O(B)-partial coloring

A legal coloring

Summary of Alon-Kahale algorithm Spectral clustering. (𝑂 𝑛 𝑑 -approximate coloring.) Local improvement. (𝑂 𝐵 -approximate coloring.) Cautious uncoloring. (Safe 𝑂 𝐵 -partial coloring.) Dynamic programming. (Legal coloring.)

Does the host graph need to be random? The first step (spectral clustering) hinges on 𝜆 𝑛 𝐻 ≫− 𝑑 3 (equivalently, |𝜆 𝑛 𝐻 |≪ 𝑑 3 ). The analysis of other steps (local improvement) uses expansion of H. This is captured by requiring 𝜆 2 𝐻 ≪𝑑. Let 𝜆=min⁡[ 𝜆 2 𝐻 ,| 𝜆 𝑛 𝐻 |]. Suppose that an adversary is allowed to pick H arbitrarily with 𝜆< 𝑑 30 (spectral expander), and P is random. Can one still 3-color such graphs?

Algorithm for 3-coloring with spectral expander host graph Spectral clustering. (𝑂 𝑛 𝑑 -approximate coloring.) Local improvement. (𝑂 𝐵 -approximate coloring.) Cautious uncoloring. (Safe 𝑂 𝐵 -partial coloring.) Dynamic programming. (Legal coloring.)

Our algorithm for spectral expander host graph follows the same steps as the algorithm of Alon and Kahale. Some of the details of how the steps are implemented differ. Differences in the analysis – it has to work with only relatively mild expansion, and no randomness assumptions on the host graph H.

The safe O(B)-partial coloring

Perhaps the most complicated proof in [Alon and Kahale 1997] Thm: W.h.p. over choice of random host graph and planted coloring, after the cautious uncoloring step, there is no connected component of free vertices of size larger than 𝑂( log 𝑛 ). We circumvent the need for the above theorem.

Even if connected components of free vertices have arbitrary sizes, we complete the partial coloring to a legal one

Safe recoloring Iteratively, if a free vertex v has (non-free) neighbors of two different colors, color v by the remaining color, and make v non-free.

New theorem When safe recoloring is no longer possible, connected components of free vertices have sizes 𝑂( 𝜆 𝑑 2 log 𝑛 ). Our proof uses only randomness of the planted 3-coloring P, not of the host graph H. Easy if H is a strong expander 𝜆= 𝑂 𝑑 . Clever if H is a mild expander 𝜆=𝑐𝑑.

Does the planted coloring P need to be random? First a host graph H is selected. Then, after seeing H, an adversary selects a balanced 3-coloring P, and removes all monochromatic edges.

Good and bad vertices A d-regular host graph, a planted 3-coloring P. Good vertex: roughly d/3 neighbors of each color class. Lemma: if P is adversarial, then number of bad vertices is B ≤𝑂( 𝜆 𝑑 2 𝑛). Recall: B ≤ 𝑛 2 Ω(𝑑) for random P.

Algorithm for 3-coloring: adversarial expander H and adversarial P Spectral clustering. (𝑂 𝜆 𝑑 𝑛 -approximate coloring, instead of 𝑂 𝑛 𝑑 .) Local improvement. (𝑂 𝐵 -approximate coloring, but for B=𝑂( 𝜆 𝑑 2 𝑛).) Cautious uncoloring. (Safe 𝑂 𝐵 -partial coloring.) Dynamic programming. (Legal coloring.)

Running time The first three steps take polynomial time as before. Does the last step, dynamic programming, take polynomial time? Having already colored 𝑛 −𝑂( 𝜆 𝑑 2 𝑛) vertices exactly as the planted coloring P, how difficult can it be to color the remaining vertices?

Main hardness result Theorem: Even if the host graph H is a random 𝐺 𝑛,𝑑 graph, if the planted balanced 3-coloring P is adversarial, then 3-coloring the resulting graph G is NP-hard. (Our proof requires 𝑑= 𝑛 𝛿 for 0.4< 𝛿<0.5.) A rare example where NP-hardness can be proved on instances that are mostly random.

Proof sketch Suppose that algorithm ALG 3-colors graphs G generated from any random 𝐺 𝑛,𝑑 graph H and any balanced planted 3-coloring P. Let Q be a small sparse “NP-hard” graph that one wishes to 3-color. Show that ALG can also color Q. Why would ALG color Q?

Input to ALG Z’ (3-colorable) Q (NP-hard graph) 𝐺 𝑛 ′ ,𝑑,3

Is H a random graph? Z (random) Q (NP-hard)

3-colorable graph 𝑄 on 𝑛 𝜀 vertices. Adversary: on input 𝐻 from 𝐺 𝑛,𝑑 , find a copy of 𝑄 in 𝐻. Plant in 𝐻−𝑄 a 3-coloring, agreeing with colors of neighbors in 𝑄. Simulation: a disjoint union of 𝑄 and 𝐺 𝑛 ′ ,𝑑,3 . Adversary feasible iff 𝑑< 𝑛 0.5−𝜀 and 𝑄 is sparse. 3-coloring is NP-hard if 𝑄 is not too sparse.

NP-hardness proof Main lemma: Graph G obtained by: random 𝐺 𝑛,𝑝 graph with adversarially planted 3-coloring P is statistically indistinguishable from the disjoint union of: balanced graph Q of average degree 3.75 (which is NP-hard to 3-color) and random 𝐺 𝑛 ′ ,𝑑,3 graph Z’.

Summary Random P Adversarial balanced P Random H Alon and Kahale 1997 ? Adversarial expander H

Spectral Techniques Approx coloring Random P Adversarial balanced P Random H Adversarial expander H

Plus combinatorial techniques Safe partial coloring Random P Adversarial balanced P Random H Adversarial expander H

? ? NP-hardness kicks in Legal coloring Random P Adversarial balanced P Random H Adversarial expander H ? ?

Open questions Are there polynomial time 3-coloring algorithms for the following settings: The host graph H is a random 𝐺 𝑛,𝑑 graph with 𝑑= 𝑛 1/4 and the planted 3-coloring P is adversarial. The host graph H is arbitrary, and the planted 3-coloring P is random.

Thank you