Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs
|
|
- Priscilla Newton
- 7 years ago
- Views:
Transcription
1 Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs Sariel Har-Peled Kent Quanrud University of Illinois at Urbana-Champaign October 19, 2015
2 1. Pregame Gameplan - definition of problems - a hardness result 2. Low-density objects and graphs - basic properties - overview of results 3. Polynomial expansion - basic properties - overview of results halftime! 4. Two proofs - independent set - dominating set
3 f Fat objects
4 f Fat objects
5 Fat objects f b
6 Fat objects f b
7 Fat objects vol(b f) vol(b) = Ω(1) f b
8 Hitting set Input: Set of points P, fat objects F Output: The smallest cardinality subset of P that pierces every object in F.
9 Hitting set Input: Set of points P, fat objects F Output: The smallest cardinality subset of P that pierces every object in F.
10 Set cover Input: Set of points P, fat objects F Output: Find the smallest cardinality subset of F that covers every point in P.
11 Set cover Input: Set of points P, fat objects F Output: Find the smallest cardinality subset of F that covers every point in P.
12 Disks and Pseudo-disks
13 Disks and Pseudo-disks Set Cover NP-Hard PTAS Feder and Greene 1988 Mustafa, Raman and Ray 2014 Hitting Set NP-Hard Feder and Greene 1988 PTAS Mustafa and Ray 2010
14 Fat objects Set cover O(1) approx. for fat triangles of same size Clarkson and Varadarajan 2007
15 Fat objects Set cover O(log OPT) for fat objects in R 2 Aronov, de Berg, Ezra and Sharir 2014
16 Fat objects Hitting set O(log log OPT) for fat triangles of similar size Aronov, Ezra and Sharir 2010
17 Fat, nearly equilateral triangles Set cover APX-Hard Hitting set APX-Hard
18 Fat, nearly equilateral triangles Set cover APX-Hard Hitting set APX-Hard
19 Fat, nearly equilateral triangles Set cover APX-Hard Hitting set APX-Hard
20 Fat, nearly equilateral triangles Set cover APX-Hard 1 Hitting set APX-Hard
21 Fat, nearly equilateral triangles Set cover APX-Hard 1 Hitting set APX-Hard
22 Fat, nearly equilateral triangles Set cover APX-Hard Hitting set APX-Hard
23 Fat, nearly equilateral triangles Set cover APX-Hard 1 Hitting set APX-Hard
24 Fat, nearly equilateral triangles Set cover APX-Hard Hitting set APX-Hard
25 Fat, nearly equilateral triangles Set cover APX-Hard Hitting set APX-Hard
26 Density F has density ρ if any ball intersects ρ objects with larger diameter. van der Stappen, Overmars, de Berg, Vleugels, 1998
27 Density F has density ρ if any ball intersects ρ objects with larger diameter. van der Stappen, Overmars, de Berg, Vleugels, 1998
28 Density F has density ρ if any ball intersects ρ objects with larger diameter. van der Stappen, Overmars, de Berg, Vleugels, 1998
29 Density F has density ρ if any ball intersects ρ objects with larger diameter. van der Stappen, Overmars, de Berg, Vleugels, 1998
30 Density F has low density if ρ = O(1). van der Stappen, Overmars, de Berg, Vleugels, 1998
31 Intersection graphs F induces an intersection graph G F with objects as vertices and edges representing overlap.
32 Intersection graphs F induces an intersection graph G F with objects as vertices and edges representing overlap.
33 Intersection graphs F induces an intersection graph G F with objects as vertices and edges representing overlap.
34 Intersection graphs A graph has low-density if induced by low-density objects.
35 Examples of low density Interior disjoint disks have O(1) density.
36 Examples of low density Planar graphs have O(1)-density via Circle Packing Theorem. Koebe, Andreev, Thurston
37 Examples of low density Planar graphs have O(1)-density via Circle Packing Theorem. Koebe, Andreev, Thurston
38 Examples of low density Fat convex objects in R d with depth k have density O(k2 d ).
39 Examples of low density r Fat convex objects in R d with depth k have density O(k2 d ).
40 Examples of low density r Fat convex objects in R d with depth k have density O(k2 d ).
41 Examples of low density r Fat convex objects in R d with depth k have density O(k2 d ).
42 Examples of low density r r Fat convex objects in R d with depth k have density O(k2 d ).
43 Examples of low density r r Fat convex objects in R d with depth k have density O(k2 d ).
44 Examples of low density r r r Fat convex objects in R d with depth k have density O(k2 d ).
45 Additivity red density = ρ 1
46 Additivity blue density = ρ 2
47 Additivity red density = ρ 1 blue density = ρ 2
48 Additivity + red density = ρ 1 blue density = ρ 2
49 Additivity + red density = ρ 1 blue density = ρ 2 total density ρ 1 + ρ 2
50 Degeneracy If F has density ρ, then the smallest object intersects at most ρ 1 other objects.
51 Degeneracy If F has density ρ, then the smallest object intersects at most ρ 1 other objects.
52 Degeneracy If F has density ρ, then the smallest object intersects at most ρ 1 other objects.
53 Separators For k F, compute a sphere S that Strictly contains at least k o(k) objects and at most k objects. Intersects O(ρ + ρ 1/d k 1 1/d ) objects. 3r R c r Miller, Teng, Thurston, and Vavasis, 1997; Smith and Wormald, 1998; Chan 2003
54 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
55 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
56 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
57 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
58 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
59 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
60 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
61 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
62 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
63 Graph minors A minor of G is a graph H obtained by contracting edges, deleting edges, and deleting vertices.
64 Minors of objects G is a minor of F if it can be obtained by deleting objects and taking unions of overlapping of objects.
65 Minors of objects G is a minor of F if it can be obtained by deleting objects and taking unions of overlapping of objects.
66 Minors of objects G is a minor of F if it can be obtained by deleting objects and taking unions of overlapping of objects.
67 Minors of objects G is a minor of F if it can be obtained by deleting objects and taking unions of overlapping of objects.
68 Minors of objects G is a minor of F if it can be obtained by deleting objects and taking unions of overlapping of objects.
69 Minors of objects G is a minor of F if it can be obtained by deleting objects and taking unions of overlapping of objects.
70 Large clique minors
71 Large clique minors
72 Large clique minors
73 Large clique minors
74 Large clique minors
75 Large clique minors
76 Large clique minors
77 Large clique minors
78 Large clique minors
79 Large clique minors
80 Large clique minors
81 Large clique minors
82 Large clique minors
83 Shallow minors A vertex in H corresponds to a connected cluster of vertices in G.
84 Shallow minors H is a t-shallow minor if each cluster induces a graph of radius t.
85 Shallow minors H is a 1-shallow minor if each cluster induces a graph of radius 1.
86 Shallow minors H is a 2-shallow minor if each cluster induces a graph of radius 2.
87 Shallow minors of objects Each object in the minor corresponds to a cluster of objects in F.
88 Shallow minors of objects An object minor is a t-shallow minor if the intersection graph of each cluster has radius t.
89 Shallow minors of objects An object minor is a 1-shallow minor if the intersection graph of each cluster has radius 1.
90 Shallow minors of objects An object minor is a 2-shallow minor if the intersection graph of each cluster has radius 2.
91 Shallow minors of objects An object minor is a 3-shallow minor if the intersection graph of each cluster has radius 3.
92 Shallow minors of low-density objects A t-shallow minor of objects with density ρ has density O(tO(d)ρ)
93 Shallow minors of low-density objects A t-shallow minor of objects with density ρ has density O(tO(d)ρ)
94 Shallow minors of low-density objects A t-shallow minor of objects with density ρ has density O(tO(d)ρ)
95 Shallow minors of low-density objects A t-shallow minor of objects with density ρ has density O(tO(d)ρ)
96 Shallow minors of low-density objects A t-shallow minor of objects with density ρ has density O(tO(d)ρ)
97 Recap: low-density graphs are... + red density = ρ 1 blue density = ρ 2 total density ρ 1 + ρ 2 (a) additive 3r (b) degenerate (hence sparse) R c (c) separable r (d) kind of closed under shallow minors
98 Main result: low-density ρ = O(1): PTAS for hitting set, set cover, subset dominating set ρ = polylog(n): QPTAS for same problems. No PTAS under ETH.
99 Main result: low-density density ρ O(1) polylog(n) unbounded hardness NP-Hard No PTAS APX-Hard algo PTAS QPTAS
100 Main result: fat triangles depth density ρ O(1) polylog(n) unbounded hardness NP-Hard No PTAS APX-Hard algo PTAS QPTAS
101
102 Shallow edge density The r-shallow density of a graph is the max edge density over all r-shallow minors. aka greatest reduced average density Nešetřil and Ossona de Mendez, 2008
103 Sparsity is not enough Hide a clique by splitting the edges
104 Sparsity is not enough Hide a clique by splitting the edges
105 Expansion The expansion of a graph is the r-shallow density as a function of r. e.g. constant expansion, polynomial expansion, exponential expansion Nešetřil and Ossona de Mendez, 2008
106 Examples of expansion Planar graphs have constant expansion (Euler s formula) Minor-closed classes have constant expansion
107 Sparsity is not enough Constant degree expanders have exponential expansion Wikipedia
108 Low density polynomial expansion Graphs with density ρ have polynomial expansion f (r) = O(ρrd)
109 Low density polynomial expansion Graphs with density ρ have polynomial expansion f (r) = O(ρrd)
110 expansion constant polynomial exponential examples planar graphs, minor-closed families low-density graphs expander graphs
111 Recap: low-density graphs are... + red density = ρ 1 blue density = ρ 2 total density ρ 1 + ρ 2 (a) additive 3r (b) degenerate (hence sparse) R c (c) separable r (d) kind of closed under shallow minors
112 Lexical product G K h The lexical product G K h blows up each vertex in G with the clique K h.
113 Lexical product G K h V (G K 4 ) = V (G) V (K 4 ) The lexical product G K h blows up each vertex in G with the clique K h.
114 Lexical product G K h V (G K 4 ) = V (G) V (K 4 ) E(G K 4 ) = {((a 1, b 1 ), (a 2, b 2 )) a 1 = a 2 ))} The lexical product G K h blows up each vertex in G with the clique K h.
115 Lexical product G K h V (G K 4 ) = V (G) V (K 4 ) E(G K 4 ) = {((a 1, b 1 ), (a 2, b 2 )) a 1 = a 2 ))} {((a 1, b 1 ), (a 2, b 2 )) (a 1, a 2 ) E(G)} The lexical product G K h blows up each vertex in G with the clique K h.
116 Lexical product G K h V (G K 4 ) = V (G) V (K 4 ) E(G K 4 ) = {((a 1, b 1 ), (a 2, b 2 )) a 1 = a 2 ))} {((a 1, b 1 ), (a 2, b 2 )) (a 1, a 2 ) E(G)} If G has polynomial expansion, then G K h has polynomial expansion.
117 Small separators Graphs with subexponential expansion have sublinear separators. Nešetřil and Ossona de Mendez (2008)
118 Small separators Graphs with subexponential expansion have sublinear separators. Nešetřil and Ossona de Mendez (2008) Why?
119 Small separators Graphs with subexponential expansion have sublinear separators. Nešetřil and Ossona de Mendez (2008) Why? 1. No K h as an l-shallow minor implies a separator of size O(n/l + 4lh 2 log n). Plotkin, Rao, and Smith (1994)
120 Small separators Graphs with subexponential expansion have sublinear separators. Nešetřil and Ossona de Mendez (2008) Why? 1. No K h as an l-shallow minor implies a separator of size O(n/l + 4lh 2 log n). Plotkin, Rao, and Smith (1994) 2. Small expansion => small clique minors as a function of depth
121 Shallow minors of polynomial expansion Shallow minors of graphs with polynomial expansion have polynomial expansion. (If H is an r 1 -shallow minor of G, then an r 2 -shallow minor of H is an (r 1 r 2 )-shallow minor of G, and poly(r 1 r 2 ) = poly(r 2 ).)
122 Recap: polynomial expansion graphs are... V (G K4) = V (G) V (K4) E(G K4) = {((a1, b1), (a2, b2)) a1 = a2))} {((a1, b1), (a2, b2)) (a1, a2) E(G)} (a) closed under lexical product via separator for excluded shallow minors (c) separable FREE (b) degenerate FREE (d) kind of closed under shallow minors
123 Main result: polynomial expansion Graph G with polynomial expansion PTAS for (subset) dominating set Extensions: multiple demands, reach, connected dominating set, vertex cover.
124 PTAS for independent set
125 Recap: low-density graphs are... + red density = ρ 1 blue density = ρ 2 total density ρ 1 + ρ 2 (a) additive 3r (b) degenerate (hence sparse) R c (c) separable r (d) kind of closed under shallow minors
126 Balanced separators Input: G = (V, E) with n vertices. Output: Partition V = X S Y s.t. (a) X, Y.99n. (b) S n.99. (c) No edges run between X and Y.
127 Balanced separators Input: G = (V, E) with n vertices. Output: Partition V = X S Y s.t. (a) X, Y.99n. (b) S n.99. (c) No edges run between X and Y.
128 Balanced separators Input: G = (V, E) with n vertices. Output: Partition V = X S Y s.t. (a) X, Y.99n. (b) S n.99. (c) No edges run between X and Y.
129 Well-separated divisions Input: G = (V, E) w/ n vertices, ɛ (0, 1) Output: Cover V = C 1 C 2 C m s.t. (a) C i = poly(1/ɛ) for all i (b) No edges between C i \ C j and C j \ C i (c) i C i (1 + ɛ)n
130 Well-separated divisions Input: G = (V, E) w/ n vertices, ɛ (0, 1) Output: Cover V = C 1 C 2 C m s.t. (a) C i = poly(1/ɛ) for all i (b) No edges between C i \ C j and C j \ C i (c) i C i (1 + ɛ)n
131 Well-separated divisions Input: G = (V, E) w/ n vertices, ɛ (0, 1) Output: Cover V = C 1 C 2 C m s.t. (a) C i = poly(1/ɛ) for all i (b) No edges between C i \ C j and C j \ C i (c) i C i (1 + ɛ)n
132 Well-separated divisions Input: G = (V, E) w/ n vertices, ɛ (0, 1) Output: Cover V = C 1 C 2 C m s.t. (a) C i = poly(1/ɛ) for all i (b) No edges between C i \ C j and C j \ C i (c) i C i (1 + ɛ)n
133 Separators divisions Frederickson (1987)
134 Local search local-search(g = (V, E), ɛ) L, λ poly(1/ɛ) while there exists S V s.t. (a) S λ (b) L S is an independent set (c) L S > L do L L S end while return L
135 Independent set: proof setup O: Optimal solution L: λ-locally optimal sol n for λ = poly(1/ɛ)
136 Independent set: proof setup O: Optimal solution L: λ-locally optimal sol n for λ = poly(1/ɛ) O L has low density (by additivity)
137 Independent set: proof setup O: Optimal solution L: λ-locally optimal sol n for λ = poly(1/ɛ) O L has low density (by additivity) {C 1,..., C m }: w.s.-division of O L
138 Independent set: proof setup O: Optimal solution L: λ-locally optimal sol n for λ = poly(1/ɛ) O L has low density (by additivity) {C 1,..., C m }: w.s.-division of O L ( ) B i = C i j i C j, b i = B i O i = (O C i ) \ B i, o i = O i L i = (L C i ), l = L i,
139 Independent set: proof setup O: Optimal solution L: λ-locally optimal sol n for λ = poly(1/ɛ) O L has low density (by additivity) {C 1,..., C m }: w.s.-division of O L ( ) B i = C i j i C j, b i = B i O i = (O C i ) \ B i, o i = O i L i = (L C i ), l = L i,
140 PTAS for dominating set
141 Recap: low-density graphs are... + red density = ρ 1 blue density = ρ 2 total density ρ 1 + ρ 2 (a) additive 3r (b) degenerate (hence sparse) R c (c) separable r (d) kind of closed under shallow minors
142 Local search local-search(g = (V, E), ɛ) L V, λ poly(1/ɛ) while there exists S V s.t. (a) S λ (b) L S is a dominating set (c) L S < L do L L S end while return L
143 Flowers Glue an object in the dominating set with the neighboring objects it dominates.
144 Flowers Petal Head Glue an object in the dominating set with the neighboring objects it dominates.
145 Flowers Glue an object in the dominating set with the neighboring objects it dominates.
146 Flowers Glue an object in the dominating set with the neighboring objects it dominates.
147 Dominating set: proof setup O = optimal solution, Õ = flowers of O L = locally-optimal sol n, L = flowers of L
148 Dominating set: proof setup O = optimal solution, Õ = flowers of O L = locally-optimal sol n, L = flowers of L Õ L has low density
149 Dominating set: proof setup O = optimal solution, Õ = flowers of O L = locally-optimal sol n, L = flowers of L Õ L has low density { } C1,..., Cm : w.s.-division of Õ L
150 Dominating set: proof setup O = optimal solution, Õ = flowers of O L = locally-optimal sol n, L = flowers of L Õ L has low density { } C1,..., Cm : w.s.-division of Õ L {C 1,..., C m }: centers of C i for each i
151 Dominating set: proof setup O = optimal solution, Õ = flowers of O L = locally-optimal sol n, L = flowers of L Õ L has low density { } C1,..., Cm : w.s.-division of Õ L {C 1,..., C m }: centers of C i for each i ( ) B i = C i j i C j O i = O C i, o i = O i L i = L C i, l i = L i
152 Dominating set: proof setup O = optimal solution, Õ = flowers of O L = locally-optimal sol n, L = flowers of L Õ L has low density { } C1,..., Cm : w.s.-division of Õ L {C 1,..., C m }: centers of C i for each i ( ) B i = C i j i C j O i = O C i, o i = O i L i = L C i, l i = L i
153 thanks!
154 References I G. N. Frederickson. Fast algorithms for shortest paths in planar graphs, with applications. SIAM J. Comput., 16(6): , J. Nešetřil and P. Ossona de Mendez. Grad and classes with bounded expansion ii. algorithmic aspects. European J. Combin., 29(3): , 2008.
155 References II S. Plotkin, S. Rao, and W.D. Smith. Shallow excluded minors and improved graph decompositions. In Proc. 5th ACM-SIAM Sympos. Discrete Algs. (SODA), pages , 1994.
A Note on Maximum Independent Sets in Rectangle Intersection Graphs
A Note on Maximum Independent Sets in Rectangle Intersection Graphs Timothy M. Chan School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1, Canada tmchan@uwaterloo.ca September 12,
More informationShort Cycles make W-hard problems hard: FPT algorithms for W-hard Problems in Graphs with no short Cycles
Short Cycles make W-hard problems hard: FPT algorithms for W-hard Problems in Graphs with no short Cycles Venkatesh Raman and Saket Saurabh The Institute of Mathematical Sciences, Chennai 600 113. {vraman
More informationHow To Solve A K Path In Time (K)
What s next? Reductions other than kernelization Dániel Marx Humboldt-Universität zu Berlin (with help from Fedor Fomin, Daniel Lokshtanov and Saket Saurabh) WorKer 2010: Workshop on Kernelization Nov
More informationFinding and counting given length cycles
Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected
More informationSmall Maximal Independent Sets and Faster Exact Graph Coloring
Small Maximal Independent Sets and Faster Exact Graph Coloring David Eppstein Univ. of California, Irvine Dept. of Information and Computer Science The Exact Graph Coloring Problem: Given an undirected
More informationTesting Hereditary Properties of Non-Expanding Bounded-Degree Graphs
Testing Hereditary Properties of Non-Expanding Bounded-Degree Graphs Artur Czumaj Asaf Shapira Christian Sohler Abstract We study graph properties which are testable for bounded degree graphs in time independent
More informationComputational Geometry. Lecture 1: Introduction and Convex Hulls
Lecture 1: Introduction and convex hulls 1 Geometry: points, lines,... Plane (two-dimensional), R 2 Space (three-dimensional), R 3 Space (higher-dimensional), R d A point in the plane, 3-dimensional space,
More informationLecture 17 : Equivalence and Order Relations DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion
More informationOutline. NP-completeness. When is a problem easy? When is a problem hard? Today. Euler Circuits
Outline NP-completeness Examples of Easy vs. Hard problems Euler circuit vs. Hamiltonian circuit Shortest Path vs. Longest Path 2-pairs sum vs. general Subset Sum Reducing one problem to another Clique
More informationApproximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs
Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs Yong Zhang 1.2, Francis Y.L. Chin 2, and Hing-Fung Ting 2 1 College of Mathematics and Computer Science, Hebei University,
More informationWhy? A central concept in Computer Science. Algorithms are ubiquitous.
Analysis of Algorithms: A Brief Introduction Why? A central concept in Computer Science. Algorithms are ubiquitous. Using the Internet (sending email, transferring files, use of search engines, online
More informationCSC2420 Fall 2012: Algorithm Design, Analysis and Theory
CSC2420 Fall 2012: Algorithm Design, Analysis and Theory Allan Borodin November 15, 2012; Lecture 10 1 / 27 Randomized online bipartite matching and the adwords problem. We briefly return to online algorithms
More informationBinary Space Partitions
Title: Binary Space Partitions Name: Adrian Dumitrescu 1, Csaba D. Tóth 2,3 Affil./Addr. 1: Computer Science, Univ. of Wisconsin Milwaukee, Milwaukee, WI, USA Affil./Addr. 2: Mathematics, California State
More informationAnalysis of Approximation Algorithms for k-set Cover using Factor-Revealing Linear Programs
Analysis of Approximation Algorithms for k-set Cover using Factor-Revealing Linear Programs Stavros Athanassopoulos, Ioannis Caragiannis, and Christos Kaklamanis Research Academic Computer Technology Institute
More informationExponential time algorithms for graph coloring
Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].
More informationShortest Inspection-Path. Queries in Simple Polygons
Shortest Inspection-Path Queries in Simple Polygons Christian Knauer, Günter Rote B 05-05 April 2005 Shortest Inspection-Path Queries in Simple Polygons Christian Knauer, Günter Rote Institut für Informatik,
More informationCycle transversals in bounded degree graphs
Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.
More informationArrangements And Duality
Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,
More informationApproximation Algorithms
Approximation Algorithms or: How I Learned to Stop Worrying and Deal with NP-Completeness Ong Jit Sheng, Jonathan (A0073924B) March, 2012 Overview Key Results (I) General techniques: Greedy algorithms
More informationOn the k-path cover problem for cacti
On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we
More informationA Turán Type Problem Concerning the Powers of the Degrees of a Graph
A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:
More informationCycles and clique-minors in expanders
Cycles and clique-minors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor
More informationNimble Algorithms for Cloud Computing. Ravi Kannan, Santosh Vempala and David Woodruff
Nimble Algorithms for Cloud Computing Ravi Kannan, Santosh Vempala and David Woodruff Cloud computing Data is distributed arbitrarily on many servers Parallel algorithms: time Streaming algorithms: sublinear
More informationWell-Separated Pair Decomposition for the Unit-disk Graph Metric and its Applications
Well-Separated Pair Decomposition for the Unit-disk Graph Metric and its Applications Jie Gao Department of Computer Science Stanford University Joint work with Li Zhang Systems Research Center Hewlett-Packard
More informationGeneralized Induced Factor Problems
Egerváry Research Group on Combinatorial Optimization Technical reports TR-2002-07. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationShortest Path Algorithms
Shortest Path Algorithms Jaehyun Park CS 97SI Stanford University June 29, 2015 Outline Cross Product Convex Hull Problem Sweep Line Algorithm Intersecting Half-planes Notes on Binary/Ternary Search Cross
More informationAn Approximation Algorithm for Bounded Degree Deletion
An Approximation Algorithm for Bounded Degree Deletion Tomáš Ebenlendr Petr Kolman Jiří Sgall Abstract Bounded Degree Deletion is the following generalization of Vertex Cover. Given an undirected graph
More informationMean Ramsey-Turán numbers
Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average
More informationRemoving Local Extrema from Imprecise Terrains
Removing Local Extrema from Imprecise Terrains Chris Gray Frank Kammer Maarten Löffler Rodrigo I. Silveira Abstract In this paper we consider imprecise terrains, that is, triangulated terrains with a vertical
More informationTopic: Greedy Approximations: Set Cover and Min Makespan Date: 1/30/06
CS880: Approximations Algorithms Scribe: Matt Elder Lecturer: Shuchi Chawla Topic: Greedy Approximations: Set Cover and Min Makespan Date: 1/30/06 3.1 Set Cover The Set Cover problem is: Given a set of
More informationCSC 373: Algorithm Design and Analysis Lecture 16
CSC 373: Algorithm Design and Analysis Lecture 16 Allan Borodin February 25, 2013 Some materials are from Stephen Cook s IIT talk and Keven Wayne s slides. 1 / 17 Announcements and Outline Announcements
More informationA Log-Star Distributed Maximal Independent Set Algorithm for Growth-Bounded Graphs
A Log-Star Distributed Maximal Independent Set Algorithm for Growth-Bounded Graphs Johannes Schneider, Roger Wattenhofer {jschneid, wattenhofer}@tik.ee.ethz.ch Computer Engineering and Networks Laboratory
More informationDefinition 11.1. Given a graph G on n vertices, we define the following quantities:
Lecture 11 The Lovász ϑ Function 11.1 Perfect graphs We begin with some background on perfect graphs. graphs. First, we define some quantities on Definition 11.1. Given a graph G on n vertices, we define
More informationONLINE DEGREE-BOUNDED STEINER NETWORK DESIGN. Sina Dehghani Saeed Seddighin Ali Shafahi Fall 2015
ONLINE DEGREE-BOUNDED STEINER NETWORK DESIGN Sina Dehghani Saeed Seddighin Ali Shafahi Fall 2015 ONLINE STEINER FOREST PROBLEM An initially given graph G. s 1 s 2 A sequence of demands (s i, t i ) arriving
More informationMapReduce Algorithms. Sergei Vassilvitskii. Saturday, August 25, 12
MapReduce Algorithms A Sense of Scale At web scales... Mail: Billions of messages per day Search: Billions of searches per day Social: Billions of relationships 2 A Sense of Scale At web scales... Mail:
More informationSolving Geometric Problems with the Rotating Calipers *
Solving Geometric Problems with the Rotating Calipers * Godfried Toussaint School of Computer Science McGill University Montreal, Quebec, Canada ABSTRACT Shamos [1] recently showed that the diameter of
More informationDistributed Computing over Communication Networks: Maximal Independent Set
Distributed Computing over Communication Networks: Maximal Independent Set What is a MIS? MIS An independent set (IS) of an undirected graph is a subset U of nodes such that no two nodes in U are adjacent.
More informationLecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs
CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like
More informationOptimal Location of Transportation Devices
Optimal Location of Transportation Devices Jean Cardinal 1, Sébastien Collette 1, Ferran Hurtado 2, Stefan Langerman 1, and Belén Palop 3 1 Computer Science Department Université Libre de Bruxelles CP
More informationCSC2420 Spring 2015: Lecture 3
CSC2420 Spring 2015: Lecture 3 Allan Borodin January 22, 2015 1 / 1 Announcements and todays agenda Assignment 1 due next Thursday. I may add one or two additional questions today or tomorrow. Todays agenda
More informationPrivate Approximation of Clustering and Vertex Cover
Private Approximation of Clustering and Vertex Cover Amos Beimel, Renen Hallak, and Kobbi Nissim Department of Computer Science, Ben-Gurion University of the Negev Abstract. Private approximation of search
More informationDiscrete Mathematics Problems
Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................
More informationB490 Mining the Big Data. 2 Clustering
B490 Mining the Big Data 2 Clustering Qin Zhang 1-1 Motivations Group together similar documents/webpages/images/people/proteins/products One of the most important problems in machine learning, pattern
More informationCS311H. Prof: Peter Stone. Department of Computer Science The University of Texas at Austin
CS311H Prof: Department of Computer Science The University of Texas at Austin Good Morning, Colleagues Good Morning, Colleagues Are there any questions? Logistics Class survey Logistics Class survey Homework
More informationOn the Unique Games Conjecture
On the Unique Games Conjecture Antonios Angelakis National Technical University of Athens June 16, 2015 Antonios Angelakis (NTUA) Theory of Computation June 16, 2015 1 / 20 Overview 1 Introduction 2 Preliminary
More informationNP-Completeness I. Lecture 19. 19.1 Overview. 19.2 Introduction: Reduction and Expressiveness
Lecture 19 NP-Completeness I 19.1 Overview In the past few lectures we have looked at increasingly more expressive problems that we were able to solve using efficient algorithms. In this lecture we introduce
More informationApplied Algorithm Design Lecture 5
Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design
More informationGuessing Game: NP-Complete?
Guessing Game: NP-Complete? 1. LONGEST-PATH: Given a graph G = (V, E), does there exists a simple path of length at least k edges? YES 2. SHORTEST-PATH: Given a graph G = (V, E), does there exists a simple
More informationScheduling Shop Scheduling. Tim Nieberg
Scheduling Shop Scheduling Tim Nieberg Shop models: General Introduction Remark: Consider non preemptive problems with regular objectives Notation Shop Problems: m machines, n jobs 1,..., n operations
More information! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm.
Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of three
More information(67902) Topics in Theory and Complexity Nov 2, 2006. Lecture 7
(67902) Topics in Theory and Complexity Nov 2, 2006 Lecturer: Irit Dinur Lecture 7 Scribe: Rani Lekach 1 Lecture overview This Lecture consists of two parts In the first part we will refresh the definition
More informationAsking Hard Graph Questions. Paul Burkhardt. February 3, 2014
Beyond Watson: Predictive Analytics and Big Data U.S. National Security Agency Research Directorate - R6 Technical Report February 3, 2014 300 years before Watson there was Euler! The first (Jeopardy!)
More informationComplex Networks Analysis: Clustering Methods
Complex Networks Analysis: Clustering Methods Nikolai Nefedov Spring 2013 ISI ETH Zurich nefedov@isi.ee.ethz.ch 1 Outline Purpose to give an overview of modern graph-clustering methods and their applications
More informationStationary random graphs on Z with prescribed iid degrees and finite mean connections
Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the non-negative
More information8.1 Min Degree Spanning Tree
CS880: Approximations Algorithms Scribe: Siddharth Barman Lecturer: Shuchi Chawla Topic: Min Degree Spanning Tree Date: 02/15/07 In this lecture we give a local search based algorithm for the Min Degree
More informationINTERSECTION OF LINE-SEGMENTS
INTERSECTION OF LINE-SEGMENTS Vera Sacristán Discrete and Algorithmic Geometry Facultat de Matemàtiques i Estadística Universitat Politècnica de Catalunya Problem Input: n line-segments in the plane,
More informationMidterm Practice Problems
6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator
More informationLecture 4: BK inequality 27th August and 6th September, 2007
CSL866: Percolation and Random Graphs IIT Delhi Amitabha Bagchi Scribe: Arindam Pal Lecture 4: BK inequality 27th August and 6th September, 2007 4. Preliminaries The FKG inequality allows us to lower bound
More informationImproved Algorithms for Data Migration
Improved Algorithms for Data Migration Samir Khuller 1, Yoo-Ah Kim, and Azarakhsh Malekian 1 Department of Computer Science, University of Maryland, College Park, MD 20742. Research supported by NSF Award
More informationFaster Fixed Parameter Tractable Algorithms for Finding Feedback Vertex Sets
Faster Fixed Parameter Tractable Algorithms for Finding Feedback Vertex Sets VENKATESH RAMAN, SAKET SAURABH, AND C. R. SUBRAMANIAN The Institute of Mathematical Sciences Abstract. A feedback vertex set
More informationSum of Degrees of Vertices Theorem
Sum of Degrees of Vertices Theorem Theorem (Sum of Degrees of Vertices Theorem) Suppose a graph has n vertices with degrees d 1, d 2, d 3,...,d n. Add together all degrees to get a new number d 1 + d 2
More informationSeminar. Path planning using Voronoi diagrams and B-Splines. Stefano Martina stefano.martina@stud.unifi.it
Seminar Path planning using Voronoi diagrams and B-Splines Stefano Martina stefano.martina@stud.unifi.it 23 may 2016 This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International
More informationChapter 11. 11.1 Load Balancing. Approximation Algorithms. Load Balancing. Load Balancing on 2 Machines. Load Balancing: Greedy Scheduling
Approximation Algorithms Chapter Approximation Algorithms Q. Suppose I need to solve an NP-hard problem. What should I do? A. Theory says you're unlikely to find a poly-time algorithm. Must sacrifice one
More informationHigh degree graphs contain large-star factors
High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a
More informationA scalable multilevel algorithm for graph clustering and community structure detection
A scalable multilevel algorithm for graph clustering and community structure detection Hristo N. Djidjev 1 Los Alamos National Laboratory, Los Alamos, NM 87545 Abstract. One of the most useful measures
More informationGraph Theory Lecture 3: Sum of Degrees Formulas, Planar Graphs, and Euler s Theorem Spring 2014 Morgan Schreffler Office: POT 902
Graph Theory Lecture 3: Sum of Degrees Formulas, Planar Graphs, and Euler s Theorem Spring 2014 Morgan Schreffler Office: POT 902 http://www.ms.uky.edu/~mschreffler Different Graphs, Similar Properties
More informationComplexity Theory. IE 661: Scheduling Theory Fall 2003 Satyaki Ghosh Dastidar
Complexity Theory IE 661: Scheduling Theory Fall 2003 Satyaki Ghosh Dastidar Outline Goals Computation of Problems Concepts and Definitions Complexity Classes and Problems Polynomial Time Reductions Examples
More informationClustering Social Networks
Clustering Social Networks Nina Mishra 1,4, Robert Schreiber, Isabelle Stanton 1, and Robert E. Tarjan,3 {nmishra,istanton}@cs.virginia.edu, {rob.schreiber,robert.tarjan}@hp.com 1 Department of Computer
More informationApproximation of an Open Polygonal Curve with a Minimum Number of Circular Arcs and Biarcs
Approximation of an Open Polygonal Curve with a Minimum Number of Circular Arcs and Biarcs R. L. Scot Drysdale a Günter Rote b,1 Astrid Sturm b,1 a Department of Computer Science, Dartmouth College b Institut
More informationSurface bundles over S 1, the Thurston norm, and the Whitehead link
Surface bundles over S 1, the Thurston norm, and the Whitehead link Michael Landry August 16, 2014 The Thurston norm is a powerful tool for studying the ways a 3-manifold can fiber over the circle. In
More informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 27 Approximation Algorithms Load Balancing Weighted Vertex Cover Reminder: Fill out SRTEs online Don t forget to click submit Sofya Raskhodnikova 12/6/2011 S. Raskhodnikova;
More informationGENERATING LOW-DEGREE 2-SPANNERS
SIAM J. COMPUT. c 1998 Society for Industrial and Applied Mathematics Vol. 27, No. 5, pp. 1438 1456, October 1998 013 GENERATING LOW-DEGREE 2-SPANNERS GUY KORTSARZ AND DAVID PELEG Abstract. A k-spanner
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationDisjoint Compatible Geometric Matchings
Disjoint Compatible Geometric Matchings Mashhood Ishaque Diane L. Souvaine Csaba D. Tóth Abstract We prove that for every even set of n pairwise disjoint line segments in the plane in general position,
More information1 The Line vs Point Test
6.875 PCP and Hardness of Approximation MIT, Fall 2010 Lecture 5: Low Degree Testing Lecturer: Dana Moshkovitz Scribe: Gregory Minton and Dana Moshkovitz Having seen a probabilistic verifier for linearity
More informationClosest Pair Problem
Closest Pair Problem Given n points in d-dimensions, find two whose mutual distance is smallest. Fundamental problem in many applications as well as a key step in many algorithms. p q A naive algorithm
More informationTutorial 8. NP-Complete Problems
Tutorial 8 NP-Complete Problems Decision Problem Statement of a decision problem Part 1: instance description defining the input Part 2: question stating the actual yesor-no question A decision problem
More informationOn the independence number of graphs with maximum degree 3
On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs
More informationDiscrete Applied Mathematics. The firefighter problem with more than one firefighter on trees
Discrete Applied Mathematics 161 (2013) 899 908 Contents lists available at SciVerse ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam The firefighter problem with
More informationChapter 4: Area, Perimeter, and Volume. Geometry Assessments
Chapter 4: Area, Perimeter, and Volume Geometry Assessments Area, Perimeter, and Volume Introduction The performance tasks in this chapter focus on applying the properties of triangles and polygons to
More informationNP-Completeness. CptS 223 Advanced Data Structures. Larry Holder School of Electrical Engineering and Computer Science Washington State University
NP-Completeness CptS 223 Advanced Data Structures Larry Holder School of Electrical Engineering and Computer Science Washington State University 1 Hard Graph Problems Hard means no known solutions with
More informationResearch Statement. Andrew Suk
Research Statement Andrew Suk 1 Introduction My research interests are combinatorial methods in discrete geometry. In particular, I am interested in extremal problems on geometric objects. My research
More informationPROVABLY GOOD PARTITIONING AND LOAD BALANCING ALGORITHMS FOR PARALLEL ADAPTIVE N-BODY SIMULATION
SIAM J. SCI. COMPUT. c 1998 Society for Industrial and Applied Mathematics Vol. 19, No. 2, pp. 635 656, March 1998 019 PROVABLY GOOD PARTITIONING AND LOAD BALANCING ALGORITHMS FOR PARALLEL ADAPTIVE N-BODY
More informationGRAPH THEORY LECTURE 4: TREES
GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection
More informationContents. 2 Lines and Circles 3 2.1 Cartesian Coordinates... 3 2.2 Distance and Midpoint Formulas... 3 2.3 Lines... 3 2.4 Circles...
Contents Lines and Circles 3.1 Cartesian Coordinates.......................... 3. Distance and Midpoint Formulas.................... 3.3 Lines.................................. 3.4 Circles..................................
More informationMinimum Bisection is NP-hard on Unit Disk Graphs
Minimum Bisection is NP-hard on Unit Disk Graphs Josep Díaz 1 and George B. Mertzios 2 1 Departament de Llenguatges i Sistemes Informátics, Universitat Politécnica de Catalunya, Spain. 2 School of Engineering
More informationGraphs without proper subgraphs of minimum degree 3 and short cycles
Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract
More informationSingle machine parallel batch scheduling with unbounded capacity
Workshop on Combinatorics and Graph Theory 21th, April, 2006 Nankai University Single machine parallel batch scheduling with unbounded capacity Yuan Jinjiang Department of mathematics, Zhengzhou University
More information1 Approximating Set Cover
CS 05: Algorithms (Grad) Feb 2-24, 2005 Approximating Set Cover. Definition An Instance (X, F ) of the set-covering problem consists of a finite set X and a family F of subset of X, such that every elemennt
More informationOn-line Ramsey numbers
On-line Ramsey numbers David Conlon Abstract Consider the following game between two players, Builder and Painter Builder draws edges one at a time and Painter colours them, in either red or blue, as each
More informationScheduling to Minimize Power Consumption using Submodular Functions
Scheduling to Minimize Power Consumption using Submodular Functions Erik D. Demaine MIT edemaine@mit.edu Morteza Zadimoghaddam MIT morteza@mit.edu ABSTRACT We develop logarithmic approximation algorithms
More informationBicolored Shortest Paths in Graphs with Applications to Network Overlay Design
Bicolored Shortest Paths in Graphs with Applications to Network Overlay Design Hongsik Choi and Hyeong-Ah Choi Department of Electrical Engineering and Computer Science George Washington University Washington,
More informationShortcut sets for plane Euclidean networks (Extended abstract) 1
Shortcut sets for plane Euclidean networks (Extended abstract) 1 J. Cáceres a D. Garijo b A. González b A. Márquez b M. L. Puertas a P. Ribeiro c a Departamento de Matemáticas, Universidad de Almería,
More informationPolytope Examples (PolyComp Fukuda) Matching Polytope 1
Polytope Examples (PolyComp Fukuda) Matching Polytope 1 Matching Polytope Let G = (V,E) be a graph. A matching in G is a subset of edges M E such that every vertex meets at most one member of M. A matching
More informationPseudo-Triangulations a Survey
Contemporary Mathematics 2 1. Introduction A pseudo-triangle is a simple polygon in the plane with exactly three convex vertices, called corners. A pseudo-triangulation is a tiling of a planar region into
More informationNetwork Algorithms for Homeland Security
Network Algorithms for Homeland Security Mark Goldberg and Malik Magdon-Ismail Rensselaer Polytechnic Institute September 27, 2004. Collaborators J. Baumes, M. Krishmamoorthy, N. Preston, W. Wallace. Partially
More informationCSU Fresno Problem Solving Session. Geometry, 17 March 2012
CSU Fresno Problem Solving Session Problem Solving Sessions website: http://zimmer.csufresno.edu/ mnogin/mfd-prep.html Math Field Day date: Saturday, April 21, 2012 Math Field Day website: http://www.csufresno.edu/math/news
More informationInternet Packet Filter Management and Rectangle Geometry
Internet Packet Filter Management and Rectangle Geometry David Eppstein S. Muthukrishnan Abstract We consider rule sets for internet packet routing and filtering, where each rule consists of a range of
More informationPart 2: Community Detection
Chapter 8: Graph Data Part 2: Community Detection Based on Leskovec, Rajaraman, Ullman 2014: Mining of Massive Datasets Big Data Management and Analytics Outline Community Detection - Social networks -
More informationTopological Treatment of Platonic, Archimedean, and Related Polyhedra
Forum Geometricorum Volume 15 (015) 43 51. FORUM GEOM ISSN 1534-1178 Topological Treatment of Platonic, Archimedean, and Related Polyhedra Tom M. Apostol and Mamikon A. Mnatsakanian Abstract. Platonic
More information