Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
The Probabilistic Method prepared and Instructed by Shmuel Wimer Eng. Faculty, Bar-Ilan University 1 The Probabilistic Method 2015June The probabilistic method comprises two ideas: β’ Any random variable assumes at least one value not smaller than its expectation. β’ If an object chosen randomly from the universe satisfies a property with positive probability, there must be an object of the universe satisfying that property. Theorem. For any undirected graph πΊ π, πΈ with π vertices and π edges, there is a partition of π into π΄ and π΅ such that the edge cut-set has π 2 edges at least, namely π’, π£ β πΈ π’ β π΄ and π£ β π΅ β₯ π 2. 2 The Probabilistic Method 2015June Proof. Consider the following experiment. Each vertex is independently and equiprobaly assigned to π΄ or π΅. The probability that the end points of and edge π’, π£ are in different sets is ½. By the linearity of expectation the expected number of edges in the cut is π 2. It follows that there must a partition satisfying the theorem.β Consider the satisfiability problem. A set of π clauses is given in conjunctive (sum) normal form over π variables. 3 The Probabilistic Method 2015June We have to decide whether there is a truth assignment of the π variables satisfying all the clauses (POS). There is an optimization version called MAX-SAT where we seek for a truth assignment maximizing the number of satisfied clauses. This problem is NP-hard. We subsequently show that there is always a truth assignment satisfying at least π 2 clauses. This is the best possible universal guarantee (consider π₯ and π₯). Theorem: For any set of π clauses, there is a truth assignment satisfying at least π 2 clauses. 4 The Probabilistic Method 2015June Proof: Suppose that every variable is set to TRUE or FALSE independently and equiprobaly. For 1 β€ π β€ π, let ππ = 1 if the clause is satisfied, and ππ = 0 otherwise. Due to the conjunctive form, the probability that a clause containing π literals is not satisfied is 2βπ β€ 1 2 , or 1 β 2βπ β₯ 1 2 that it is satisfied, implying π ππ β₯ 1 2. The expected number of satisfied clauses is therefore π π=1 π ππ β₯ π 2 , implying that there must be an assignment for which π π=1 ππ β₯ π 2. β 5 The Probabilistic Method 2015June Expanding Graphs πΊ π, πΈ is called an expanding graph if there is a π > 0 such that for any π β π there is Ξ π β₯ π π , where Ξ π is the set of πβs neighbors. . A particular type of expanding graph is a bipartite multi graph πΊ πΏ, π , πΈ called an OR-concentrator. It is defined by a quadruple π, π, πΌ, π , where πΏ = π = π, such that 1. deg π£ β€ π βπ£ β πΏ, and 2. βπ β π such that π β€ πΌπ there is Ξ π β₯ π π . In most applications it is desired to have π as small as possible and π as large as possible. 6 The Probabilistic Method 2015June Of particular interest are those graph where πΌ, π and π are constants independent of π and π > 1. Those are strict requirements and it is not trivial task to construct such graphs. We rather show that such graphs exist. We show that a random graph chosen from a suitable probability space has a positive probability of being an π, 18, β , 2 OR-concentrator. (The constants are arbitrary, other combinations are possible.) Theorem: There is an integer π0 such that for all π > π0 there is an π, 18, β , 2 OR-concentrator. 7 The Probabilistic Method 2015June Proof: The proof is carried out in terms of π, π, and πΌ, while the constants are pinned at the end of the proof. Consider a random πΊ πΏ, π , πΈ , where π£ β πΏ choses its π neighbors Ξ π£ β π independently and uniformly with replacements, and avoid multi edges. Let ππ be the event that for π β πΏ, π = π there is Ξ π < ππ , namely, an OR-connector does not exist. Consider π β πΏ, π = π and any π β π , π = ππ . There π π are ways to choose π and ways to choose π. π ππ Since ππ edges emanate from π, the probability that π contains Ξ π is ππ π ππ . 8 The Probabilistic Method 2015June The probability of the event that all the ππ edges emanating from π vertices of πΏ fall within any ππ vertices of π is bounded by Pr ππ π β€ π π ππ ππ ππ π π Substituition of the inequality β€ π Pr ππ ππ β€ π π ππ ππ ππ ππ π ππ = π π ππ π π obtains πβπβ1 π π 1+π π πβπ Using πΌ = 1 3 and s β€ πΌπ, there is 9 The Probabilistic Method 2015June 1 3 Pr ππ β€ π πβπβ1 π 1+π π πβπ π 3 β€ π π 3π π+1 Using π = 2 and π = 18, there is Pr ππ β€ Let π = 2 3 18 2 3 π 18 3π 3 = π 1βπ 3π 3 , there is π β₯1 Pr ππ β€ π β₯1 ππ < 1, showing that the desired OR-connector exists. β 10 The Probabilistic Method 2015June Crossing Number The crossing number ππ πΊ of a graph πΊ is the smallest number of edge crossings in a planar embedding of πΊ. In VLSI it is the number of jumpers (via) required to layout a circuit. For a planar graph πΊ π, πΈ , π = π, πΈ = π there is ππ πΊ = 0. Euler formula for planar graph states π β π + π = 2. Since a face comprises a least 3 edges, and each edge is shared by two faces, there is 0 = π β π + π β 2 β€ π β π 3 β 2. 11 The Probabilistic Method 2015June Since ππ πΊ = 0 for a planar πΊ, for any πΊ there is ππ πΊ β₯ π β 3π + 6 for π β₯ 3. (Homework) Stronger lower bound can be derived with the aid of expectation. Lemma: (The Crossing Lemma, proof by N. Alon). Let πΊ be a simple graph with π β₯ 4π. Then ππ πΊ β₯ 1 π3 . 2 64 π Proof: Let πΊ be a planar embedding of πΊ yielding ππ πΊ . Let π β π be obtained by choosing π£ β π randomly with probability π β 4π π. Let π» β πΊ π and π» β πΊ π . 12 The Probabilistic Method 2015June π» is a planar embedding of π» imposed by πΊ. Let π, π and π be the random variables of the number of vertices, number of edges and the number of crossings in π», respectively. It follows from the trivial lower bound that π β₯ ππ π» β₯ π β 3π + 6. By linearity of expectation there is πΈ π β₯ πΈ π β 3πΈ π . There is πΈ π = ππ and πΈ π = π2 π (an edge is defined by its two end vertices). Since a crossing is defined by four vertices, there is πΈ π = π4 ππ πΊ . 13 The Probabilistic Method 2015June All in all there is π4 ππ πΊ β₯ π2 π β 3ππ. Dividing by π4 yields ππ πΊ β₯ ππβ3π π3 = π 4π π 3 = 1 π3 . 64 π2 β The Crossing Lemma is useful in combinatorial geometry. Consider π points in the plane and lines passing through each pair of points. π Some of those at most distinct lines might pass 2 through more than two points. 14 The Probabilistic Method 2015June Given π β₯ 2, how many lines can pass through at least π points? If π is a perfect square and the point are on a π × π grid, there are 2 π + 2 lines passing through π points. Is there a configuration of π points in the plane yielding more lines passing through at least π points? Theorem: (Szemerédi and Trotter 1983). Let π be a set of π points in the plane, and let π be the number of lines passing through at least π + 1 points of π , 1 β€ π β€ 2 π. Then π < 32π2 π 3 . 15 The Probabilistic Method 2015June Proof: Form a graph πΊ with vertex set π. πΊβs edges are the segments between consecutive points of the π lines. πΊ has therefore at least ππ edges and its π crossing number is at most . 2 If it happens that ππ < 4π then π < 4π π β€ 32π2 π 3 (1 β€ π β€ 2 π). Otherwise ππ β₯ 4π, and the Crossing Lemma applies. π It follows from the lemma that π 2 > β₯ ππ πΊ 2 β₯ ππ 3 64π2 , yielding again π β€ 32π2 π 3 . β 2 16 The Probabilistic Method 2015June Markovβs Inequality and Random Graphs Let πΊπ , ππ , π β₯ 1 be a probability space, πΊπ is a sample space and ππ βΆ πΊπ β 0,1 a probability function satisfying πβπΊπ ππ π = 1. We subsequently explore the existence of few properties in random large graphs. Large means π πΊ = π β β, whereas the probability π of an edge depends on π and satisfies π π β 0. ππ,π denotes the probability space of such graphs. 17 The Probabilistic Method 2015June Let π be a nonnegative random variable and π‘ β β, π‘ > 0. Then πΈ π π πβ₯π‘ β€ π‘ Markovβs inequality is applied to show that a πΊ β ππ,π almost surly has a particular property for a certain π. It is obtained by setting π = ππ and π‘ = 1. Corollary: Let ππ β β be a nonnegative random variable in a probability space πΊπ , ππ , π β₯ 1. If πΈ ππ β 0 as π β β, then π ππ = 0 β 1 as π β β. 18 The Probabilistic Method 2015June Asymptotic Behavior of Graphs We are interested in the number π of triangles in πΊ β ππ,π . π can be expressed as the sum π= ππ βΆ π β π, π = 3 , where ππ is the indicator random variable for the event π΄π that πΊ π is a triangle. ππ = 1 if π imposes a triangle and ππ = 0 otherwise. By the expectation definition there is πΈ ππ = π ππ = 1 . There is π π΄π = π3 . 19 The Probabilistic Method 2015June By linearity of expectation, there is π 3 πΈ π = πΈ ππ βΆ π β π, π = 3 = π < ππ 3 . 3 Thus if ππ β 0 as π β β, thenπΈ π β 0, and π π = 0 β 1. That means that if ππ β 0 as π β β, πΊ will almost surly be triangle-free. We subsequently are interested in the probability of having the independent sets in a graph of π vertices and edge probability π, not exceeding a certain size. 20 The Probabilistic Method 2015June Theorem: (ErdΕs 1961). A random graph πΊ β ππ,π almost surely has stability number (size of maximal independent set) no larger than 2πβ1 log π . Proof: Let π β π πΊ , π = π + 1, π β β. π is pinned down later. The probability that π is an independent set is the probability that none of the vertex pairs has a connecting edge, namely, 1 β π π+1 2 . Let π΄π be the event that π is an independent set and let ππ be the corresponding indicator random variable. 21 The Probabilistic Method 2015June There is πΈ ππ = π ππ = 1 = π π΄π = 1 β π π+1 2 . Let π be the number of independent sets of size π + 1. Then π = ππ βΆ π β π, π = π + 1 . By linearity of expectation there is πΈ π = πΈ ππ βΆ π β π, π = π + 1 = π π+1 22 1βπ π+1 2 The Probabilistic Method . 2015June π There is β€ π+1 ππ+1 π+1 ! and 1 β π < π βπ . Substitution in πΈ π yields πΈ π β€ π π+1 βπ π+1 2 π π+1 ! = π+1 βππ 2 ππ π+1 ! Let us now pin down π, supposing π = 2πβ1 log π . Then π β₯ 2πβ1 log π, and by exponentiation there is ππ βππ 2 β€ 1, hence 1 πΈ π β€ π+1 ! 23 The Probabilistic Method 2015June Since π β₯ 2πβ1 log π, π grows at least as fast as log π, hence πΈ π β 0 as π β β. Recall the corollary stating that if πΈ π β 0 as π β β, then π π = 0 β 1 as π β β. That means that with probability approaching 1, ππ,π has no independent set larger than π, or in other words, its stability number is at most π. β 24 The Probabilistic Method 2015June