P-Center & The Power of Graphs A part of the facility location problem set By Kiril Yershov and Alla Segal For Geometric Optimizations course Fall 2010.

Slides:



Advertisements
Similar presentations
Lower Bounds for Additive Spanners, Emulators, and More David P. Woodruff MIT and Tsinghua University To appear in FOCS, 2006.
Advertisements

Chapter 4 Partition I. Covering and Dominating.
Triangle partition problem Jian Li Sep,2005.  Proposed by Redstar in Algorithm board in Fudan BBS.  Motivated by some network design strategy.
1 NP-completeness Lecture 2: Jan P The class of problems that can be solved in polynomial time. e.g. gcd, shortest path, prime, etc. There are many.
NP-complete and NP-hard problems Transitivity of polynomial-time many-one reductions Concept of Completeness and hardness for a complexity class Definition.
1 NP-Complete Problems. 2 We discuss some hard problems:  how hard? (computational complexity)  what makes them hard?  any solutions? Definitions 
Complexity ©D Moshkovitz 1 Approximation Algorithms Is Close Enough Good Enough?
Approximation Algorithms Chapter 5: k-center. Overview n Main issue: Parametric pruning –Technique for approximation algorithms n 2-approx. algorithm.
Combinatorial Algorithms
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
Complexity 15-1 Complexity Andrei Bulatov Hierarchy Theorem.
1 Discrete Structures & Algorithms Graphs and Trees: II EECE 320.
The Complexity of the Network Design Problem Networks, 1978 Classic Paper Reading
Approximation Algorithms: Combinatorial Approaches Lecture 13: March 2.
Local Connection Game. Introduction Introduced in [FLMPS,PODC’03] A LCG is a game that models the creation of networks two competing issues: players want.
1 Optimization problems such as MAXSAT, MIN NODE COVER, MAX INDEPENDENT SET, MAX CLIQUE, MIN SET COVER, TSP, KNAPSACK, BINPACKING do not have a polynomial.
Vertex Cover, Dominating set, Clique, Independent set
NP-Complete Problems Reading Material: Chapter 10 Sections 1, 2, 3, and 4 only.
NP-Complete Problems Problems in Computer Science are classified into
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness.
A 2-Approximation algorithm for finding an optimum 3-Vertex-Connected Spanning Subgraph.
1 NP-Complete Problems Polynomial time vs exponential time –Polynomial O(n k ), where n is the input size (e.g., number of nodes in a graph, the length.
9-1 Chapter 9 Approximation Algorithms. 9-2 Approximation algorithm Up to now, the best algorithm for solving an NP-complete problem requires exponential.
9-1 Chapter 9 Approximation Algorithms. 9-2 Approximation algorithm Up to now, the best algorithm for solving an NP-complete problem requires exponential.
Steiner trees Algorithms and Networks. Steiner Trees2 Today Steiner trees: what and why? NP-completeness Approximation algorithms Preprocessing.
Approximation Algorithms Motivation and Definitions TSP Vertex Cover Scheduling.
Priority Models Sashka Davis University of California, San Diego June 1, 2003.
Approximation Algorithms
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
1 Introduction to Approximation Algorithms. 2 NP-completeness Do your best then.
APPROXIMATION ALGORITHMS VERTEX COVER – MAX CUT PROBLEMS
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.
Advanced Algorithm Design and Analysis (Lecture 13) SW5 fall 2004 Simonas Šaltenis E1-215b
The Complexity of Optimization Problems. Summary -Complexity of algorithms and problems -Complexity classes: P and NP -Reducibility -Karp reducibility.
Approximation Algorithms
1 Combinatorial Algorithms Parametric Pruning. 2 Metric k-center Given a complete undirected graph G = (V, E) with nonnegative edge costs satisfying the.
1 Steiner Tree Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
Princeton University COS 423 Theory of Algorithms Spring 2001 Kevin Wayne Approximation Algorithms These lecture slides are adapted from CLRS.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
Instructor Neelima Gupta Table of Contents Class NP Class NPC Approximation Algorithms.
Approximation Algorithms for TSP Tsvi Kopelowitz 1.
Spanning tree Lecture 4.
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.
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness Proofs.
TU/e Algorithms (2IL15) – Lecture 12 1 Linear Programming.
Approximation Algorithms by bounding the OPT Instructor Neelima Gupta
COSC 3101A - Design and Analysis of Algorithms 14 NP-Completeness.
Approximation Algorithms based on linear programming.
TU/e Algorithms (2IL15) – Lecture 11 1 Approximation Algorithms.
ICS 353: Design and Analysis of Algorithms NP-Complete Problems King Fahd University of Petroleum & Minerals Information & Computer Science Department.
Approximation Algorithms
Steiner trees: Approximation Algorithms
P & NP.
Richard Anderson Lecture 26 NP-Completeness
Haim Kaplan and Uri Zwick
Graph Theory and Algorithm 02
Local Connection Game.
Vertex Cover, Dominating set, Clique, Independent set
Computability and Complexity
Approximation Algorithms for TSP
ICS 353: Design and Analysis of Algorithms
Parameterised Complexity
The Theory of NP-Completeness
Clustering.
Dominating Set By Eric Wengert.
Presentation transcript:

P-Center & The Power of Graphs A part of the facility location problem set By Kiril Yershov and Alla Segal For Geometric Optimizations course Fall 2010

The P-Center problem Given n cities and the distances between all pairs of cities, we aim to choose p cities as centers so that the furthest distance of a city from a center is minimized. A problem from the facility location problems set.

What is facility locating? ‘GOOD’ SERVICE Client needs this kind of service. Facility provides some kind of service.

Location problems in most general form can be stated as follows: a set of clients originates demands for some kind of goods or services. the demands of the customers must be supplied by one or more facilities. the decision process must establish where to locate the facilities. issues like cost reduction, demand capture, equitable service supply, fast response time etc drive the selection of facility placement.

The basic elements of location models: a universe, U, from which a set C of client input positions is selected, a distance metric, d: U x U → R +, defined over the universe R +, an integer, p ≥ 1, denoting the number of facilities to be located, and an optimization function g that takes as input C a set of client positions and p facility positions and returns a function of their distances as measured by the metric d.

Problem statement Select a set F of p facility positions in universe U that minimizes g(F,C).

Models of the universe of clients and facilities Continuous space Universe is defined as a region, such that clients and facilities may be placed anywhere within the continuum, and the number of possible locations is uncountably infinite.

Discrete space Universe is defined by a discrete set of predefined positions. Network space Universe is defined by an undirected weighted graph. Client positions are given by the vertices. Facilities may be located anywhere on the graph. Models of the universe of clients and facilities

Where should the radio tower be located? Tower may be positioned anywhere – (continuous) Tower may be positioned in some available slots – (discrete) Tower may be located on the roadside – (network)

Distance metric Distance metric between two elements of the universe further differentiates between specific problems Euclidean, Manhattan, etc. Network distance

P-Centers: Optimization function is maximum The objective function is the most significant characterization of a facility location problem. p-center problem Given a universe U, a set of points C, a metric d, and a positive integer p, a p-center of C is a set of p points F of the universe U that minimizes max jεC {min iεF d ij }.

p-center P=2

p-center P=2

Applications of p-center (1/2) Find appropriate location of branch offices. ◦ It could be cost-effective if the branch offices place as close as possible to any offices.

3-center Euclidean p-center

Reminder NP – “nondeterministic polynomial time” NP-Problem is a problem that its possible solution can be verified in polynomial time. NP-Hard Problem is at least as hard as the hardest problems in NP. NP-Complete problem is both NP and NP- Hard.

Summary of known complexities Time complexities of algorithmic solutions to the Euclidean p- center problem Drezner 1984, Hoffmann 2005 (arbitrary p and d = 1) Megiddo 1983 (p=1, d=2), Linear programming. Agarwal et al 1993, Chazelle et al (p = 1 and d fixed) Chan 1999 (p=2, d=2) Agarwal and Sharir 1998 (p=2, d arbitrary) Agarwal and Procopuic 1998 (p fixed, d arbitrary)

P-Center is NP-Hard Kariv and Hakimi proved in ‘79 that p-center problem is NP-Hard. We will show a stronger claim: P-center best possible approximation is of factor 2.

Approximation PTAS: a C-approximation, where C=1+e for any e>0 We saw some problems with PTAS. Does every problem has a PTAS?

Best Possible Approximation A polynomial c-approximation algorithm is called “Best Possible” if there is no algorithm with a better approximation value. Formally: c-approximation is best possible if the problem of approximation within c-e is NP-Complete for any e>0, but that limit can be reached in polynomial time.

Best Possible Approximation Such best possible results were found only for bottleneck problems.

Bottleneck Problems The solution has some value that needs to be minimized or maximized. The value of the solution is the weight of one of the edges of the graph. We can add one smallest edge at a time and examine the resulting graph for the required condition

P-Center: Factor 2 is best possible LEMMA: The problem of approximating P-Center (with triangle inequality) within a factor of (2-e) is NP-Complete for any e>0. Proof: By reduction from the dominating set problem.

Factor 2 is best possible - Proof Dominating set problem: ◦ To determine whether in a given graph there is a set of vertices DS of size ≤ P that “dominates” all vertices, i.e. such that all vertices are in DS or adjacent to DS. ◦ It is well known and proven that Dominating Set is NP-Hard.

Factor 2 is best possible - Proof Reduction: ◦ Given a Dominating set problem G=(V,E), we construct a complete graph with the following weights:  w(e) = 1 if e is from E  w(e) = 2 if e is not from E ◦ In this complete graph the existence of p-center is equivalent to the existence of a dominating set of size ≤ p in G.

INTERMISSION

Metric p-center Input: G=(V,E) complete undirected graph with edge costs satisfying the triangle inequality For any set S  V and a vertex v, define connect(v,S): cost of cheapest edge from v to a vertex in S Output: S  V with |S| = p that minimizes max_v{connect(v,S)} uv x w Triangle Inequality Cost Function Satisfies

A 2-approximation algorithm The value of the solution is the weight of one of the edges of the graph. Sort the edges in nondecreasing cost e1, e2, …, em

Approach Let Gi be the subgraph obtained by deleting all edges that are costlier than ei from G G

Dominating set a bc de a bc de a bc de a bc de a bc de Input

Equivalence between… p-center ◦ Any weight of edge between a vertex and some chosen vertex is not more than OPT. Dominating set of G i ◦ Any vertex is connected to some chosen vertex by a edge with weight less or equal than OPT a bc de 4 54 a bc de cost (e i* ) = OPT.

Crucial observation If OPT = cost(ei) for some i Then ◦ Gi must have a dominating set of size p Of course, we don’t know how to compute dominating sets optimally But we can compute a lower bound on OPT and utilize this lower bound to test Gi

Power of Graphs A major technique for finding best possible approximations for bottleneck problems. Given a graph G=(V,E) the square graph G 2 =(V,E 2 ) E 2 is the set of all edges between vertices that have a path of length 1 or 2 between them. Weight is set accordingly. G t is similar with edges between vertices that have a path of length up to t.

Lemma Given a graph H, let H^2 denote a graph containing an edge (u,v) whenever H has a path of length 2 between u and v Given a graph H, let I be an independent set in H^2. Then |I|  dom(H) = size of the minimum dominating set in H

Square of a graph HH2H2 H’H’ 2 H’’ H’’ 2

Proof Let D be the dominating set in H H contains |D| stars Each of these stars will be a clique in H^2 Any independent set can pick at most one vertex from each clique HD star clique

p-center algorithm Construct G1^2, G2^2, …, Gm^2 Compute a maximal independent set Mi for each Gi^2 Find the smallest index i such that |Mi|  p Call this index j Return Mj

Algorithm Input: graph G, pos. int. p. 1. Construct G 1 2, …, G m Find a maximal independent set M i for each G i Find the smallest index j s.t. |M i | ≦ p. 4. Return M j. G

Algorithm Input: graph G, pos. int. p. 1. Construct G 1 2, …, G m Find a maximal independent set M i for each G i Find the smallest index j s.t. |M j | ≦ p. 4. Return M j. G p=2

Analysis cost(ej)  OPT ◦ ej : index chosen by the algorithm ◦ OPT: Cost incurred by the optimum p-center solution Proof: ◦ For all i p ◦ But then dom(Gi)  |Mi| > p ◦ So OPT is more than cost(ei)

2 approximation proof First observe that every maximal independent set is also a dominating set ◦ Suppose not. Then there must be a non- dominated vertex. This vertex can be added to the independent set contradicting maximality So, our independent set in Gi^2 is also a dominating set in Gi^2 But not necessarily in Gi. However,

2 approximation proof Dominating set = set of centers of stars in G i 2. Gi2Gi2 GiGi Some edges does not appear in G i. The edge exists in G i 2. In G i, these two vertices are connected with a path length=2. Gi2Gi2

But what is the cost? Suppose u is a vertex in Mj and v is adjacent to u distance(u,v) <= 2cost(ej) <= 2*OPT ◦ by triangle inequality Conclusion: Cost of our solution is at most twice the cost of optimal solution.

Weighted p-center p = ab cd ab cd ab cd ab cd ab cd ab cd W = 30. p-centerWeighted p-center Weights on vertices

Weighted p-center Weighted p-center is a generalization of p-center. p = ab cd ab cd ab cd ab cd ab cd W = ab cd Weighted p-center

Not exactly the same p-center ◦ # vertices in an independent set in H 2 ≦ # vertices in a minimal dominating set of H Weighted p-center ◦ Sum of weights of vertices in an independent set in H 2 ≦ Sum of weights of vertices in a minimal dominating set of H ? HH2H

Adjacent vertices with min. weight s(u): vertex adjacent to u in H with the minimum weight. ◦ u can be s(u). ◦ Not in H 2. ab cd s(a)=a, s(b)=a, s(c)=c, s(d)=c. H ab cd H2H2

Now the approach is similar Can be proved that weight(I) <= weight(D).  Weight(I) = {s(u)|u in I}, I is for H^2  Weight(D) = sum of weights of nodes in D. D is for H 1. Construct G 1 2, …, G m Compute a maximal independent set, M i, in each graph G i S i ={s i (u): u belongs to M i } 4. Find the minimum index j s.t. w(S i ) <= W. 5. Return S j. GIVES 3 APPROXIMATION

Questions?