Parameters of Two-Prover-One-Round Game and The Hardness of - - PowerPoint PPT Presentation

parameters of two prover one round game and the hardness
SMART_READER_LITE
LIVE PREVIEW

Parameters of Two-Prover-One-Round Game and The Hardness of - - PowerPoint PPT Presentation

Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems Bundit Laekhanukit McGill University 1 This Talk Investigate the connection between 2-Prover-1-Round Game (2P1R) and Hardness of Approximating


slide-1
SLIDE 1

1

Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems

Bundit Laekhanukit McGill University

slide-2
SLIDE 2

2

This Talk

  • Investigate the connection between

– 2-Prover-1-Round Game (2P1R) and – Hardness of Approximating Connectivity Problems

  • Investigate recent technology in 2P1R

– 2P1R with small alphabets, degree reduction, random sampling

  • Improve Hardness of Approximating:

– Rooted k-Connectivity – Vertex Connectivity Survivable Network Design (VC-SNDP) – Vertex Connectivity k-Route Cut (VC k-Route Cut)

slide-3
SLIDE 3

3

Motivated by an attempt to improve hardness of Rooted k-Connectivty

slide-4
SLIDE 4

4

Background & Motivation

  • Hardness factor of approximating Rooted k-Connectivity and

several problems depend on parameters of the Label-Cover problem (a.k.a, 2P1R).

  • Attempts to improve hardness factor require optimizing the

parameters of Label-Cover.

  • Techniques for optimizing parameters of 2P1R are known in

PCP community but not in APPROX community.

PCP = Probabilistic Checkable Proof / APPROX = Approximation Algorithm

slide-5
SLIDE 5

5

Two Communities view things in different ways

slide-6
SLIDE 6

6

Two Communites

PCP Community

(complexity)

– View 2P1R as

2-Query PCP

– Know:

  • Techniques for
  • ptimizing parameters
  • f 2P1R

– Obsecure:

  • Applications of
  • ptimizing parameters

Approx Community

(algorithm)

– View 2P1R as

Label-Cover

– Know:

  • Reductions from

Label-Cover to connectivty problems

– Obsecure:

  • PCP techniques and

recent progress

slide-7
SLIDE 7

7

2-Prover-1-Round Game (2P1R)

Proof System: 1 Verifier and 2 Provers. Provers want to convince that a proof is valid.

Prover 1 Prover 2

No Cooperation

Verifier

slide-8
SLIDE 8

8

2-Prover-1-Round Game (2P1R)

Protocol:(1) Verifier asks each prover one question. (2) Each prover answers the question

Prover 1 Prover 2

No Cooperation

Verifier

Ask 1 question Ask 1 question

slide-9
SLIDE 9

9

2-Prover-1-Round Game (2P1R)

Protocol:(1) Verifier asks each prover one question. (2) Each prover answers the question.

Prover 1 Prover 2

No Cooperation

Verifier

Give an answer Give an answer

slide-10
SLIDE 10

10

2-Prover-1-Round Game (2P1R)

Protocol: The Verifier accepts the proof. ⇔ Two answers are valid and consistent. Prover 1 Prover 2

No Cooperation

Verifier

Give an answer Give an answer Accept / Reject

slide-11
SLIDE 11

11

Approx Views 2P1R as Label-Cover

slide-12
SLIDE 12

12

Label-Cover

set of colors L e

  • We wish to color (label) vertices of a bipartite graph to satisfy

admissible color pairs (constraint) on each edge. admissible color pairs on e u w

slide-13
SLIDE 13

13

Label-Cover

set of colors L e

  • We wish to color (label) vertices of a bipartite graph to satisfy

admissible color pairs (constraint) on each edge. The coloring satisfies a constraint on an edge e since Red-Green is admissible. admissible color pairs on e u w

slide-14
SLIDE 14

14

Label-Cover

set of colors L e

  • We wish to color (label) vertices of a bipartite graph to satisfy

admissible color pairs (constraint) on each edge. We may need more than one colors on each vertex. admissible color pairs on e u w

slide-15
SLIDE 15

15

The Cost of Label-Cover

Total cost = 12

  • The cost is the total number of colors used.
slide-16
SLIDE 16

16

Hardness of Label-Cover

  • Hardness Depends on Two Parameters

