Solving the Maximum Independent Set Problem for -free planar graphs Sarah Bleiler DIMACS REU 2005 Advisor: Dr. Vadim Lozin, RUTCOR.

Slides:



Advertisements
Similar presentations
Min-Max Relations, Hall’s Theorem, and Matching-Algorithms Graphs & Algorithms Lecture 5 TexPoint fonts used in EMF. Read the TexPoint manual before you.
Advertisements

Connectivity - Menger’s Theorem Graphs & Algorithms Lecture 3.
Covers, Dominations, Independent Sets and Matchings AmirHossein Bayegan Amirkabir University of Technology.
1 Graphs with Maximal Induced Matchings of the Same Size Ph. Baptiste 1, M. Kovalyov 2, Yu. Orlovich 3, F. Werner 4, I. Zverovich 3 1 Ecole Polytechnique,
Approximation Algorithms
22C:19 Discrete Math Graphs Fall 2010 Sukumar Ghosh.
22C:19 Discrete Math Graphs Fall 2014 Sukumar Ghosh.
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
Great Theoretical Ideas in Computer Science for Some.
A survey of some results on the Firefighter Problem Kah Loon Ng DIMACS Wow! I need reinforcements!
Approximative Kernelization: On the Trade-off between Fidelity and Kernel Size joint with Michael Fellows and Frances Rosamond Charles Darwin University.
Planar / Non-Planar Graphs Gabriel Laden CS146 – Spring 2004 Dr. Sin-Min Lee.
CS774. Markov Random Field : Theory and Application Lecture 17 Kyomin Jung KAIST Nov
Between 2- and 3-colorability Rutgers University.
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
Great Theoretical Ideas in Computer Science.
1 Discrete Structures & Algorithms Graphs and Trees: II EECE 320.
CS138A Maximum Bipartite Matching Peter Schröder.
Matchings Matching: A matching in a graph G is a set of non-loop edges with no shared endpoints.
Clique-Width of Monogenic Bipartite Graphs Jordan Volz DIMACS REU 2006 Mentor: Dr. Vadim Lozin, RUTCOR.
Graph Theory Ming-Jer Tsai. Outline Graph Graph Theory Grades Q & A.
Matchings Matching: A matching in a graph G is a set of non-loop edges with no shared endpoints Maximal Matching: A maximal matching in a graph is a matching.
Clique Width of Monogenic Bipartite Graphs Jordan Volz DIMACS REU 2006 Mentor: Dr. Vadim Lozin, RUTCOR.
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.
The Maximum Independent Set Problem Sarah Bleiler DIMACS REU 2005 Advisor: Dr. Vadim Lozin, RUTCOR.
MATH 310, FALL 2003 (Combinatorial Problem Solving) Lecture 10, Monday, September 22.
Problem: Induced Planar Graphs Tim Hayes Mentor: Dr. Fiorini.
22C:19 Discrete Math Graphs Spring 2014 Sukumar Ghosh.
Part I: Introductory Materials Introduction to Graph Theory Dr. Nagiza F. Samatova Department of Computer Science North Carolina State University and Computer.
Homework solution Problem 2. The number of odd degree vertices in a graph is even. (recom. book: G. Harary: Graph Theory) Solution: Let G=(V,E,w) S= 
GRAPH Learning Outcomes Students should be able to:
1 Treewidth, partial k-tree and chordal graphs Delpensum INF 334 Institutt fo informatikk Pinar Heggernes Speaker:
Group 10 Project Part 3 Derrick Jasso Rodolfo Garcia Ivan Lopez M.
Fan-planar Graphs: Combinatorial Properties and Complexity results Carla Binucci, Emilio Di Giacomo, Walter Didimo, Fabrizio Montecchiani, Maurizio Patrignani,
Approximation Algorithms
5.8 Graph Matching  Example: Set of worker assign to a set of task  Four tasks are to be assigned to four workers.  – Worker 1 is qualified to do tasks.
CSCI 3160 Design and Analysis of Algorithms Chengyu Lin.
Approximation Algorithms for NP-hard Combinatorial Problems Magnús M. Halldórsson Reykjavik University Local Search, Greedy and Partitioning
 Ⅰ Introduction to Set Theory  1. Sets and Subsets  Representation of set:  Listing elements, Set builder notion, Recursive definition  , ,  
