1 Refined Search Tree Technique for Dominating Set on Planar Graphs Jochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Fran.

Slides:



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

CS 336 March 19, 2012 Tandy Warnow.
From Approximative Kernelization to High Fidelity Reductions joint with Michael Fellows Ariel Kulik Frances Rosamond Technion Charles Darwin Univ. Hadas.
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?
Covers, Dominations, Independent Sets and Matchings AmirHossein Bayegan Amirkabir University of Technology.
Minimum Vertex Cover in Rectangle Graphs
Bipartite Matching, Extremal Problems, Matrix Tree Theorem.
Generalization and Specialization of Kernelization Daniel Lokshtanov.
Theory of Computing Lecture 18 MAS 714 Hartmut Klauck.
Bart Jansen, Utrecht University. 2  Max Leaf  Instance: Connected graph G, positive integer k  Question: Is there a spanning tree for G with at least.
Approximative Kernelization: On the Trade-off between Fidelity and Kernel Size joint with Michael Fellows and Frances Rosamond Charles Darwin University.
Bart Jansen, Utrecht University. 2  Max Leaf  Instance: Connected graph G, positive integer k  Question: Is there a spanning tree for G with at least.
Polynomial Time Approximation Schemes Presented By: Leonid Barenboim Roee Weisbert.
One of the most important problems is Computational Geometry is to find an efficient way to decide, given a subdivision of E n and a point P, in which.
Approximation Algorithms Chapter 5: k-center. Overview n Main issue: Parametric pruning –Technique for approximation algorithms n 2-approx. algorithm.
CS774. Markov Random Field : Theory and Application Lecture 17 Kyomin Jung KAIST Nov
Fast FAST By Noga Alon, Daniel Lokshtanov And Saket Saurabh Presentation by Gil Einziger.
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
Graph Modeled Data Clustering: Fixed Parameter Algorithms for Clique Generation J. Gramm, J. Guo, F. Hüffner and R. Niedermeier Theory of Computing Systems.
CPSC 689: Discrete Algorithms for Mobile and Wireless Systems Spring 2009 Prof. Jennifer Welch.
Computational Geometry Seminar Lecture 1
A general approximation technique for constrained forest problems Michael X. Goemans & David P. Williamson Presented by: Yonatan Elhanani & Yuval Cohen.
Randomized Process of Unknowns and Implicitly Enforced Bounds on Parameters Jianer Chen Department of Computer Science & Engineering Texas A&M University.
SubSea: An Efficient Heuristic Algorithm for Subgraph Isomorphism Vladimir Lipets Ben-Gurion University of the Negev Joint work with Prof. Ehud Gudes.
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.
Complexity ©D.Moshkovitz 1 Paths On the Reasonability of Finding Paths in Graphs.
Hardness Results for Problems
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 the MST Weight in Sublinear Time Bernard Chazelle (Princeton) Ronitt Rubinfeld (NEC) Luca Trevisan (U.C. Berkeley)
Theory of Computing Lecture 10 MAS 714 Hartmut Klauck.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
Fixed Parameter Complexity Algorithms and Networks.
Simple and Improved Parameterized Algorithms for Multiterminal Cuts Mingyu Xiao The Chinese University of Hong Kong Hong Kong SAR, CHINA CSR 2008 Presentation,
Slide 14-1 Copyright © 2005 Pearson Education, Inc. SEVENTH EDITION and EXPANDED SEVENTH EDITION.
Kernel Bounds for Structural Parameterizations of Pathwidth Bart M. P. Jansen Joint work with Hans L. Bodlaender & Stefan Kratsch July 6th 2012, SWAT 2012,
Approximating Minimum Bounded Degree Spanning Tree (MBDST) Mohit Singh and Lap Chi Lau “Approximating Minimum Bounded DegreeApproximating Minimum Bounded.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
CSE 326: Data Structures NP Completeness Ben Lerner Summer 2007.
The Selection Problem. 2 Median and Order Statistics In this section, we will study algorithms for finding the i th smallest element in a set of n elements.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
Computational Geometry Piyush Kumar (Lecture 10: Point Location) Welcome to CIS5930.
On Reducing Broadcast Redundancy in Wireless Ad Hoc Network Author: Wei Lou, Student Member, IEEE, and Jie Wu, Senior Member, IEEE From IEEE transactions.
Data Structures & Algorithms Graphs
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Planar Graphs Graph Coloring
Agenda Review: –Planar Graphs Lecture Content:  Concepts of Trees  Spanning Trees  Binary Trees Exercise.
The Dominating Set and its Parametric Dual  the Dominated Set  Lan Lin prepared for theory group meeting on June 11, 2003.
Topics in Algorithms 2007 Ramesh Hariharan. Tree Embeddings.
Two Connected Dominating Set Algorithms for Wireless Sensor Networks Overview Najla Al-Nabhan* ♦ Bowu Zhang** ♦ Mznah Al-Rodhaan* ♦ Abdullah Al-Dhelaan*
Algorithms for hard problems Introduction Juris Viksna, 2015.
Final Review Chris and Virginia. Overview One big multi-part question. (Likely to be on data structures) Many small questions. (Similar to those in midterm.
 2004 SDU 1 Lecture5-Strongly Connected Components.
NOTE: To change the image on this slide, select the picture and delete it. Then click the Pictures icon in the placeholder to insert your own image. Fast.
Polygon Triangulation
Trees.
Fixed Parameter Tractability for Graph Drawing Sue Whitesides Computer Science Department.
Joint work with Hans Bodlaender
Bipartite Matching Lecture 8: Oct 7.
Algorithms and Complexity
Tucker, Applied Combinatorics, Sec 2.4
Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen June 4th, WORKER 2015, Nordfjordeid, Norway.
Parameterised Complexity
Bart M. P. Jansen June 3rd 2016, Algorithms for Optimization Problems
Constrained Bipartite Vertex Cover: The Easy Kernel is Essentially Tight Bart M. P. Jansen February 18th, STACS 2016, Orléans, France.
REDUCESEARCH Polynomial Kernels for Hitting Forbidden Minors under Structural Parameterizations Bart M. P. Jansen Astrid Pieterse ESA 2018 August.
Chapter 11 Limitations of Algorithm Power
Complexity Theory in Practice
Ch09 _2 Approximation algorithm
Constructing a m-connected k-Dominating Set in Unit Disc Graphs
Presentation transcript:

1 Refined Search Tree Technique for Dominating Set on Planar Graphs Jochen Alber, Hongbing Fan, Michael R. Fellows, Henning Fernau, Rolf Niedermeier, Fran Rosamond, and Ulrike Stege

2 Outline Background Techniques to cope with NP-hardness Paper Technique Analysis

3 Background

4 Introduction Techniques used to cope with NP-hardness: approximate solutions randomization quantum mechanics, bio-molecular chemistry … … and Fixed Parameter Tractability (FPT)

5 What is FPT? Tractability of a problem having a large input size up to a small fixed parameter i.e. “exactly” solving a limited version of an NP-hard problem The problem has to have an algorithm of running time O(f(k).n O(1) ) [k<<n]

6 Classification NP = O(c n ) FPT = O(f(k).n O(1) ) P = O(n O(1) ) P [subset of] FPT [subset of] NP

7 Foundations of FPT 3 basic problems of FPT theory – Vertex Cover Independent Set Dominating Set

8 Determine a vertex cover of at most k vertices that cover all edges Complete enumeration: O(n k ) possibilities k-Vertex Cover

9 FPT Solution techniques Kernelization (or data-reduction) Remove redundancy Reduce the problem to a simpler version Ex: In k-vertex cover, simply include any vertex having degree > k

10 … FPT solution techniques Bounded-Search Tree O(2 k n) possibilities – linear in n! Start with 2 sets: Set of included vertices I = Ø Set of excluded vertices E = G Build a binary tree of height k using “edges” At each step add 1 vertex from edges in E to I Bound: Remove that edge and neighboring edges for a smaller tree

11 k-Vertex Cover Search Tree Tree height ≤ k Number of nodes O(2 k ) Hence complete search requires 2 k * poly steps

12 k-Independent Set A set of k-disconnected vertices Complete enumeration: O(n k ) possibilities

13 k-Independent Set Search Tree Bound: Choose any vertex from [a vertex + its neighbors], delete them all and continue Complete search requires O((d+1) k.n) Just like every vertex has 2 branches in k-vertex cover tree - vertex itself IN or its neighbor IN Here there are d+1 branches

14 k-Dominating Set Either a vertex or its connected neighbor is in the dominating set (So vertices cover other vertices) Searching in O((d+1) k.n) time like k-Independent set (i.e. bounding) not possible! Only possible for planar graphs

15 The Paper

16 Previous research An O(c √k n) algorithm was proposed before large c (= 3 6√34 ) used advance techniques like tree-width thus - theoretically efficient but not easy to implement This paper gives an O(c k n) algorithm (c = 8) uses a combination of kernelization and bounded- search

17 Annotated Dominating Set A planar black and white graph i.e. G = (B [du] W, E) Find a set of k vertices that dominate all black vertices

18 Definitions Open Neighborhood: N(u) = {v Є V | {u, v} Є E} Closed Neighborhood: N[u] = N(u) U {u} Pendant vertex - a vertex of degree one

19 The basics Branching according to a low-degree black vertex Use of reduction rules (re-kernelization) Whenever a new vertex u is IN, k-1 more vertices are required … … and whiten the neighbors of u (Why?)

20 The Idea A dominating set problem has 3 types of vertices: Dominated (black) Dominating (black or white) -DS Untouched (black or white)

21 The Idea At any point, add the vertex adjacent to an untouched black vertex to DS + reduce k The added vertex could be black or white Once that is added, whiten its neighbors (as they are also dominated) If any neighbor is black, then it is already dominated anyway and k shouldn’t reduce If it is white, we don’t care anyways! Going on like this will guarantee an exact solution having k vertices

22 7 Reduction Rules - R1 Delete edges between white vertices After this white vertices connected only to black vertices

23 R2 Delete a pendant white vertex

24 R3 - Branching on a low- degree black vertex Delete a pendant black vertex w, put its neighbor u (black or white) in D, whiten neighbors of u and lower k to k − 1 This is the only rule that builds D

25 R4 Delete a white vertex u of degree 2 having two black neighbors u 1 and u 2 connected by an edge {u 1, u 2 }

26 R5 Delete a white vertex u of degree 2 with black neighbors u 1, u 3, if there is a black vertex u 2 with edges {u 1, u 2 } and {u 2, u 3 }

27 R6 Delete a white vertex u of degree 2 with black neighbors u 1, u 3, if there is a white vertex u 2 and edges {u 1, u 2 } and {u 2, u 3 }

28 R7 Delete a white vertex u of degree 3, with black neighbors u 1, u 2, u 3 for which the edges {u 1, u 2 } and {u 2, u 3 } are present

29 A Few Observations Rules are sound Reduction by each rule is linear time

30 Definitions G is reduced if any of the above rules cannot be applied anymore to it G is nearly reduced if (R1), (R2), (R4)–(R7) cannot be applied anymore to it

31 Plane Embedding Planar Graph  embedding  Plane Graph

32 Main Result and Intuition of the Proof

33 A New Branching Theorem If G is nearly reduced planar black and white graph with b black and w white vertices, then max degree of black vertices is 7 Main technique: Euler’s formula for planar graphs extended for plane black and white graphs

34 Embed the Graph H = G[B] is plane sub-graph of black vertices of the nearly reduced plane graph G F is the set of faces (i.e. “face-graph”) of H f H = |F| = number of faces of H c H = number of connected components of H

35 Extended Euler Formula For graph G: Let: v = b + w e = e bb + e bw v − e + f = 2 (- original Euler formula) For graph H: b − e bb + f H = 1 + c H (- extended Euler formula)

36 Let z = (3(b + w) − 6) − e = number of edges for which G fails to be a triangulation of the plane Triangulation Error

37 Main Result Lemma 4: If 3w − 4b − z + f H − c H < 7 is satisfied - EQN (A) then max degree of black vertices is 7

38 Proof Outline Take a nearly reduced black and white plane graph G Determine H and its “face graph” Build equations inductively from face graph to entire graph Determine c H in terms of c F of each face F c F = total connected components on boundary of F - 1 Determine z in terms of z F of each face F of G z F = total edges to be added to F for triangulation

39 Proof Outline Substitute them in EQN (A) to get: 3 ∑ FЄҒ (w F +c F /3 −z F /3 +1/3)−4b −2c H < 6 - EQN (B) (w F = number of white vertices embedded in F) Determine t F in terms of e bb - EQN (C) t F = total edges needed to triangulate F of H (i.e. to triangulate only black vertices on F’s boundary as they may be disconnected)

40 Proof Outline Consider that for any face of G w F + c F ≤ z F EQN (D) w F ≤ t F - EQN (E) Use EQN (C, D, E) to solve the first term of EQN (B) Thus prove the inequality

41 New Search Tree algorithm Apply Reduction Rules Construct a k-DS from the reduced graph Here, running time - O(8 k n)

42 Degree of each black vertex = 7 Degree of each white vertex = 4 Optimality of Rules

43 Future Work Adding more involved reduction rules Investigating if and how more technical approaches such as tree decompositions could be used in the algorithm

44 Questions?

45 Ponder this (Question 1) We know that there is one NP-hard problem called minimum Dominating Set. Suppose we solve it by brute force and get an answer where the minimum number of vertices that dominate all others are n. Now, for the same graph, if we are solving the k-Dominating Set problem, if k < n then what will happen?

46 Food for thought (Question 2) Finding min DS is NP-hard Take a graph and run a breath-first-search on it Running time = O(# of Vertices + # of Edges) The interior nodes of the resulting tree form a “connected” DS Pick such smallest tree – it will form min “connected” DS running time O(# of Vertices) Total Running time = O(V 2 + EV) Hence P = NP! What is the flaw in this argument?

47 Thanks for your patience!