– Maximum Degree : D – Alphabet Size (# of available colors) : L

(We abuse L to mean both the set and its size.)

D = 2 L = 3

slide-17
SLIDE 17

17

Label-Cover and Connectivity Problems

slide-18
SLIDE 18

18

Hardness of Connectivity Problems

  • Hardness results of many connectivity

problems were derived from Label-Cover. Label Cover Rooted k-Conn VC-SNDP VC k-Route Cut

Cheriyan, L, Naves, Vetta SODA 2012 Kortsarz, Krauthgamer, Lee SICOMP 2003 Chkraborty, Chuzhoy, Khanna STOC 2008 Chuzhoy, Makarychev, Vijayaraghavan, Zhou SODA 2012

slide-19
SLIDE 19

19

Root k-Connectivity

Input

– A graph G=(V,E) with costs on edges – A root vertex r – A set of terminals T ⊆ V

Goal

– Find a min-cost subgraph H ⊆ G : H has k-vertex

disjoint paths from r to each terminal t ∈T.

r T

slide-20
SLIDE 20

20

Root k-Connectivity

Input

– A graph G=(V,E) with costs on edges – A root vertex r – A set of terminals T ⊆ V

Goal

– Find a min-cost subgraph H ⊆ G : H has k-vertex

disjoint paths from r to each terminal t ∈T.

r T

We want to connect r to t ∈T by k vertex-disjoint paths.

slide-21
SLIDE 21

21

Vertex-Connectivity Survivable Network Design (VC-SNDP)

Input

– A graph G=(V,E) with costs on edges – A requirement k(s,t) for each pair s,t ∈ V

Goal

– Find a min-cost subgraph H ⊆ G : H has k(s,t)

vertex-disjoint paths for each pair s,t ∈ V.

slide-22
SLIDE 22

22

Vertex-Connectivity Survivable Network Design (VC-SNDP)

Input

– A graph G=(V,E) with costs on edges – A requirement k(s,t) for each pair s,t ∈ V

Goal

– Find a min-cost subgraph H ⊆ G : H has k(s,t)

vertex-disjoint paths for each pair s,t ∈ V. We want to connect each s,t by k vertex-disjoint paths.

slide-23
SLIDE 23

23

Vertex-Connectivity k-Route Cut (VC k-Route Cut)

Input

– A graph G=(V,E) with costs on edges – Source-sink pairs (s1,t1), ..., (sq, tq)

Goal

– Find a min-cost subset of edges F ⊆ E : G – F

has < k vertex-disjoint paths between si,ti for all i

slide-24
SLIDE 24

24

Vertex-Connectivity k-Route Cut (VC k-Route Cut)

Input

– A graph G=(V,E) with costs on edges – Source-sink pairs (s1,t1), ..., (sq, tq)

Goal

– Find a min-cost subset of edges F ⊆ E : G – F

has < k vertex-disjoint paths between si,ti for all i We want to cut down connectivity of si,ti to k-1.

slide-25
SLIDE 25

25

Previous Known Hardness

ε is a very small fixed constant, which is different for each problem.

Rooted k-Conn VC-SNDP VC k-Route Cut

Cheriyan et al., 2012 Chkraborty et al., 2008 Chuzhoy et al., 2012

slide-26
SLIDE 26

26

Where does a factor kε come from?

slide-27
SLIDE 27

27

Parameters Conversion: Label-Cover To Connectivity

Label Cover Rooted k-Conn VC-SNDP VC k-Route Cut

Degree = D, Alphabet-Size = L Directed : k = D Undirected : k = D3L + D4 Undirected : k = DL + D2 Undirected : k = DL

slide-28
SLIDE 28

28

There is γ >0 such that, for any ℓ>0, it is NP-Hard to approximate an instance of Label-Cover with degree = 2

O(ℓ) and |L| = 2 O(ℓ)

to within a factor of 2

γℓ

Theorem [Arora et al.'97, Raz'98]:

Popular Theorem used in Approx

slide-29
SLIDE 29

29

There is γ >0 such that, for any ℓ>0, it is NP-Hard to approximate an instance of Label-Cover with degree = 2

O(ℓ) and |L| = 2 O(ℓ)

to within a factor of 2

γℓ

Theorem [Arora et al.'97, Raz'98]:

Popular Theorem used in Approx

Hardness factor = Dε1 = Lε2 : ε1,ε2 > 0 are very small constants.

slide-30
SLIDE 30

30

Recent Technologies?

slide-31
SLIDE 31

31

Recent PCP Techniques (Obsecure to Approx)

  • Right Degree Reduction

– Moshkovitz-Raz, J.ACM 2010 / FOCS 2008

Title: Two Query PCP with Sub-Constant Error

  • Alphabet Reduction

– Dinur-Harsha, FOCS 2009

Title: Composition of Low-Error 2-Query PCPs Using Decodable PCPs

slide-32
SLIDE 32

32

Recent PCP Techniques (Obsecure to Approx)

  • Right Degree Reduction

– Moshkovitz-Raz, J.ACM 2010 / FOCS 2008

Title: Two Query PCP with Sub-Constant Error

  • Alphabet Reduction

– Dinur-Harsha, FOCS 2009

Title: Composition of Low-Error 2-Query PCPs Using Decodable PCPs

slide-33
SLIDE 33

33

Recent Progress on 2P1R (Obsecure to Approx)

  • 21PR with small alphabet-size

– Khot-Safra, FOCS 2011:

Label-Cover: alphabet-size L = q6, hardness factor q1/2 (but degree >> q)

– Chan, STOC 2013:

Label-Cover: alphabet-size L = q2, hardness factor q1/2 (but degree >> q)

slide-34
SLIDE 34

34

Recent Progress on 2P1R (Obsecure to Approx)

  • 2P1R with small alphabet-size

– Khot-Safra, FOCS 2011:

Label-Cover: alphabet-size L = q6, hardness factor q1/2 (but degree >> q)

– Chan, STOC 2013:

Label-Cover: alphabet-size L = q2, hardness factor q1/2 (but degree >> q)

slide-35
SLIDE 35

35

Improve Hardness by Optimizing Label-Cover Parameters

slide-36
SLIDE 36

36

Modifying Label-Cover Instance

Chan's Label-Cover G0 = (U,W;E): G0 is left-regular (but not right-regular) Make the graph regular G1: G1 is regular (but degree is large) Random Sampling G2 : G2 has small degree max-degree ≈ hardness

slide-37
SLIDE 37

37

Modifying Label-Cover Instance

Chan's Label-Cover G0 = (U,W;E): G0 is left-regular (but not right-regular) Make the graph regular G1: G1 is regular (but degree is large) Random Sampling G2 : G2 has small degree max-degree ≈ hardness

Each step must preserves Hardness Factor

slide-38
SLIDE 38

38

Make the graph regular

Chan's Label-Cover G0 = (U,W;E): G0 is left-regular (but not right-regular) Right Degree Reduction G1,1: G1,1 is (d1,d2)-regular (left-deg d1, right-deg d2, d1 > d2) Make Copies of Left Vertices G1,2 : G1,2 is d1-regular Make the graph regular

slide-39
SLIDE 39

39

Random Sampling

Regular Graph G1 : G1 is d-regular (but degree is large) Sampling Edges with Pr = D / d G2,1: G2,1 has avg-deg D (but max-degree is large) Remove Vertices with Deg > 2D G2,2 : G2,2 has max-deg ≤ 2D (Set D = Hardness Factor) Random Sampling

slide-40
SLIDE 40

40

Final Results:

Label Cover Rooted k-Conn VC-SNDP VC k-Route Cut

Max Degree = 2q Alphabet-Size = q2 Hardness Factor q1/2 Directed : k1/2 Undirected : k1/10 Hardness Factor Unirected : k1/8 Unirected : k1/6

slide-41
SLIDE 41

41

Hardness in Other Parameter

  • Let P = # of source-sink pairs.
  • When P < k, The best know approx for Rooted k-Conn,

VC-SNDP are P-approx by trivial algorithms.

  • Hardness Technique: Partition edges of the Label-Cover

instance into induced matchings by strong-edge coloring. ⇒ Hardness of P1/4 for Rooted k-Conn, VC-SNDP and VC k-Route Cut

slide-42
SLIDE 42

42

Conclusion

  • We investigate the relation between Label-

Cover and connectivity problems.

  • We improve hardness of connectivity

problems by modifying Label-Cover Instance.

  • The hardness in terms of # of source-sink can

be obtained by graph-coloring technique.

slide-43
SLIDE 43

43

Thank you for your attention.