Covers, Dominations, Independent Sets and Matchings AmirHossein Bayegan Amirkabir University of Technology.

Slides:



Advertisements
Similar presentations
Chapter 4 Partition I. Covering and Dominating.
Advertisements

THE LIST COLORING CONJECTURE nicla bernasconi. topics Introduction – The LCC Kernels and choosability Proof of the bipartite LCC.
Great Theoretical Ideas in Computer Science for Some.
Min-Max Relations, Hall’s Theorem, and Matching-Algorithms Graphs & Algorithms Lecture 5 TexPoint fonts used in EMF. Read the TexPoint manual before you.
Bart Jansen 1.  Problem definition  Instance: Connected graph G, positive integer k  Question: Is there a spanning tree for G with at least k leaves?
Minimum Clique Partition Problem with Constrained Weight for Interval Graphs Jianping Li Department of Mathematics Yunnan University Jointed by M.X. Chen.
Chapter 8 Topics in Graph Theory
Minimum Vertex Cover in Rectangle Graphs
Lecture 5 Graph Theory. Graphs Graphs are the most useful model with computer science such as logical design, formal languages, communication network,
22C:19 Discrete Math Graphs Fall 2014 Sukumar Ghosh.
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
Greedy Algorithms Greed is good. (Some of the time)
A Separator Theorem for Graphs with an Excluded Minor and its Applications Paul Seymour Noga Alon Robin Thomas Lecturer : Daniel Motil.
1 EE5900 Advanced Embedded System For Smart Infrastructure Static Scheduling.
Approximation Algorithms Chapter 5: k-center. Overview n Main issue: Parametric pruning –Technique for approximation algorithms n 2-approx. algorithm.
Combinatorial Algorithms
Optimization of Pearl’s Method of Conditioning and Greedy-Like Approximation Algorithm for the Vertex Feedback Set Problem Authors: Ann Becker and Dan.
The number of edge-disjoint transitive triples in a tournament.
Applied Discrete Mathematics Week 12: Trees
Approximation Algorithms
Mycielski’s Construction Mycielski’s Construction: From a simple graph G, Mycielski’s Construction produces a simple graph G’ containing G. Beginning with.
What is the next line of the proof? a). Let G be a graph with k vertices. b). Assume the theorem holds for all graphs with k+1 vertices. c). Let G be a.
Vertex Cover, Dominating set, Clique, Independent set
NP-Complete Problems Reading Material: Chapter 10 Sections 1, 2, 3, and 4 only.
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
Approximation Algorithms
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.
What is the next line of the proof? a). Assume the theorem holds for all graphs with k edges. b). Let G be a graph with k edges. c). Assume the theorem.
Approximation Algorithms Motivation and Definitions TSP Vertex Cover Scheduling.
9.2 Graph Terminology and Special Types 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.
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
2IL05 Data Structures Fall 2007 Lecture 13: Minimum Spanning Trees.
Spring 2015 Lecture 11: Minimum Spanning Trees
Graphs Rosen, Chapter 8. Isomorphism (Rosen 560 to 563) Are two graphs G1 and G2 of equal form? That is, could I rename the vertices of G1 such that the.
Edge-disjoint induced subgraphs with given minimum degree Raphael Yuster 2012.
Approximation Algorithms
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Chapter 1 Fundamental Concepts Introduction to Graph Theory Douglas B. West July 11, 2002.
Planar Graphs Graph Coloring
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
An Introduction to Graph Theory
Graph Theory and Applications
Chap. 11 Graph Theory and Applications 1. Directed Graph 2.
Implicit Hitting Set Problems Richard M. Karp Erick Moreno Centeno DIMACS 20 th Anniversary.
Chapter 4 Partition (1) Shifting Ding-Zhu Du. Disk Covering Given a set of n points in the Euclidean plane, find the minimum number of unit disks to cover.
© The McGraw-Hill Companies, Inc., Chapter 12 On-Line Algorithms.
Introduction to Graph Theory Lecture 13: Graph Coloring: Edge Coloring.
Introduction to Graph Theory
8.4 Closures of Relations Definition: The closure of a relation R with respect to property P is the relation obtained by adding the minimum number of.
Great Theoretical Ideas in Computer Science for Some.
11 -1 Chapter 12 On-Line Algorithms On-Line Algorithms On-line algorithms are used to solve on-line problems. The disk scheduling problem The requests.
Approximation Algorithms based on linear programming.
CHAPTER SIX T HE P ROBABILISTIC M ETHOD M1 Zhang Cong 2011/Nov/28.
Trees.
An Introduction to Graph Theory
Minimum Spanning Tree 8/7/2018 4:26 AM
Graph theory Definitions Trees, cycles, directed graphs.
Advanced Algorithms Analysis and Design
Greedy Algorithms / Minimum Spanning Tree Yin Tat Lee
Chapter 5. Optimal Matchings
3.3 Applications of Maximum Flow and Minimum Cut
ICS 353: Design and Analysis of Algorithms
Enumerating Distances Using Spanners of Bounded Degree
Problem Solving 4.
Existence of 3-factors in Star-free Graphs with High Connectivity
N(S) ={vV|uS,{u,v}E(G)}
Ch09 _2 Approximation algorithm
Locality In Distributed Graph Algorithms
Presentation transcript:

