Crossing Lemma - Part I1 Computational Geometry Seminar Lecture 7 The “Crossing Lemma” and applications Ori Orenbach.

Slides:



Advertisements
Similar presentations
Great Theoretical Ideas in Computer Science for Some.
Advertisements

Covers, Dominations, Independent Sets and Matchings AmirHossein Bayegan Amirkabir University of Technology.
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
Recursive Definitions and Structural Induction
A Separator Theorem for Graphs with an Excluded Minor and its Applications Paul Seymour Noga Alon Robin Thomas Lecturer : Daniel Motil.
On the number of unit distances among ‘n’ points Crossing Lemma: For n points and e edges with condition e ≤ 4*n, the crossing number of G on the plane.
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Planar / Non-Planar Graphs Gabriel Laden CS146 – Spring 2004 Dr. Sin-Min Lee.
Combinatorial Algorithms
Applied Combinatorics, 4th Ed. Alan Tucker
The number of edge-disjoint transitive triples in a tournament.
Computational Geometry Seminar Lecture 1
Tucker, Applied Combinatorics, Section 1.4, prepared by Patti Bodkin
Approximation Algorithms
Definition Dual Graph G* of a Plane Graph:
Theorem Every planar graph is 5-colorable.
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
1 Separator Theorems for Planar Graphs Presented by Shira Zucker.
Introduction to Graph Theory
Graph Theory Chapter 6 Planar Graphs Ch. 6. Planar Graphs.
Subdivision of Edge In a graph G, subdivision of an edge uv is the operation of replacing uv with a path u,w,v through a new vertex w.
Minimal Spanning Trees What is a minimal spanning tree (MST) and how to find one.
Theory of Computing Lecture 10 MAS 714 Hartmut Klauck.
Planar Graphs: Euler's Formula and Coloring Graphs & Algorithms Lecture 7 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:
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.
Fan-planar Graphs: Combinatorial Properties and Complexity results Carla Binucci, Emilio Di Giacomo, Walter Didimo, Fabrizio Montecchiani, Maurizio Patrignani,
5.2 Trees  A tree is a connected graph without any cycles.
V Spanning Trees Spanning Trees v Minimum Spanning Trees Minimum Spanning Trees v Kruskal’s Algorithm v Example Example v Planar Graphs Planar Graphs v.
1 The number of orientations having no fixed tournament Noga Alon Raphael Yuster.
1 Rainbow Decompositions Raphael Yuster University of Haifa Proc. Amer. Math. Soc. (2008), to appear.
10. Lecture WS 2006/07Bioinformatics III1 V10: Network Flows V10 follows closely chapter 12.1 in on „Flows and Cuts in Networks and Chapter 12.2 on “Solving.
Planar Graphs Graph Coloring
Agenda Review: –Planar Graphs Lecture Content:  Concepts of Trees  Spanning Trees  Binary Trees Exercise.
Connectivity and Paths 報告人:林清池. Connectivity A separating set of a graph G is a set such that G-S has more than one component. The connectivity of G,
1 Decomposition into bipartite graphs with minimum degree 1. Raphael Yuster.
Introduction to Graphs. This Lecture In this part we will study some basic graph theory. Graph is a useful concept to model many problems in computer.
 Quotient graph  Definition 13: Suppose G(V,E) is a graph and R is a equivalence relation on the set V. We construct the quotient graph G R in the follow.
