Presentation is loading. Please wait.

Presentation is loading. Please wait.

Food verb transportation animal verb furniture Find!Find! Fill out letters on the right, to satisfy as much of the constraints on the left.

Similar presentations


Presentation on theme: "Food verb transportation animal verb furniture Find!Find! Fill out letters on the right, to satisfy as much of the constraints on the left."— Presentation transcript:

1 food verb transportation animal verb furniture Find!Find! Fill out letters on the right, to satisfy as much of the constraints on the left.

2 b a t bat food verb transportation animal verb furniture Find!Find! When the letters form a word in a category, get 1 point per letter. Score: 3

3 b c a b t bat food verb transportation animal verb furniture Find!Find! When the letters form a word in a category, get 1 point per letter. cab Score: 6

4 b c a b t bat food verb transportation animal verb furniture Find!Find! When the letters form a word in a category, get 1 point per letter. cab Score: 6

5 b c a b e t bat food verb transportation animal verb furniture Find!Find! When the letters partially match a word in a category, get 1 point per match. cab bed Score: 8

6 b c a b e t y bat food verb transportation animal verb furniture Find!Find! cab bed Score: 10 cry When the letters partially match a word in a category, get 1 point per match.

7 b c a b e t y bat food verb transportation animal verb furniture Find!Find! cab bed Score: 10 cry ?ay When the letters partially match a word in a category, get 1 point per match.

8 b c a b e t y bat food verb transportation animal verb furniture Find!Find! cab bed Score: 10 cry ?ey ?ay When the letters partially match a word in a category, get 1 point per match.

9 b p c a b e t y bat food verb transportation animal verb furniture Find!Find! cab bed Score: 15 cry pea pay When the letters partially match a word in a category, get 1 point per match.

10 food verb transportation animal verb furniture Find!Find! Score: Your turn: How much can you score?

11 b p c a b e t y bat pay cab pea bed cry food verb transportation animal verb furniture Find!Find! To get the total score, sum up the points from all the categories. Score: 15

12 furniture c s c a r o t y cat say car soy cot cry food verb transportation animal verb Find!Find! Perfect score! Score: 18

13 Given a projection game so that perfect score is achievable, can you score 1% ? Projection games Dana Moshkovitz MIT CSAIL

14 Given a projection game so that perfect score is achievable. Can you get a perfect score ?

15 Given a projection game so that perfect score is achievable. Can you score 99% ?

16 Given a projection game so that perfect score is achievable. Can you score 75% ?

17 Given a projection game so that perfect score is achievable. Can you score 50% ?

18 Observations: 1.If there are X edges, can always score 1/X.

19 Observations: 1.If there are X edges, can always score 1/X. 2.If each constraint is on X locations, can score 1/X.

20 Observations: 1.If there are X edges, can always score 1/X. 2.If each constraint is on X locations, can score 1/X. 3.If each location is in X constraints, can score 1/X.

21 Observations: 1.If there are X edges, can always score 1/X. 2.If each constraint is on X locations, can score 1/X. 3.If each location is in X constraints, can score 1/X. 4.If all categories are of size X, can score 1/X. All 3 letter words under “food”

22 Observations: 1.If there are X edges, can always score 1/X. 2.If each constraint is on X locations, can score 1/X. 3.If each location is in X constraints, can score 1/X. 4.If all categories are of size X, can score 1/X. 5.If the alphabet is of size X, can score 1/X.

23 Given a projection game with large categories, alphabet and degrees, so perfect score is achievable. Can you score 1% ?

24 Projection Games Theorem (M-Raz 08): There exists  >0 such that for all  =  (n)  1/n , there exist k=poly(1/  ), D=poly(1/  ), so given a projection game of size n, alphabet size  k and degrees  D, where perfect score is achievable, NP-hard to score even  percent. More than that – Almost as hard as exact 3SAT.

25 approx 1 2  (n) n O(1) exponential polynomial time Exponential hardness Sharp threshold t From Trivial To Super-Hard In A Flash! [Håstad 97, M-Raz 08] Assuming that exact SAT takes exponential time

26 The best hardness of approximation results we know are based on projection games Max-3SATMax-3LIN Max-CSPSet-Cover Clique Independent Set Densest Subgraph Closest Vector Problem Directed Sparsest Cut Directed Multi-cut K-Spanner…..

27 Probabilistic Checking of Proofs (PCP) [FGLSS 91] Proof: 1. ∀ x;x=y ⇒ (x=z ⇒ y=z) 2. ∀ x;x=y ⇒ (x=z ⇒ y=z) ⇒ x+0=y ⇒ (x+0=z ⇒ y=z) 3. x+0=y ⇒ (x+0=z ⇒ y=z) … Conjecture: 1 + 1 = 2

28 Conjecture: A + B = C Probabilistic Checking of Proofs (PCP) [FGLSS 91] Proof: 1. ∀ x;x=y ⇒ (x=z ⇒ y=z) 2. ∀ x;x=y ⇒ (x=z ⇒ y=z) ⇒ x+0=y ⇒ (x+0=z ⇒ y=z) 3. x+0=y ⇒ (x+0=z ⇒ y=z) … w p s i i t n win pi wit it in

29 Probabilistic Checking of Proofs (PCP) [FGLSS 91] Proof: 1. ∀ x;x=y ⇒ (x=z ⇒ y=z) 2. ∀ x;x=y ⇒ (x=z ⇒ y=z) ⇒ x+0=y ⇒ (x+0=z ⇒ y=z) 3. x+0=y ⇒ (x+0=z ⇒ y=z) … Conjecture: A + B = C False! Score  

30 Conjecture: A + B = C Probabilistic Checking of Proofs (PCP) [FGLSS 91] Proof: 1. ∀ x;x=y ⇒ (x=z ⇒ y=z) 2. ∀ x;x=y ⇒ (x=z ⇒ y=z) ⇒ x+0=y ⇒ (x+0=z ⇒ y=z) 3. x+0=y ⇒ (x+0=z ⇒ y=z) … w p s i i t n Observe: The PCP Thm induces a new format for proofs; can be tested by checking one implication! win pi wit it in

31 What Goes Into PCPs? Algebra polynomials over finite fields.. Analysis Fourier, isoperimetry.. Combinatorics expanders,..

32 Favorite Open Problems Projection Games Conjecture: Projection games NP-hard even when all categories are of size poly(1/  ). Unique Games Conjecture: Projection games NP-hard even when in each category all possible words differ in all their letters; best score is (1-  ) fraction of maximum.


Download ppt "Food verb transportation animal verb furniture Find!Find! Fill out letters on the right, to satisfy as much of the constraints on the left."

Similar presentations


Ads by Google