chapter 1 getting started
play

Chapter 1: Getting Started The Probabilistic Method Summer 2020 - PowerPoint PPT Presentation

Chapter 1: Getting Started The Probabilistic Method Summer 2020 Freie Universitt Berlin Chapter Overview Survey quick applications of the basic method to different areas 1 Unsatisfiable Formulae Chapter 1: Getting Started The


  1. Chapter 1: Getting Started The Probabilistic Method Summer 2020 Freie Universität Berlin

  2. Chapter Overview • Survey quick applications of the basic method to different areas

  3. §1 Unsatisfiable Formulae Chapter 1: Getting Started The Probabilistic Method

  4. Boolean Logic Binary values • Computers can only talk in 0 s and 1 s • In logical applications, we map those to 𝐺𝑏𝑚𝑡𝑓 and 𝑈𝑠𝑣𝑓 Logical operators • Can obtain new truth values from old ones Not: ¬ Or: ∨ And: ∧ Boolean formulae • Can build any 𝑈𝑠𝑣𝑓 / 𝐺𝑏𝑚𝑡𝑓 expression using these operations • Such a formula is a function 𝑔: 0,1 𝑜 → 0,1

  5. Anatomy of a Formula Every Boolean formula can be written in Conjunctive Normal Form: Variables • 𝑦 𝑗 ∈ 0,1 Literals • Variable 𝑦 𝑗 or its negation ¬𝑦 𝑗 Clauses • ‘OR’ of literals • e.g.: 𝑦 1 ∨ ¬𝑦 2 ∨ 𝑦 3 CNF Formula • ‘AND’ of several clauses • e.g.: 𝑦 1 ∨ ¬𝑦 2 ∨ 𝑦 3 ∧ ¬𝑦 1 ∨ 𝑦 2 ∧ (𝑦 2 ∨ 𝑦 3 ∨ 𝑦 4 ∨ ¬𝑦 5 )

  6. A Little Complexity Satisfiability Problem (SAT) • Given a Boolean formula 𝑔 , can 𝑔 ever evaluate to 𝑈𝑠𝑣𝑓 ? • If not, say 𝑔 is unsatisfiable Theorem 1.1.1 (Cook, 1971; Levin, 1973) SAT is 𝑂𝑄 -Complete, i.e. is probably very difficult. A universal model • Most interesting problems can be reduced to SAT instances • e.g.: Travelling Salesman Problem, Subgraph Isomorphism, Largest Clique

  7. Restricted Formulae Simplifying the problem • Perhaps the problem is easier for ‘nice’ formulae • 𝑙 -SAT: each clause must have exactly 𝑙 literals from distinct variables Theorem 1.1.2 (Karp, 1972) For all 𝑙 ≥ 3 , 𝑙 -SAT is still 𝑂𝑄 -Complete. Does size matter? • Karp ⇒ unsatisfiability does not require long clauses • Does it at least require many clauses? Are short formulae always satisfiable?

  8. Minimum Unsatisfiability Extremal problem • How small can an unsatisfiable instance of 𝑙 -SAT be? Definition 1.1.3 Given 𝑙 ∈ ℕ , let 𝑛 0 𝑙 be the minimum 𝑛 ∈ ℕ for which there is an unsatisfiable instance of 𝑙 -SAT with 𝑛 clauses. Small 𝑙 -SAT is easy • Can solve instances of 𝑙 -SAT with 𝑛 < 𝑛 0 𝑙 clauses in constant time! • (Existential) answer is always: yes (satisfiable)

  9. A First Lower Bound Lower bounds • Given any instance of 𝑙 -SAT with few clauses, need to show it is satisfiable • First idea: build a satisfying argument greedily A worked example ( 𝑙 = 3 ) 𝑦 1 ∨ ¬𝑦 2 ∨ 𝑦 3 ∧ ¬𝑦 1 ∨ 𝑦 2 ∨ ¬𝑦 4 ∧ ¬𝑦 2 ∨ ¬𝑦 3 ∨ ¬𝑦 5 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 ? ? ? ? ?

  10. A First Lower Bound Lower bounds • Given any instance of 𝑙 -SAT with few clauses, need to show it is satisfiable • First idea: build a satisfying argument greedily A worked example ( 𝑙 = 3 ) 𝑦 1 ∨ ¬𝑦 2 ∨ 𝑦 3 ∧ ¬𝑦 1 ∨ 𝑦 2 ∨ ¬𝑦 4 ∧ ¬𝑦 2 ∨ ¬𝑦 3 ∨ ¬𝑦 5 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 ? ? ? ? ? Step 1 • Select 𝑦 1 as the designated variable for the first clause

  11. A First Lower Bound Lower bounds • Given any instance of 𝑙 -SAT with few clauses, need to show it is satisfiable • First idea: build a satisfying argument greedily A worked example ( 𝑙 = 3 ) 1 ∨ ¬𝑦 2 ∨ 𝑦 3 ∧ 0 ∨ 𝑦 2 ∨ ¬𝑦 4 ∧ ¬𝑦 2 ∨ ¬𝑦 3 ∨ ¬𝑦 5 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 1 ? ? ? ? Step 1 • Select 𝑦 1 as the designated variable for the first clause • Set 𝑦 1 = 1 to satisfy the clause

  12. A First Lower Bound Lower bounds • Given any instance of 𝑙 -SAT with few clauses, need to show it is satisfiable • First idea: build a satisfying argument greedily A worked example ( 𝑙 = 3 ) 1 ∨ ¬𝑦 2 ∨ 𝑦 3 ∧ 0 ∨ 𝑦 2 ∨ ¬𝑦 4 ∧ ¬𝑦 2 ∨ ¬𝑦 3 ∨ ¬𝑦 5 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 1 ? ? ? ? Step 2 • The second clause is still unsatisfied

  13. A First Lower Bound Lower bounds • Given any instance of 𝑙 -SAT with few clauses, need to show it is satisfiable • First idea: build a satisfying argument greedily A worked example ( 𝑙 = 3 ) 1 ∨ 0 ∨ 𝑦 3 ∧ 0 ∨ 1 ∨ ¬𝑦 4 ∧ 0 ∨ ¬𝑦 3 ∨ ¬𝑦 5 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 1 1 ? ? ? Step 2 • The second clause is still unsatisfied • Select 𝑦 2 as its designated variable, and set 𝑦 2 = 1

  14. A First Lower Bound Lower bounds • Given any instance of 𝑙 -SAT with few clauses, need to show it is satisfiable • First idea: build a satisfying argument greedily A worked example ( 𝑙 = 3 ) 1 ∨ 0 ∨ 0 ∧ 0 ∨ 1 ∨ ¬𝑦 4 ∧ 0 ∨ 1 ∨ ¬𝑦 5 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 1 1 0 ? ? Step 3 • The third clause is still unsatisfied, so we set 𝑦 3 = 0

  15. A First Lower Bound Lower bounds • Given any instance of 𝑙 -SAT with few clauses, need to show it is satisfiable • First idea: build a satisfying argument greedily A worked example ( 𝑙 = 3 ) 1 ∨ 0 ∨ 0 ∧ 0 ∨ 1 ∨ ¬𝑦 4 ∧ 0 ∨ 1 ∨ ¬𝑦 5 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 1 1 0 ? ? Step 3 • The third clause is still unsatisfied, so we set 𝑦 3 = 0 • This satisfies the formula, so we are done

  16. A First Lower Bound Proposition 1.1.4 For all 𝑙 ∈ ℕ , 𝑛 0 𝑙 > 𝑙. Proof • Let 𝑔 be an arbitrary 𝑙 -SAT formula with 𝑛 ≤ 𝑙 clauses • We use the greedy algorithm, satisfying each clause one at a time • When dealing with the 𝑗 th clause, for 1 ≤ 𝑗 ≤ 𝑛 , either: • it is already satisfied by our previous assignments, or • we have set at most 𝑗 − 1 ≤ 𝑛 − 1 < 𝑙 variables, so there is a free variable to choose • Hence we can satisfy all the clauses • Thus 𝑔 is satisfiable ∎

  17. Being Greedy Doesn’t Always Pay What if we have more clauses? • This greedy algorithm can get stuck Extending our example 𝑦 1 ∨ ¬𝑦 2 ∨ 𝑦 3 ∧ ¬𝑦 1 ∨ 𝑦 2 ∨ ¬𝑦 4 ∧ ¬𝑦 2 ∨ ¬𝑦 3 ∨ ¬𝑦 5 ∧ ¬𝑦 1 ∨ ¬𝑦 2 ∨ 𝑦 3 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 ? ? ? ? ?

  18. Being Greedy Doesn’t Always Pay What if we have more clauses? • This greedy algorithm can get stuck Extending our example 1 ∨ 0 ∨ 0 ∧ 0 ∨ 1 ∨ ¬𝑦 4 ∧ 0 ∨ 1 ∨ ¬𝑦 5 ∧ 0 ∨ 0 ∨ 0 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 1 1 0 ? ? Steps 1-3 • Proceed as before, with the same assignments • Now the final clause is unsatisfiable

  19. Being Greedy Doesn’t Always Pay What if we have more clauses? • This greedy algorithm can get stuck Extending our example 1 ∨ 0 ∨ 1 ∧ 0 ∨ 1 ∨ ¬𝑦 4 ∧ 0 ∨ 0 ∨ 1 ∧ 0 ∨ 0 ∨ 1 𝒚 𝟐 𝒚 𝟑 𝒚 𝟒 𝒚 𝟓 𝒚 𝟔 1 1 1 ? 0 Formula is still satisfiable • Could have satisfied earlier clauses with different variables

  20. An Unsatisfiable Formula Intuition • Clauses with unique variables are can always be satisfied • Maybe hardest when all clauses share the same variables Building an unsatisfiable formula • With 𝑙 variables, there are 2 𝑙 possible inputs and 2 𝑙 possible clauses • Each clause is unsatisfied by a unique input • e.g.: 𝑦 1 ∨ ¬𝑦 2 ∨ ¬𝑦 3 is not satisfied by 𝑦 1 , 𝑦 2 , 𝑦 3 = 0,1,1 • ⇒ The formula with all possible clauses is unsatisfiable Proposition 1.1.5 For all 𝑙 ∈ ℕ , 𝑛 0 𝑙 ≤ 2 𝑙 .

  21. A Tight Result Theorem 1.1.6 For all 𝑙 ∈ ℕ , 𝑛 0 𝑙 = 2 𝑙 . Upper bound • Previous construction Lower bound • Need to show every 𝑙 -SAT instance with 𝑛 < 2 𝑙 clauses is satisfiable Existential reformulation • Given: 𝑙 -SAT formula 𝑔 with 𝑜 variables and 𝑛 < 2 𝑙 clauses 𝑦 ∈ Ω = {0,1} 𝑜 with the property 𝑔 Ԧ • Goal: show there is some Ԧ 𝑦 = 1

  22. Randomness to the Rescue Theorem 1.1.6 For all 𝑙 ∈ ℕ , 𝑛 0 𝑙 = 2 𝑙 . Existential reformulation • Given: 𝑙 -SAT formula 𝑔 with 𝑜 variables and 𝑛 < 2 𝑙 clauses 𝑦 ∈ Ω = {0,1} 𝑜 with the property 𝑔 Ԧ • Goal: show there is some Ԧ 𝑦 = 1 The probabilistic method 𝑦 ∈ {0,1} 𝑜 uniformly at random • Choose Ԧ • Show ℙ 𝑔 Ԧ 𝑦 = 1 > 0

  23. Bounding Probabilities Setting • Given: 𝑔 , a 𝑙 -SAT formula with 𝑜 variables and 𝑛 < 2 𝑙 clauses 𝑦 ∈ {0,1} 𝑜 • Given: uniformly random Ԧ • Goal: show ℙ 𝑔 Ԧ 𝑦 = 1 > 0 Bad events • Equivalently, want to show ℙ 𝑔 Ԧ 𝑦 = 0 < 1 • Let 𝐹 𝑗 be the event that the 𝑗 th clause is not satisfied by Ԧ 𝑦 𝑛 𝐹 𝑗 • 𝑔 Ԧ 𝑦 = 0 =ڂ 𝑗=1 𝑛 𝐹 𝑗 • ⇒ ℙ 𝑔 Ԧ 𝑦 = 0 = ℙڂ 𝑗=1 Union Bound Given arbitrary events 𝐹 𝑗 , we have ℙڂ 𝑗 𝐹 𝑗 ≤ σ 𝑗 ℙ 𝐹 𝑗 .

  24. Completing the Proof Individual clauses • Recall: 𝐹 𝑗 is the event that the 𝑗 th clause is not satisfied by Ԧ 𝑦 • 𝐹 𝑗 only depends on the values of the 𝑙 variables it contains • Exactly one of the 2 𝑙 possible values does not satisfy the clause • ⇒ ℙ 𝐹 𝑗 = 2 −𝑙 𝑛 𝑛 ℙ 𝐹 𝑗 = 𝑛2 −𝑙 < 1 ℙ 𝑔 Ԧ 𝑦 = 0 = ℙ ራ 𝐹 𝑗 ≤ ෍ 𝑗=1 𝑗=1 Conclusion • Therefore ℙ 𝑔 Ԧ 𝑦 = 1 = 1 − ℙ Ԧ 𝑦 = 0 > 0 𝑦 ∈ {0,1} 𝑜 for which 𝑔 Ԧ • Hence there is some Ԧ 𝑦 = 1 ∎

Recommend


More recommend