Introduction to Graph Theory
Great Theoretical Ideas in Computer Science for Some.
COMPSCI 102 Introduction to Discrete Mathematics.
12. Lecture WS 2012/13Bioinformatics III1 V12 Menger’s theorem Borrowing terminology from operations research consider certain primal-dual pairs of optimization.
Approximation Algorithms based on linear programming.
Chapter 5 With Question/Answer Animations 1. Chapter Summary Mathematical Induction - Sec 5.1 Strong Induction and Well-Ordering - Sec 5.2 Lecture 18.
Theory of Computational Complexity Probability and Computing Ryosuke Sasanuma Iwama and Ito lab M1.
1 Schnyder’s Method. 2 Motivation Given a planar graph, we want to embed it in a grid We want the grid to be relatively small And we want an efficient.
Section Recursion 2  Recursion – defining an object (or function, algorithm, etc.) in terms of itself.  Recursion can be used to define sequences.
Theory of Computational Complexity M1 Takao Inoshita Iwama & Ito Lab Graduate School of Informatics, Kyoto University.
CHAPTER SIX T HE P ROBABILISTIC M ETHOD M1 Zhang Cong 2011/Nov/28.
Trees.
Theory of Computational Complexity Probability and Computing Chapter Hikaru Inada Iwama and Ito lab M1.
Planar Graphs Hubert Chan (Chapter 9.7) [O2 Proof Techniques]
Outline 1 Properties of Planar Graphs 5/4/2018.
Discrete Mathematics Graph: Planar Graph Yuan Luo
V15: Max-Flow Min-Cut V15 continues chapter 12 in Gross & Yellen „Graph Theory“ Theorem [Characterization of Maximum Flow] Let f be a flow in a.
Graph Theory CSRU1400, Fall 2007 Ellen Zhang.
Minimum Spanning Tree 8/7/2018 4:26 AM
Geometric Graphs and Quasi-Planar Graphs
Advanced Algorithms Analysis and Design
Tucker, Applied Combinatorics, Sec 2.4
Planarity Testing.
A crossing lemma for the pair-crossing number
Depth Estimation via Sampling
Graph.
MAT 2720 Discrete Mathematics
Gaph Theory Planar Graphs
Discrete Mathematics for Computer Science
GRAPH THEORY Properties of Planar Graphs Ch9-1.
GRAPH THEORY Properties of Planar Graphs Ch9-1.
Presentation transcript:

Crossing Lemma - Part I1 Computational Geometry Seminar Lecture 7 The “Crossing Lemma” and applications Ori Orenbach

Crossing Lemma - Part I2 What did we see till now ? Every planar graph with |V|=n vertices has at most 3n-6 edges (Euler’s formula) So, a graph with more than 3n-6 edges must have at least one crossing Ok, but how many crossings are there ? Can we minimize the crossings efficiently ? For Example K 5 :

Crossing Lemma - Part I3 Why is that important ? In real life crossings are very common. “The brick factory problem” (Turan) Minimizing crossings is important in many fields, for example VLSI chip area:

Crossing Lemma - Part I4 What will we see today? Crossing number definitions Improving the lower bound using pre-assumptions on the graph (bisection width) First lower bound on the crossing number Improved constant on the lower bound using the probability method (The crossing lemma) Tightness of the lower bound

Crossing Lemma - Part I5 Definitions Consider a simple graph G=(V,E) with n vertices and m edges (m>3n-6) Crossing of more than two edges in one point is not allowed We want to embed G into the plane (just as we did for planar graphs) Only now we know that we would have at least one crossing. The crossing number of G: cr(G) is the smallest number of crossings among all drawings of G.

Crossing Lemma - Part I6 Definitions In such a minimal drawing the following three situations are ruled out: No edge can cross itself Edges with a common end vertex cannot cross No two edges cross twice

Crossing Lemma - Part I7 Immediate lower bound Suppose that G is drawn in the plane with cr(G) crossings. Consider the following graph H: The vertices of H are those of G together with all crossing points The edges are all pieces of the original edges as we go along from crossing point to crossing point G H

Crossing Lemma - Part I8 Immediate lower bound Obviously H is a planar graph (and simple) |E H |= m+2cr(G) because every new vertex has a degree of 4. |V H |= n+ cr(G) And from Euler we get: m+2cr(G) ≤ 3(n+cr(G))-6 Cr(G) ≥ m-3n+6 (*)

Crossing Lemma - Part I9 Example Consider K 6. we have that: Cr(K 6 )≥ =3 Indeed, we have a drawing with just 3 crossings:

Crossing Lemma - Part I10 Can we know cr(G) for every graph? The problem is believed to be NP complete So, we cannot calculate the crossing number of a graph G efficiently, but can we bound it efficiently? The bound proven before is good enough when m is linear in n, but not when m is larger compared to n For example if m ≥ 4n then m-3n+6 ≥ n+6 How can we improve the bound?

Crossing Lemma - Part I11 Theorem (Ajtai et al, Leighton, Chavatal, Newborn and others) Let K(n,m) denote the minimum number of crossing pairs of edges in a graph with n vertices and m edges, If m ≥ 4n then K(n,m) Known as the “Crossing lemma” K(n,m) is the same as cr(G)

Crossing Lemma - Part I12 The Crossing Lemma - Proof We will prove by induction on n that: If n≤8 then G cannot have 4n edges, so it must be the case that n ≥ 9 (notice that if n=9 then G=K 9 ) Then, if (2) is proven, then (1) will follow immediately