Covers, Dominations, Independent Sets and Matchings AmirHossein Bayegan Amirkabir University of Technology

Basic Concepts Vertex Cover ◦ If G(V,E) is a graph, then a vertex of G is said to cover any edge of G that is incident with ◦ A set of vertices in G that covers every edge of G is called a vertex cover Edge Cover ◦ An edge covers its endpoints ◦ A set of edges in G that covers every vertex of G is called an edge cover

Vertex Dominating Set ◦ A vertex is said to dominate both itself and any adjacent vertex ◦ A vertex dominating set is a set of vertices S such that every vertex in G is dominated by some vertex in S Edge Dominating Set ◦ An edge is said to dominate the edges incident to its endpoints as well as itself ◦ An edge dominating set is a set of vertices X such that every edge in G is dominated by some edge in X

Independent Set of Vertices ◦ A set of vertices no two of which are adjacent Independent Set of Edges or Matching ◦ A set of edges no two of which are adjacent  Minimum cardinality of a vertex cover of G: Min-VCov(G)  Minimum cardinality of an edge cover of G: Min-ECov(G)  Minimum cardinality of a vertex dominating set: Min-VDom(G)  Minimum cardinality of a edge dominating set: Min-EDom(G)  Maximum cardinality of a matching on G: Max-Match(G)  Maximum cardinality of a vertex independent set: Max-Indep(G)

Theorem : if G(V,E) is a graph with no isolated vertices then 1.Min-EDom(G)  Max-Match(G)  Min-VCov(G), and 2.Min-VDom(G)  Max-Indep(G)  Min-ECov(G) Theorem (Gallai’ s Complementarity Relations): if G(V,E) is a graph with no isolated vertices then 1.Max-Match(G) + Min-ECov(G) = |V(G)| 2.Max-Indep(G) + Min-VCov(G) = |V(G)|

We present an O(n log n) time approximation algorithm with absolute worst-case ratio, due to Chiba, Nishizeki and Saito The algorithm is based on the following ideas: (i) we can reduce the problem on a general planar graph to one on a planar graph having no vertices of degree 4 or less; (ii) we can design an O(n log n) time “on-line” algorithm to execute any sequence of vertex-identifications and edge deletions of a given planar graph. Approximation algorithm for maximum independent set in planar graphs

Lemma 7.1. Let a planar graph G = (V, E) contain a vertex v of degree 4 with N(v) = {v l, v 2, v 3, v 4 }, and let H be a subgraph of G induced by {v} U N(v). Then, renaming vertices in N(v) if necessary, we can assume that either (i) H is isomorphic with H 4 ; or (ii) H contains H’ 4 or H” 4 as a subgraph, and moreover (v 1,v 3 )  E Recall: Corollary 1.4. Every planar graph contains a vertex of degree at most 5

Theorem 7.2. For any planar graph G = (V, E) with n vertices, the algorithm finds an independent set of at least vertices. Proof : We proceed by induction on the number n of vertices of G ◦ for any planar graph having n < 4 vertices, our algorithm always finds an independent vertex set of at least one vertex 1.Inductive hypothesis 2. algorithm always adds at least one vertex to I(G’) to form an independent set I(G) 3. the degree of v is 5 or less 1+2+3

Theorem: If G is a planar connected graph with minimum degree 3, 4, or 5, a maximum independent set of G contains less than 2n/3, 2n/4, or 2n/5 vertices, respectively. Proof. Let I*  V be a maximum independent set of G. Let G’ be the spanning subgraph obtained from G by deleting all the edges having both ends in V - I*, and assume that G’ has m’ edges. Since G‘ is a planar bipartite graph with n vertices, d(G, v) = d(G’, v) for every vertex v in so according to the minimum degree:, or So, or