MAT 2720 Discrete Mathematics Section 8.7 Planar Graphs
1/24 Introduction to Graphs. 2/24 Graph Definition Graph : consists of vertices and edges. Each edge must start and end at a vertex. Graph G = (V, E)
The Dominating Set and its Parametric Dual  the Dominated Set  Lan Lin prepared for theory group meeting on June 11, 2003.
Graph.
5.8 Graph Matching  Example: Set of worker assign to a set of task  Four tasks are to be assigned to four workers.  – Worker 1 is qualified to do tasks.
An Introduction to Graph Theory
Graph Theory and Applications
NP-completeness NP-complete problems. Homework Vertex Cover Instance. A graph G and an integer k. Question. Is there a vertex cover of cardinality k?
NPC.
1 Complexities of some interesting problems on spanning trees M Sohel Rahman King’s College, London M Kaykobad KHU, NSU and BUET.
Problems in Combinatorial Optimization. Linear Programming.
Indian Institute of Technology Kharagpur PALLAB DASGUPTA Graph Theory: Planarity Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT.
Eternal Domination Chip Klostermeyer.
Approximation Algorithms Greedy Strategies. I hear, I forget. I learn, I remember. I do, I understand! 2 Max and Min  min f is equivalent to max –f.
Computers versus human brains a cooperative game for scientific discoveries Alain Hertz Polytechnique Montréal Mons, August 23, 2017.
Bipartite Matching Lecture 8: Oct 7.
Graph theory Definitions Trees, cycles, directed graphs.
What is the next line of the proof?
Great Theoretical Ideas in Computer Science
Discrete Mathematics for Computer Science
Vertex Covers, Matchings, and Independent Sets
Approximation Algorithms
Problem Solving 4.
5.4 T-joins and Postman Problems
MAT 2720 Discrete Mathematics
Planarity.
Minimal Universal Bipartite Graphs
N(S) ={vV|uS,{u,v}E(G)}
GRAPH THEORY Properties of Planar Graphs Ch9-1.
GRAPH THEORY Properties of Planar Graphs Ch9-1.
Presentation transcript:

Solving the Maximum Independent Set Problem for -free planar graphs Sarah Bleiler DIMACS REU 2005 Advisor: Dr. Vadim Lozin, RUTCOR

Definitions Planar: a graph which can be drawn in a plane with no edges crossing. -free: A graph which contains no connected components of the form. j k S i,j,k i

Theorem 1 [Lozin, Mosca] Let X be a subclass of planar graphs defined by a finite set F of forbidden induced planar graphs. If, then the maximum independent set problem is NP-hard in the class X.

Augmenting Graphs Let S be any independent set in G. Label V(S) as white and V(G-S) as black. A bipartite graph H=(W,B,E) of G is said to be augmenting for S if:

Minimal Augmenting Graphs If H=(W,B,E) is a minimal augmenting graph for an independent set S, then i.H is connected ii. iii.For every subset

Our Problem Find a solution to the MIS problem in -free planar graphs. Procedure: (a) find a complete list of augmenting graphs in the class under consideration (b) develop polynomial-time algorithms for detecting all augmenting graphs in the class

Find augmenting graphs of bounded degree Theorem 2 [Lozin, Milanič]: For any positive integers n and d, there are only finitely many -free minimal augmenting graphs of maximal degree at most d, different from strips and bracelets.

Find augmenting graphs of unbounded degree Conjecture: In the class of -free planar graphs, there are no augmenting graphs with a vertex of unbounded degree. Hall’s Theorem: A bipartite graph H with bipartitions B and W has a perfect matching iff for all subsets A of W.

Let Y denote the set of white neighbors of v 1 and let Z denote the set of black vertices matched with the vertices of Y. … Y Z v1v1

Suppose there exist pairs of vertices of Z which share a neighborhood in Y of cardinality >2… … Y Z v1v1

Suppose there exist pairs of vertices of Z which share a neighborhood in Y of cardinality =2… … Y Z v1v1

Suppose there exist pairs of vertices of Z which share a neighborhood in Y of cardinality =1… … Y Z v1v1

Suppose there do not exist pairs of vertices of Z which share neighborhoods in Y… … Y Z v1v1

An algorithm to find augmenting strips? We know how to find augmenting chains Characterize the “twins” of the augmenting strips. Reduction to claw-free weighted graphs?

References [1] A. Hertz, V.V. Lozin, The Maximum Independent Set Problem and Augmenting Graphs. Graph Theory and Combinatorial Optimization, 1:1-32, [2] V.V.Lozin, M. Milanič, On Finding Augmenting Graphs. [3] V.V. Lozin, R. Mosca, Maximum Independent Sets in Planar Graphs. RUTCOR Research Report 40, [4] Eric W. Weisstein. "Maximum Independent Set." From Mathworld--A Wolfram Web Resource.