Crossing Lemma - Part I13 The Crossing Lemma - Proof The induction base case: For n=9 we get and (2) follows from (1) We can see that (2) follows from (*) for every n ≥ 10 and 4n≤m≤5n (Notice that the right side of (2) cannot exceed m-3n) Hence, We can assume that G is a graph with n ≥ 10 vertices and m>5n edges and that (2) is valid for all graphs with fewer than n vertices.

Crossing Lemma - Part I14 The Crossing Lemma - Proof We notice that Since G-x has at least m-(n-1) ≥5n-(n-1)>4(n-1) edges, we can use the induction on G-x, so we get: We can show that(Why?) (m x is the number of edges in G-x) ((* (**) Denote by (G-x) the graph obtained from G by removing a vertex x and all connected edges)

Crossing Lemma - Part I15 The Crossing Lemma - Proof And now: (By (* (By (** (And Jensen (inequality

Crossing Lemma - Part I16 How can we improve the bound ? Improve the constant Improve the order of magnitude Can be done only by using some assumptions on the graph (will be shown later)

Crossing Lemma - Part I17 Improving the constant on the lower bound Many proofs given We will see a general proof using the “Probabilistic method *”, and an example in case that m ≥ 4n (The probability method used to prove an existence of an object in a collection by showing that the probability it exists is positive)

Crossing Lemma - Part I18 The “Crossing Lemma” – An improved constant G=(V,E), |V|=n, |E|=m≥cn (for any c>3) Then we can show a lower bound on the number of crossings in G, such that:

Crossing Lemma - Part I19 Crossing Lemma (using probabilistic method) Consider a minimal drawing of G (containing minimal number of crossings) Let ‘p’ be a number between 0 and 1 (p will be chosen later) Generate a subgraph of G: H V H = Vertices of G chosen with probability p each E H = All the edges uv in G, that both u and v were chosen in V H (we get that any edge remains with probability p 2 ) cr H = Crossings in G that all four (distinct) vertices involved were chosen in V H (probability p 4 )

Crossing Lemma - Part I20 Crossing Lemma (using probability) Let n p, m p cr p be the random variables counting the number of vertices, edges and crossings in H Since cr(G) ≥ m-3n+6>m-3n for any graph we have that: E(cr p -m p +3n p )≥0  E(cr p )-E(m p )+E(3n p )≥0  p 4 cr(G) –p 2 m +3pn≥0 * And we get that: *Note that p 4 cr(G) is the expected number of crossings inherited from G, but the expected number of crossings in H is even smaller

Crossing Lemma - Part I21 Crossing Lemma (using probability) Now, set p= cn/m (which is at most 1 by our assumption) And we get:

Crossing Lemma - Part I22 Crossing Lemma (using probability) For example if m ≥ 4n then p=m/4n≤1 We can improve the constant by using different assumptions on the edges.

Crossing Lemma - Part I23 Improving the constant Theorem (Pach and Toth): let G be a simple graph drawn in the plane with cr(G) crossings, then First we will mention the following corollary: Corollary: The crossing number of any simple graph with at least 3 vertices satisfies: cr(G)≥5e(G)-25V(G)+50

Crossing Lemma - Part I24 Improving the constant Corollary: The crossing number of any simple graph G with at least 3 vertices satisfies: cr(G)≥5e(G)-25V(G)+50 Proof Idea: A graph with e(G)≥ (k+3)(v(G)-2) must have one edge crossing at least (k+1) other edges, for 0 ≤ k≤4. By induction on e, we delete such an edge and the minimum number of crossings is:

Crossing Lemma - Part I25 Improving the constant Proof (Theorem) : Again, we will use the probabilistic method. We have that e≥7.5n>(4+3)(n-2) Using the corollary: cr(G)≥5e(G)-25V(G)+50 And we have that: p 4 cr(G)≥5p 2 m-25pn  *p=7.5n/m<=1

Crossing Lemma - Part I26 Tightness We want To show that the lower bound is tight (we cant do better than m 3 /n 2 ) Consider n/t copies of K t drawn on the plane: KtKt KtKt KtKt … n/t

Crossing Lemma - Part I27 Tightness Cr(K t ) = O(n 4 ) KtKt KtKt KtKt … e(K t ) = O(n 2 ) m = t 2 *n/t=nt cr = t 4 *n/t = t 3 n = m 3 /n 2

Crossing Lemma - Part I28 Improving the order of magnitude The key is to have some pre assumptions on the graph, and use them to find a better bound Bisection width and crossing number Crossing number in graphs with monotone property

Crossing Lemma - Part I29 Definitions A graph property P is said to be monotone if: 1)Every subgraph of a graph G with the property also satisfies P 2)Whenever G 1 and G 2 satisfies P, their disjoint union also satisfies P.

Crossing Lemma - Part I30 Definitions The bisection width of a graph b(G) is defined to be: The minimum is taken over all partitions of V(G) to 2 disjoint groups each n/3

Crossing Lemma - Part I31 Crossing number and bisection width Theorem: let G be a graph with bounded degree, then: Proof: Consider a drawing of G with cr(G) crossings. Like before, we introduce a new vertex at each crossing, so we obtain a graph with n+cr(G) crossings

Crossing Lemma - Part I32 Crossing number and bisection width Proof continued: We obtain a graph H with n+cr(G) vertices We weight each new vertex with 0 weight and assign a weight of 1/n for old vertices, and we get by the planar separation theorem, that by deletion of at most: O((n+cr(G)) 1/2 ) vertices, H can be separated into H 1 and H 2 such that each one has at least n/3 elements and we get: b(G) ≤ O((n+cr(G)) 1/2 ) Note that this is a revised version on the planar separation theorem using weights

Crossing Lemma - Part I33 Crossing number and monotone property For any monotone property P, let ex(n, P) denote the max number of edges that a graph on n vertices can have if it satisfies P If the property P is “G does not contain a subgraph isomorphic to a fixed forbidden subgraph H”, we write: ex(n, H) for ex(n, P)

Crossing Lemma - Part I34 Crossing number and monotone property Theorem: Let P be a monotone property with ex(n, P)=O(n 1+a ) for some a>0 then there exists two constants c, c’>0 such that the crossing number of any graph G with property P, which has n vertices and e≥cnlog 2 n edges satisfies:

Crossing Lemma - Part I35 Crossing number and monotone property proof: We will use a slightly different version of the bisection width lower bound: Let G be a graph of n vertices, whose degrees are d 1,…, d n Then: Will be used without a proof

Crossing Lemma - Part I36 Crossing number and monotone property Proof continued: Let P be a monotone graph property with ex(n, P) For some A,a>0 Let G be a graph with |V(G)|=n, |E(G)|=e Suppose G satisfies P, and e≥cnlog 2 n We assume by contradiction that:

Crossing Lemma - Part I37 Crossing number and monotone property Proof idea: We will use a decomposition algorithm: On every step i of the algorithm we will look at the M i components of the graph: G i 1, …, G i Mi On every step of the algorithm every G i j falls into 2 components, each at most (2/3)n(G i j ) vertices We will stop when the number of vertices in each component is small enough

Crossing Lemma - Part I38 The “Decomposition algorithm” k steps

Crossing Lemma - Part I39 Crossing number and monotone property The algorithm: Step 0: let G 0 =G, G 1 0 =G, M 0 =1, m 0 =1 On every step of the algorithm we will look at the M i components of the graph: G i 1, …, G i Mi Each component has at most (2/3) i n vertices We can assume (without loss of generality) that: The first m i components of G i have at least (2/3) i+1 n vertices and the remaining M i -m i has fewer

Crossing Lemma - Part I40 Crossing number and monotone property Proof continued: We have that The stopping rule: Else: delete for j=1,…,m i b(G j i ) edges from G i j such that G i j falls into 2 components, each at most (2/3)n(G i j ) vertices

Crossing Lemma - Part I41 Crossing number and monotone property Let G i+1 denote the resulting graph on the original set. Each component of G i+1 has at most (2/3) i+1 n vertices Suppose the decomposition algorithm terminates in step k+1, then if k>0:

Crossing Lemma - Part I42 Crossing number and monotone property Proof continued: Using that for any non-negative real number: We get:

Crossing Lemma - Part I43 Crossing number and monotone property Proof continued: Denoting the degree of a vertex v in G i j by d(v, G i j ) We get:

Crossing Lemma - Part I44 Crossing number and monotone property Proof continued: Now we use previous theorem about b(G), and we get that the total number of edges deleted during the procedure is: (m=cnlog 2 n)

Crossing Lemma - Part I45 Crossing number and monotone property Proof continued: And finally we get that e(G k )≥e/2 Next we will find an upper bound on e(G k ): The number of vertices of each connected component is:

Crossing Lemma - Part I46 Crossing number and monotone property Proof continued: But each G k j has the property P, since it is monotone, so it follows that: And from this, the total number of edges in G k is: A contradiction ! And the theorem is proved