Theorem 7.1. For any planar graph G = (V, E), the algorithm finds an independent set of G with worst-case ratio Proof. ◦ If d m (G)  5 we use last two theorems ◦ If d m (G)  4 it suffice to show that We consider three cases depending on d m (G):

The bound on the worst-case ratio is sharp

The data structure of the algorithm:

Lemma 7.2. Let G = (V, E) be a graph, and let s be any sequence of edge deletions on G. There exists an on-line algorithm to execute s in O(m) time. Lemma 7.3. Let G = (V, E) be a graph, and let s be any sequence of identifications on G. There exists an on-line algorithm to execute s in at most O(min {mlogn, n 2 }) time.

Proof: The total amount of time T(s) required for s satisfies: we shall show that T(s) is at most O(m log n): Consider multigraphs G* i corresponding to G i, in which the multiple edges and loops produced by identifications are not deleted. We have The surrogate of u i, in G* i+1 has degree at least twice as large as u i, in G* i. The degree of a vertex is nondecreasing, and the degree of a vertex in G* i+1 is clearly at most 2m. Therefore the total cost is at most 2m log2m = O(m log n)

Theorem 7.3. The algorithm spends at most O(n logn) time on a planar graph G =(V,E). we can find a vertex v of minimum degree in a constant time IdentificationO(m logn) edge-deletion O(m) deletion of an isolated vertexO(n) TotalO(n logn)

Baker’s algorithm Approximation algorithm for the maximum independent set problem on planar graphs Attains the worst-case ratio k/(k + 1) and runs in O(8 k kn) time for any positive integer k K Time worst-case ratio 1 linear ½ loglog n O(n(1og n) 3 log log n) log log n/(1 + log log n)

1. choose k as an appropriate integer 2. consider a plane embedding of a given graph G and define the level of a vertex as follows: the vertices on the outer boundary have level 1 ; the vertices on the outer boundary of the subgraph obtained by deleting the level i - 1 vertices have level i; 3. for each i, 0  i  k, do the following: construct graph G i = G - V i, where V i is the set of all the vertices of level i(mod k+ 1 ) (all the components of G, are “k-outerplanar”, that is, it has an embedding having no vertex of level > k); find a maximum independent set I*(G i ) of G, by taking union of those of the components; 4. output the largest I*(G i ) as the solution of G.

A maximum independent set I*(G) of G is partitioned into k + 1 subsets {I*(G) ∩ V i | i = 0, 1, , k} Clearly the smallest one contains at most 1/(k + 1) of I*(G) Therefore the largest I*(G i ) satisfies |I*(G i )|≥k|I*(G)|/(k + 1) worst-case ratio k/(k + 1)

Matching and processor scheduling Suppose we have set of tasks each takes a unit time The order the tasks can be scheduled is restricted by precedence constraints We will show how to schedule these tasks in parallel on a pair of processors in such a way as to minimize the earliest completion of the system We shall bound the completion time in terms of the size of matching

The optimal scheduling algorithm is as follows: 1. Identify tasks T i1 to T ik having no successors and assign them priorities 1 to k, respectively. Say next to k+1 2. repeat (2a and b) until every task has been assigned a priority a.For each task T all of whose successor tasks s 1,…,s m have been assigned a priority, let v(T) be an m-vector components as the priority labels of tasks in ascending order b.Select lexicographically smallest vector-labelled task T, and set priority(T) to next. Then set next to next+1 3. Whenever a processor becomes free assign it to the highest priority task remaining to complete

31 (1,3) (3) 2 (2,6) (2,4) (5,8) (7)

Theorem(Scheduling Lower Bound). Let a system of tasks constrained by a set of precedence constraints represented by a digraph G(V,E) be defined as shown. Let t min denote the minimum time in which the task system can be completed. Then t min  M() returns a maximum matching  C() returns the complement  U() returns undirected graph  T() returns transitive closure

T1T1 T2T2 T5T5 T3T3 T4T4 Task precedence graph T1T1 T4T4 T3T3 T2T2 T5T5 Associated graph C(U(T(G))) T1T1 T4T4 T3T3 T2T2 T5T5 M M

Thanks ?