Graph. Supply Vertices and Demand Vertices. Supply Vertices. Demand Vertices
|
|
- James Weaver
- 5 years ago
- Views:
Transcription
1 Partitioning Graphs of Supply and Demand Generalization of Knapsack Problem Takao Nishizeki Tohoku University
2 Graph Supply Vertices and Demand Vertices Supply Vertices Demand Vertices
3 Graph Each Supply Vertex has a number, called Supply. Each Demand Vertex has a number, called Demand Supply Demand Supply Vertices Demand Vertices
4 Desired Partition partition G into connected components so that
5 Desired Partition partition G into connected components so that
6 Desired Partition partition G into connected components so that (a) each component has exactly one supply vertex, (b) () supply is no less than the sum of demands in the component. Desired partition Sum :23 Sum : Sum: Sum:
7 Maximum Partition Problem (Max PP) No desired partition
8 Maximum Partition Problem (Max PP) A partition i of a graph must satisfy if (a) each component has at exactly most one supply vertex, (b) supply is no less than the sum of demands in the component. 20 no 4 supply vertex
9 Maximum Partition Problem (Max PP) finds a partition that maximizes the fulfillment. A partition i of a graph must satisfy if sum of demands in all components (a) each component has at most one supply vertex, with ihsupply vertices (b) supply is no less than the sum of demands in the component. if there is a supply vertex. Sum: Sum: Sum:12 Sum :
10 Maximum Partition Problem (Max PP) finds a partition that maximizes the fulfillment. The fulfillment of this partition = 41 Sum: Sum: Sum:12 Sum :
11 Maximum Partition Problem (Max PP) finds a partition that maximizes the fulfillment. The fulfillment of this partition = 54 Maximum fulfillment Sum: Sum: Sum:12 Sum :
12 Complexity Status Trees max subset sum problem (simple ver. of Knapsack) b = 13 NP-hard given set A Maximum Subset Sum Problem (NP-hard) instance: a set A of integers and an integer b find: a subset C A which maximizes the sum of integers in C s.t. the sum does not exceed b.
13 Complexity Status Trees max subset sum problem (simple ver. of Knapsack) b = C NP-hard given set A Maximum Subset Sum Problem (NP-hard) instance: a set A of integers and an integer b find: a subset C A which maximizes the sum of integers in C s.t. the sum does not exceed b.
14 Related Result max subset sum problem (NP-hard) 13 Fully Polynomial-Time Approximation i Schemeh (FPTAS) Max PP for Stars with one supply at center [Ibarra and Kim 75] FPTAS: for any ε, 0 < ε < 1, the algorithm finds an approximation solution such that APPRO > (1 ε ε ) OPT in time polynomial in both n and 1/ε.
15 Related Result max subset sum problem (NP-hard) 13 Fully Polynomial-Time Approximation i Schemeh (FPTAS) Max PP for Stars with one supply at center [Ibarra and Kim 75] good approximation for larger classes?
16 Our Results (approximabiliy) General graphs (1) MAXSNP-hard (APX-hard) No PTAS unless P=NP No FPTAS unless P=NP PTAS: for any ε, 0 < ε < 1, the algorithm finds an approximation solution such that APPRO > (1 ε ε ) OPT in time polynomial in n. (1/ε :regarded as a constant.)
17 Our Results (approximabiliy) General graphs (1) MAXSNP-hard (APX-hard) No PTAS unless P=NP Trees NP-hard (2) FPTAS 5 15
18 Our Results (approximabiliy) General graphs (1) MAXSNP-hard (APX-hard) No PTAS unless P=NP Trees NP-hard (2) FPTAS 5 15
19 (1) MAXSNP-hardness Max PP is MAXSNP-hard for bipartite graphs. L-reduction: preserves approximability error ratio: ε L-reduction error ratio: ε 3-occurrence MAX3SAT Max PP for bipartite graphs f each variable appears at most 3 times = ( x y z) ( x y z) ( x y z)
20 (1) MAXSNP-hardness 3-occurrence MAX3SAT (MAXSNP-hard) instance: variables and clauses s.t. each clause has exactly 3 literals; and each variable appears at most 3 times in the clauses find: a truth assignment which maximizes #of satisfied clauses variables: v w x y z at most 3 times f = ( v w y) ( w x z) ( v w z) ( x y z)
21 (1) MAXSNP-hardness 3-occurrence MAX3SAT (MAXSNP-hard) instance: variables and clauses s.t. each clause has exactly 3 literals; and each variable appears at most 3 times in the clauses find: a truth assignment which maximizes #of satisfied clauses variables: v w x y z at most 3 times f = ( v w y) ( w x z) ( v w z) ( x y z)
22 (1) MAXSNP-hardness 3-occurrence MAX3SAT (MAXSNP-hard) instance: variables and clauses s.t. each clause has exactly 3 literals; and each variable appears at most 3 times in the clauses find: a truth assignment which maximizes #of satisfied clauses variables: v w x y z f = ( v w y) ( w x z) ( v w z) ( x y z)
23 (1) MAXSNP-hardness variable gadget x = true variable x 7 7 x 4 4 x x 4 4 x x =false 4+4 = 8 > 7 7 x 4 4 x
24 (1) MAXSNP-hardness variable x variable y variable z x x y y z z f = ( x y z ) ( x y z ) ( x y z )
25 (1) MAXSNP-hardness variable x variable y variable z x x y y z z f = ( x y z ) ( x y z ) ( x y z )
26 (1) MAXSNP-hardness variable x variable y variable z x x y y z z f = ( x y z ) ( x y z ) ( x y z )
27 (1) MAXSNP-hardness 7 4=3 3 variable x enough variable power y variable z x x y y z z at most f = ( x y z ) ( x y z ) ( x y z )
28 (1) MAXSNP-hardness variable x variable y variable z x x y y z z f = ( x y z ) ( x y z ) ( x y z )
29 (1) MAXSNP-hardness x = true y = false z = false x x y y z z f = ( x y z ) ( x y z ) ( x y z )
30 (1) MAXSNP-hardness variable x variable y variable z x x y y z z f = ( x y z ) ( x y z ) ( x y z )
31 (1) MAXSNP-hardness x = false y = false z = false x x y y z z not satisfied f = ( x y z ) ( x y z ) ( x y z )
32 (1) MAXSNP-hardness Max PP is MAXSNP-hard for bipartite graphs. L-reduction: preserves approximability 3-occurrence MAX3SAT L-reduction Max PP for bipartite graphs f each variable appears at most 3 times = t t 3 ti ( x y z ) ( x y z ) ( x y z ) 1 1 1
33 Our Results (approximabiliy) General graphs (1) MAXSNP-hard (APX-hard) No PTAS unless P=NP Trees NP-hard (2) FPTAS Pseudo-poly.-time algorithm
34 Pseudo-Polynomial-Time Algorithm Max PP is NP-hard even for trees. Max PP can be solved for a tree T in time O(F 2 n) if the supplies and demands are integers. F = min sum of all demands sum of all supplies = = F= min{43,40}= max fulfillment F
35 Pseudo-Polynomial-Time Algorithm Dynamic Programming root root
36 Pseudo-Polynomial-Time Algorithm T optimal partition of T v optimal partition of T 5 5 T v v 10 9 T v v fulfillment = 18 fulfillment = 20
37 Pseudo-Polynomial-Time Algorithm Dynamic Programming marginal power 20 - (10+5+3) = 2 v =10 v 10 5 T v 10 9 T v fulfillment: fulfillment: 10
38 Pseudo-Polynomial-Time Algorithm Dynamic Programming 20-(10+3)= 7 20-(10+5)=5 5 5 T v v 10 9 T v v fulfillment: fulfillment: 15
39 Pseudo-Polynomial-Time Algorithm optimal partition of T T v T 9 v v10 v T v v fulfillment: 18 fulfillment: T v T v v10 9 v fulfillment: fulfillment: 15
40 Pseudo-Polynomial-Time Algorithm staircase,non-increasing marginal power T v T 9 v v10 v fulfillment: fulfillment: T v T v v10 9 v fulfillment: 13 fulfillment: F F points fulfillment
41 Pseudo-Polynomial-Time Algorithm dfii deficient power 5+4 = 9 5 optimal partition of T 5 T v v T v v fulfillment: 9
42 Pseudo-Polynomial-Time Algorithm T v optimal partition of T v T v 15 v fulfillment: 5 fulfillment: T v v 5 15 T v v T v v fulfillment: 9 fulfillment: 12
43 Pseudo-Polynomial-Time Algorithm staircase, non-decreasing deficient power T v v 5 15 T v v fulfillment: T v 5 15 v fulfillment: 9 fulfillment: T 15 v 5 v fulfillment: F F points fulfillment
44 Pseudo-Polynomial-Time Algorithm leaves
45 Pseudo-Polynomial-Time Algorithm marginal power deficient power F F fulfillment fulfillment 20 O(F 2 ) time marginal power deficient power marginal power deficient power fulfillment 0 F F F F 12 3 fulfillment fulfillment fulfillment
46 Pseudo-Polynomial-Time Algorithm marginal power deficient power root t fulfillment max fulfillment F F fulfillment Dynamic Programming
47 Pseudo-Polynomial-Time Algorithm Computation time for each vertex O(F 2 ) There are n vertices. root Dynamic Programming
48 Pseudo-Polynomial-Time Algorithm Computation time for each vertex O(F 2 ) There are n vertices. Computation time O(F 2 n) Th l ith t k l i lti if The algorithm takes polynomial time if F is bounded by a polynomial in n.
49 (2) FPTAS Let all demands and supply be positive real numbers. For any ε, 0< ε <1, the algorithm finds a partition of a tree T such that OPT APPRO < ε OPT in time polynomial in both n and 1/ε. O 5 n 2 ε n : # of vertices
50 (2) FPTAS The algorithm is similar to the previous algorithm. marginal power 0 t sampled fulfillment
51 (2) FPTAS The algorithm total error is similar < error/merge to the previous # of algorithm. merge < 2t n marginal power OPT APPRO < 2nt OPT 0 t sampled fulfillment APPRO
52 (2) FPTAS Error OPT APPRO < 2nt m d : max demand t = ε m 2nn d m d = 9
53 (2) FPTAS Error OPT APPRO < 2nt m d = ε ε OPT m d : max demand t = ε m 2nn d m d OPT d OPT APPRO < ε OPT error ratio OPT APPRO OPT < ε
54 (2) FPTAS Error m d : max demand OPT APPRO < ε OPT Computation time marginal power 2 F O n t t ε m 2n d =, 5 n = O 2 ε F nm d 0 t F t Sampled fulfillment points
55 Conclusions General graphs (1) () MAXSNP-hard (APX-hard) No PTAS unless P=NP Trees NP-hard (2) FPTAS 5 15
56 Variant (Generalization of Knapsack Problem) find a partition which maximizes sum of profits of all demand d vertices that t are supplied power. 10 3, 50 7, 30 8, 200 demand profit
57 Variant (Generalization of Knapsack Problem) find a partition which maximizes sum of profits of all demand d vertices that t are supplied power , 50 7, 30 8, 200 3, 50 7, 30 8, 200 Sum demands = 8 profits = 200 max Sum demands = 3+7 = 10 profits = = 80
58 Variant (Generalization of Knapsack Problem) find a partition which maximizes sum of profits of all demand d vertices that t are supplied power. 10 2, 10 7, 30 5, 45 8, 20 3, 50 7, 30 8, 200 FPTAS for KP [Ibarra and Kim 75] 10 6, FPTAS for trees
59 Variant (Generalization of Knapsack Problem) find a partition which maximizes sum of profits of all demand d vertices that t are supplied power. 10 2, 10 7, 30 5, 45 8, 20 3, 50 7, 30 8, 200 FPTAS for KP [Ibarra and Kim 75] extendable to partial k-trees (graphs with bounded treewidth) if there is exactly one supply 10 6, FPTAS for trees 20 2, 10 7, 8 6, 12 5, 25 8, 3 3, 5 8, 13
60 Variant (Generalization of Knapsack Problem) find a partition which maximizes sum of profits of all demand d vertices that t are supplied power. 10 2, 10 7, 30 5, 45 8, 20 3, 50 7, 30 8, 200 FPTAS for KP [Ibarra and Kim 75] extendable to partial k-trees (graphs with bounded treewidth) if there is exactly one supply 10 6, FPTAS for trees 20 2, 10 7, 8 6, 12 5, 25 8, 3 3, 5 8, 13
61 Thank You!
62
63 Series-Parallel Graphs (recursively) (1) A single edge is a SP graph. (2a) Series connection :terminal G G G1 1 1 G 2 G2 (2b) Parallel connection G G 1 G 1 2 G 2 G 2
64 SP Graph & Decomposition Tree e 2 e 1 e 3 S P e 4 e 6 e 5 S P e 7 S S S :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
65 SP Graph & Decomposition Tree e 2 e 1 e 3 e 6 e 4 e 7 e 5 :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
66 SP Graph & Decomposition Tree e 2 e 1 e 3 e 6 e 4 e 7 S e 5 Series connection :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
67 SP Graph & Decomposition Tree e 2 e 1 e 3 e 6 e S S e 4 e 7 S S e 5 Series connection :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
68 SP Graph & Decomposition Tree e 2 e 1 e 3 e 6 e 4 e 7 S S e 5 P Parallel connection :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
69 SP Graph & Decomposition Tree e 2 e 1 e 3 S P e 6 e 4 e 7 S S e 5 S Series connection :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
70 SP Graph & Decomposition Tree e 2 e 1 e 3 S S P e 6 e 4 e 7 S S e 5 S Series connection :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
71 SP Graph & Decomposition Tree e 2 e 1 e 3 S P S P e 6 e 4 e S S 7 e 5 S Parallel connection :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
72 SP Graph & Decomposition Tree e 2 e 1 e 3 S P e 4 e 6 e 6 e e 4 5 e 7 e 5 S P e 7 e 7 S S S :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
73 SP Graph & Decomposition Tree DP algorithm P e 2 e 1 e 3 S e 4 e 6 e 5 S P e 7 S S S :terminal e 1 e 2 e 3 e 4 e 5 e 6 e 7 leaves Decomposition tree
74 Pseudo-Polynomial-Time Algorithm Suppose that a SP graph has exactly one supply. Max PP for such a SP graph can be solved in time O(F( 2 n) ) if the demands and the supply are integers. F : sum of all demands n: # of vertices 10 5 pseudo-polynomialtime algorithm F max = fulfillment = F29 (2) FPTAS
75 Pseudo-Polynomial-Time Algorithm What should we store in the table for Max PP? DP G table 3 2 P S S 7 G 1 G Decomposition tree DP table Corresponding SP subgraphs DP table
76 Pseudo-Polynomial-Time Algorithm
77 Pseudo-Polynomial-Time Algorithm
78 Pseudo-Polynomial-Time Algorithm
79 Pseudo-Polynomial-Time Algorithm
80 Pseudo-Polynomial-Time Algorithm If G had more than one supply, Max PP would ldfind a partition. G
81 Pseudo-Polynomial-Time Algorithm Max PP finds only one component with the supply G
82 Pseudo-Polynomial-Time Algorithm two terminals are supplied power and contained in same component G
83 Pseudo-Polynomial-Time Algorithm Max PP finds only one component with the supply G
84 Pseudo-Polynomial-Time Algorithm two terminals will be supplied power, but are contained din different components G
85 Pseudo-Polynomial-Time Algorithm Max PP finds only one component with the supply G
86 Pseudo-Polynomial-Time Algorithm this terminal will be supplied power this terminal is never supplied power G
87 Pseudo-Polynomial-Time Algorithm Max PP finds only one component with the supply G
88 Pseudo-Polynomial-Time Algorithm two terminals are never supplied power G
89 Pseudo-Polynomial-Time Algorithm both are/will be supplied power one is/will be supplied, but the other is never supplied same component both are never supplied different components
90 Pseudo-Polynomial-Time Algorithm If the component has the supply vertex, then the component may have the marginal power
91 Pseudo-Polynomial-Time Algorithm If the component has the supply vertex, then the component may have the marginal power (3+2) = 5 marginal power
92 Pseudo-Polynomial-Time Algorithm If the component has no supply vertex, the component may have the deficient i power
93 Pseudo-Polynomial-Time Algorithm If the component has no supply vertex, the component may have the deficient i power = 12 deficient power
94 Pseudo-Polynomial-Time Algorithm both are/will be supplied power one is/will be supplied, but the other is never supplied same component both are never supplied different components
95 Pseudo-Polynomial-Time Algorithm both are/will be supplied power fulfillment staircase,non-increasing marginal power 5 marginal power F fulfillment
96 Pseudo-Polynomial-Time Algorithm both are/will be supplied power staircase, non-decreasing deficient power fulfillment deficient power 1 23 F fulfillment
97 marginal Pseudo-Polynomial-Time power deficient power marginal power Algorithm deficient power both are/will be F supplied power F fulfillment fulfillment one is/will be supplied, but F the other is never supplied F fulfillment fulfillment same component different components 0 marginal power marginal power dfii deficient power both are never supplied deficient F power 0 F 12 3 fulfillment 0 F 12 3 fulfillment fulfillment F 12 3 fulfillment
98 Pseudo-Polynomial-Time Algorithm S P time O(F 2 ) S G DP table G 1 G Decomposition tree DP size table Corresponding DP size table O(F ) SP subgraphs O(F )
99 Pseudo-Polynomial-Time Algorithm O(F 2 ) S P P S # of nodes = O(n) S S e 1 e 2 e 3 e 4 e 5 e 6 e 7 O( F 2 n ) Decomposition tree n : # of vertices in a given SP graph
100 Pseudo-Polynomial-Time Algorithm Suppose that a SP graph has exactly one supply. Max PP for such a SP graph can be solved in time O(F( 2 n) ) if the demands and the supply are integers. F : sum of all demands n: # of vertices 10 5 pseudo-polynomialtime algorithm F max = fulfillment = F29 (2) FPTAS
101 (2) FPTAS Let all demands and supply be positive real numbers. For any ε, 0< ε <1, the algorithm finds a component with the supply vertex such that APPRO > (1 ε ) OPT in time polynomial in both n and 1/ε. O 5 n 2 ε n : # of vertices
102 (2) FPTAS The algorithm is similar to the previous algorithm. marginal power 0 t sampled fulfillment
103 (2) FPTAS The algorithm is similar to the previous algorithm. marginal power APPRO > (1 ε ) OPT 0 m d : max demand t t ε m = 4n d fulfillment
104
105 Open Problem Is there an approximation algorithm for SP graphs having more than one supply? FPTAS or PTAS? constant-factor?
106 Open Problem both are/will be supplied power one is/will be supplied, but the other is never supplied same component both are never supplied different components
107 Open Problem both are/will be supplied power different components The two components must become ONE component. j k deficient power = j + k j + k (1D) deficient power F fulfillment
108 Open Problem If a given graph has more than one supply j k deficient power = j + k
109
110 Our Results Max subset sum problem Max PP FPTAS [Ibarra and Kim, 1975] straightforward? our FPTAS
111 Our Results Max subset sum problem FPTAS [Ibarra and Kim, 1975] Max PP our FPTAS straightforward? margin: 2 Sum: 10 Sum: The graph structure plays crucial role.
112
113 Assumption of the Problem Every demand vertex must be supplied from exactly one supply vertex. Max PPi is applied to Power delivery networks. It is difficult to synchronize two or more sources.
114
115 Application of Max PP Power delivery problem load = demand vertex cable segment = edge feeder = supply vertex Power delivery network
116 Application of Max PP Power delivery problem Determine whether there exists a switching so that t all loads can be supplied. If not all loads can be supplied, we want to maximize the sum of loads supplied power. Max Partition ProblemPower delivery network
CS21 Decidability and Tractability
CS21 Decidability and Tractability Lecture 20 February 23, 2018 February 23, 2018 CS21 Lecture 20 1 Outline the complexity class NP NP-complete probelems: Subset Sum NP-complete problems: NAE-3-SAT, max
More informationCOSC 341: Lecture 25 Coping with NP-hardness (2)
1 Introduction Figure 1: Famous cartoon by Garey and Johnson, 1979 We have seen the definition of a constant factor approximation algorithm. The following is something even better. 2 Approximation Schemes
More informationApproximation Preserving Reductions
Approximation Preserving Reductions - Memo Summary - AP-reducibility - L-reduction technique - Complete problems - Examples: MAXIMUM CLIQUE, MAXIMUM INDEPENDENT SET, MAXIMUM 2-SAT, MAXIMUM NAE 3-SAT, MAXIMUM
More informationKnapsack. Bag/knapsack of integer capacity B n items item i has size s i and profit/weight w i
Knapsack Bag/knapsack of integer capacity B n items item i has size s i and profit/weight w i Goal: find a subset of items of maximum profit such that the item subset fits in the bag Knapsack X: item set
More informationMore on NP and Reductions
Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India http://www.iiitdm.ac.in COM 501 Advanced Data
More informationIntroduction to Bin Packing Problems
Introduction to Bin Packing Problems Fabio Furini March 13, 2015 Outline Origins and applications Applications: Definition: Bin Packing Problem (BPP) Solution techniques for the BPP Heuristic Algorithms
More informationNP-Completeness. NP-Completeness 1
NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979. NP-Completeness 1 General Problems, Input Size and
More information8 Knapsack Problem 8.1 (Knapsack)
8 Knapsack In Chapter 1 we mentioned that some NP-hard optimization problems allow approximability to any required degree. In this chapter, we will formalize this notion and will show that the knapsack
More informationTheory of Computation Chapter 9
0-0 Theory of Computation Chapter 9 Guan-Shieng Huang May 12, 2003 NP-completeness Problems NP: the class of languages decided by nondeterministic Turing machine in polynomial time NP-completeness: Cook
More informationHardness of Approximation
Hardness of Approximation We have seen several methods to find approximation algorithms for NP-hard problems We have also seen a couple of examples where we could show lower bounds on the achievable approxmation
More informationComputational Complexity and Intractability: An Introduction to the Theory of NP. Chapter 9
1 Computational Complexity and Intractability: An Introduction to the Theory of NP Chapter 9 2 Objectives Classify problems as tractable or intractable Define decision problems Define the class P Define
More informationCS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle
8.5 Sequencing Problems Basic genres. Packing problems: SET-PACKING, INDEPENDENT SET. Covering problems: SET-COVER, VERTEX-COVER. Constraint satisfaction problems: SAT, 3-SAT. Sequencing problems: HAMILTONIAN-CYCLE,
More informationAsymptotic Polynomial-Time Approximation (APTAS) and Randomized Approximation Algorithms
Approximation Algorithms Asymptotic Polynomial-Time Approximation (APTAS) and Randomized Approximation Algorithms Jens Egeblad November 29th, 2006 Agenda First lesson (Asymptotic Approximation): Bin-Packing
More informationLecture 18: More NP-Complete Problems
6.045 Lecture 18: More NP-Complete Problems 1 The Clique Problem a d f c b e g Given a graph G and positive k, does G contain a complete subgraph on k nodes? CLIQUE = { (G,k) G is an undirected graph with
More informationThere are two types of problems:
Np-complete Introduction: There are two types of problems: Two classes of algorithms: Problems whose time complexity is polynomial: O(logn), O(n), O(nlogn), O(n 2 ), O(n 3 ) Examples: searching, sorting,
More informationDiscrete Optimization 2010 Lecture 12 TSP, SAT & Outlook
Discrete Optimization 2010 Lecture 12 TSP, SAT & Outlook Marc Uetz University of Twente m.uetz@utwente.nl Lecture 12: sheet 1 / 29 Marc Uetz Discrete Optimization Outline TSP Randomization Outlook 1 Approximation
More informationFundamentals of optimization problems
Fundamentals of optimization problems Dmitriy Serdyuk Ferienakademie in Sarntal 2012 FAU Erlangen-Nürnberg, TU München, Uni Stuttgart September 2012 Overview 1 Introduction Optimization problems PO and
More informationPolynomial kernels for constant-factor approximable problems
1 Polynomial kernels for constant-factor approximable problems Stefan Kratsch November 11, 2010 2 What do these problems have in common? Cluster Edge Deletion, Cluster Edge Editing, Edge Dominating Set,
More informationEfficient approximation algorithms for the Subset-Sums Equality problem
Efficient approximation algorithms for the Subset-Sums Equality problem Cristina Bazgan 1 Miklos Santha 2 Zsolt Tuza 3 1 Université Paris-Sud, LRI, bât.490, F 91405 Orsay, France, bazgan@lri.fr 2 CNRS,
More informationApproximation algorithm for Max Cut with unit weights
Definition Max Cut Definition: Given an undirected graph G=(V, E), find a partition of V into two subsets A, B so as to maximize the number of edges having one endpoint in A and the other in B. Definition:
More informationChapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved.
Chapter 11 Approximation Algorithms Slides by Kevin Wayne. Copyright @ 2005 Pearson-Addison Wesley. All rights reserved. 1 Approximation Algorithms Q. Suppose I need to solve an NP-hard problem. What should
More informationTheoretical Computer Science
Theoretical Computer Science 532 (2014) 64 72 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Bandwidth consecutive multicolorings
More informationAlgorithms and Theory of Computation. Lecture 22: NP-Completeness (2)
Algorithms and Theory of Computation Lecture 22: NP-Completeness (2) Xiaohui Bei MAS 714 November 8, 2018 Nanyang Technological University MAS 714 November 8, 2018 1 / 20 Set Cover Set Cover Input: a set
More informationChapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved.
Chapter 11 Approximation Algorithms Slides by Kevin Wayne. Copyright @ 2005 Pearson-Addison Wesley. All rights reserved. 1 P and NP P: The family of problems that can be solved quickly in polynomial time.
More informationThe Knapsack Problem. 28. April /44
The Knapsack Problem 20 10 15 20 W n items with weight w i N and profit p i N Choose a subset x of items Capacity constraint i x w i W wlog assume i w i > W, i : w i < W Maximize profit i x p i 28. April
More informationNP-Completeness. f(n) \ n n sec sec sec. n sec 24.3 sec 5.2 mins. 2 n sec 17.9 mins 35.
NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979. NP-Completeness 1 General Problems, Input Size and
More informationP,NP, NP-Hard and NP-Complete
P,NP, NP-Hard and NP-Complete We can categorize the problem space into two parts Solvable Problems Unsolvable problems 7/11/2011 1 Halting Problem Given a description of a program and a finite input, decide
More informationPolynomial time approximation schemes and parameterized complexity
Discrete Applied Mathematics 155 (2007) 180 193 www.elsevier.com/locate/dam Polynomial time approximation schemes and parameterized complexity Jianer Chen a,b,1, Xiuzhen Huang c,2, Iyad A. Kanj d,3,gexia
More informationAPTAS for Bin Packing
APTAS for Bin Packing Bin Packing has an asymptotic PTAS (APTAS) [de la Vega and Leuker, 1980] For every fixed ε > 0 algorithm outputs a solution of size (1+ε)OPT + 1 in time polynomial in n APTAS for
More informationApproximation Algorithms for Re-optimization
Approximation Algorithms for Re-optimization DRAFT PLEASE DO NOT CITE Dean Alderucci Table of Contents 1.Introduction... 2 2.Overview of the Current State of Re-Optimization Research... 3 2.1.General Results
More informationThe maximum edge-disjoint paths problem in complete graphs
Theoretical Computer Science 399 (2008) 128 140 www.elsevier.com/locate/tcs The maximum edge-disjoint paths problem in complete graphs Adrian Kosowski Department of Algorithms and System Modeling, Gdańsk
More informationFinding Paths with Minimum Shared Edges in Graphs with Bounded Treewidth
Finding Paths with Minimum Shared Edges in Graphs with Bounded Treewidth Z.-Q. Ye 1, Y.-M. Li 2, H.-Q. Lu 3 and X. Zhou 4 1 Zhejiang University, Hanzhou, Zhejiang, China 2 Wenzhou University, Wenzhou,
More informationMore NP-Complete Problems
CS 473: Algorithms, Spring 2018 More NP-Complete Problems Lecture 23 April 17, 2018 Most slides are courtesy Prof. Chekuri Ruta (UIUC) CS473 1 Spring 2018 1 / 57 Recap NP: languages/problems that have
More information1.1 P, NP, and NP-complete
CSC5160: Combinatorial Optimization and Approximation Algorithms Topic: Introduction to NP-complete Problems Date: 11/01/2008 Lecturer: Lap Chi Lau Scribe: Jerry Jilin Le This lecture gives a general introduction
More informationLecture 24 : Even more reductions
COMPSCI 330: Design and Analysis of Algorithms December 5, 2017 Lecture 24 : Even more reductions Lecturer: Yu Cheng Scribe: Will Wang 1 Overview Last two lectures, we showed the technique of reduction
More informationarxiv: v1 [math.oc] 3 Jan 2019
The Product Knapsack Problem: Approximation and Complexity arxiv:1901.00695v1 [math.oc] 3 Jan 2019 Ulrich Pferschy a, Joachim Schauer a, Clemens Thielen b a Department of Statistics and Operations Research,
More informationNP-Completeness. Sections 28.5, 28.6
NP-Completeness Sections 28.5, 28.6 NP-Completeness A language L might have these properties: 1. L is in NP. 2. Every language in NP is deterministic, polynomial-time reducible to L. L is NP-hard iff it
More informationApproximation Basics
Approximation Basics, Concepts, and Examples Xiaofeng Gao Department of Computer Science and Engineering Shanghai Jiao Tong University, P.R.China Fall 2012 Special thanks is given to Dr. Guoqiang Li for
More informationIncreasing the Span of Stars
Increasing the Span of Stars Ning Chen Roee Engelberg C. Thach Nguyen Prasad Raghavendra Atri Rudra Gynanit Singh Department of Computer Science and Engineering, University of Washington, Seattle, WA.
More informationLecture 13 March 7, 2017
CS 224: Advanced Algorithms Spring 2017 Prof. Jelani Nelson Lecture 13 March 7, 2017 Scribe: Hongyao Ma Today PTAS/FPTAS/FPRAS examples PTAS: knapsack FPTAS: knapsack FPRAS: DNF counting Approximation
More informationNP-Complete Reductions 1
x x x 2 x 2 x 3 x 3 x 4 x 4 CS 4407 2 22 32 Algorithms 3 2 23 3 33 NP-Complete Reductions Prof. Gregory Provan Department of Computer Science University College Cork Lecture Outline x x x 2 x 2 x 3 x 3
More informationNP and Computational Intractability
NP and Computational Intractability 1 Review Basic reduction strategies. Simple equivalence: INDEPENDENT-SET P VERTEX-COVER. Special case to general case: VERTEX-COVER P SET-COVER. Encoding with gadgets:
More informationCSE 202 Homework 4 Matthias Springer, A
CSE 202 Homework 4 Matthias Springer, A99500782 1 Problem 2 Basic Idea PERFECT ASSEMBLY N P: a permutation P of s i S is a certificate that can be checked in polynomial time by ensuring that P = S, and
More informationLimits to Approximability: When Algorithms Won't Help You. Note: Contents of today s lecture won t be on the exam
Limits to Approximability: When Algorithms Won't Help You Note: Contents of today s lecture won t be on the exam Outline Limits to Approximability: basic results Detour: Provers, verifiers, and NP Graph
More informationContents. Typical techniques. Proving hardness. Constructing efficient algorithms
Contents Typical techniques Proving hardness Constructing efficient algorithms Generating Maximal Independent Sets Consider the generation of all maximal sets of an independence system. Generating Maximal
More informationCSE 421 NP-Completeness
CSE 421 NP-Completeness Yin at Lee 1 Cook-Levin heorem heorem (Cook 71, Levin 73): 3-SA is NP-complete, i.e., for all problems A NP, A p 3-SA. (See CSE 431 for the proof) So, 3-SA is the hardest problem
More information8.5 Sequencing Problems
8.5 Sequencing Problems Basic genres. Packing problems: SET-PACKING, INDEPENDENT SET. Covering problems: SET-COVER, VERTEX-COVER. Constraint satisfaction problems: SAT, 3-SAT. Sequencing problems: HAMILTONIAN-CYCLE,
More informationKeywords. Approximation Complexity Theory: historical remarks. What s PCP?
Keywords The following terms should be well-known to you. 1. P, NP, NP-hard, NP-complete. 2. (polynomial-time) reduction. 3. Cook-Levin theorem. 4. NPO problems. Instances. Solutions. For a long time it
More informationa 1 a 2 a 3 a 4 v i c i c(a 1, a 3 ) = 3
AM 221: Advanced Optimization Spring 2016 Prof. Yaron Singer Lecture 17 March 30th 1 Overview In the previous lecture, we saw examples of combinatorial problems: the Maximal Matching problem and the Minimum
More informationOn the Complexity of Budgeted Maximum Path Coverage on Trees
On the Complexity of Budgeted Maximum Path Coverage on Trees H.-C. Wirth An instance of the budgeted maximum coverage problem is given by a set of weighted ground elements and a cost weighted family of
More informationThis means that we can assume each list ) is
This means that we can assume each list ) is of the form ),, ( )with < and Since the sizes of the items are integers, there are at most +1pairs in each list Furthermore, if we let = be the maximum possible
More informationBayesian Networks Factor Graphs the Case-Factor Algorithm and the Junction Tree Algorithm
Bayesian Networks Factor Graphs the Case-Factor Algorithm and the Junction Tree Algorithm 1 Bayesian Networks We will use capital letters for random variables and lower case letters for values of those
More informationDecision Problems TSP. Instance: A complete graph G with non-negative edge costs, and an integer
Decision Problems The theory of NP-completeness deals only with decision problems. Why? Because if a decision problem is hard, then the corresponding optimization problem must be hard too. For example,
More informationLimitations of Algorithm Power
Limitations of Algorithm Power Objectives We now move into the third and final major theme for this course. 1. Tools for analyzing algorithms. 2. Design strategies for designing algorithms. 3. Identifying
More informationNP-COMPLETE PROBLEMS. 1. Characterizing NP. Proof
T-79.5103 / Autumn 2006 NP-complete problems 1 NP-COMPLETE PROBLEMS Characterizing NP Variants of satisfiability Graph-theoretic problems Coloring problems Sets and numbers Pseudopolynomial algorithms
More informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 26 Computational Intractability Polynomial Time Reductions Sofya Raskhodnikova S. Raskhodnikova; based on slides by A. Smith and K. Wayne L26.1 What algorithms are
More information4/20/11. NP-complete problems. A variety of NP-complete problems. Hamiltonian Cycle. Hamiltonian Cycle. Directed Hamiltonian Cycle
A variety of NP-complete problems NP-complete problems asic genres. Packing problems: SE-PACKING, INDEPENDEN SE. Covering problems: SE-COVER, VEREX-COVER. Constraint satisfaction problems: SA, 3-SA. Sequencing
More informationLecture 4. 1 FPTAS - Fully Polynomial Time Approximation Scheme
Theory of Computer Science to Msc Students, Spring 2007 Lecturer: Dorit Aharonov Lecture 4 Scribe: Ram Bouobza & Yair Yarom Revised: Shahar Dobzinsi, March 2007 1 FPTAS - Fully Polynomial Time Approximation
More informationWelcome to... Problem Analysis and Complexity Theory , 3 VU
Welcome to... Problem Analysis and Complexity Theory 716.054, 3 VU Birgit Vogtenhuber Institute for Software Technology email: bvogt@ist.tugraz.at office: Inffeldgasse 16B/II, room IC02044 slides: http://www.ist.tugraz.at/pact17.html
More informationMore Completeness, conp, FNP,etc. CS254 Chris Pollett Oct 30, 2006.
More Completeness, conp, FNP,etc. CS254 Chris Pollett Oct 30, 2006. Outline A last complete problem for NP conp, conp NP Function problems MAX-CUT A cut in a graph G=(V,E) is a set of nodes S used to partition
More informationAlgorithms. Outline! Approximation Algorithms. The class APX. The intelligence behind the hardware. ! Based on
6117CIT - Adv Topics in Computing Sci at Nathan 1 Algorithms The intelligence behind the hardware Outline! Approximation Algorithms The class APX! Some complexity classes, like PTAS and FPTAS! Illustration
More informationAutomata Theory CS S-18 Complexity Theory II: Class NP
Automata Theory CS411-2015S-18 Complexity Theory II: Class NP David Galles Department of Computer Science University of San Francisco 18-0: Language Class P A language L is polynomially decidable if there
More informationExact Max 2-SAT: Easier and Faster. Martin Fürer Shiva Prasad Kasiviswanathan Pennsylvania State University, U.S.A
Exact Max 2-SAT: Easier and Faster Martin Fürer Shiva Prasad Kasiviswanathan Pennsylvania State University, U.S.A MAX 2-SAT Input: A 2-CNF fomula F with weights on clauses. Good assignment is one that
More informationHardness of Approximation of Graph Partitioning into Balanced Complete Bipartite Subgraphs
Hardness of Approximation of Graph Partitioning into Balanced Complete Bipartite Subgraphs Hideaki OTSUKI Abstract For a graph G, a biclique edge partition S BP (G) is a collection of complete bipartite
More informationLecture 6,7 (Sept 27 and 29, 2011 ): Bin Packing, MAX-SAT
,7 CMPUT 675: Approximation Algorithms Fall 2011 Lecture 6,7 (Sept 27 and 29, 2011 ): Bin Pacing, MAX-SAT Lecturer: Mohammad R. Salavatipour Scribe: Weitian Tong 6.1 Bin Pacing Problem Recall the bin pacing
More informationCSCI3390-Lecture 17: A sampler of NP-complete problems
CSCI3390-Lecture 17: A sampler of NP-complete problems 1 List of Problems We now know that if L is any problem in NP, that L P SAT, and thus SAT is NP-hard. Since SAT is also in NP we find that SAT is
More information4/12/2011. Chapter 8. NP and Computational Intractability. Directed Hamiltonian Cycle. Traveling Salesman Problem. Directed Hamiltonian Cycle
Directed Hamiltonian Cycle Chapter 8 NP and Computational Intractability Claim. G has a Hamiltonian cycle iff G' does. Pf. Suppose G has a directed Hamiltonian cycle Γ. Then G' has an undirected Hamiltonian
More informationCOP 4531 Complexity & Analysis of Data Structures & Algorithms
COP 4531 Complexity & Analysis of Data Structures & Algorithms Lecture 18 Reductions and NP-completeness Thanks to Kevin Wayne and the text authors who contributed to these slides Classify Problems According
More informationNP-complete Problems
NP-complete Problems HP, TSP, 3COL, 0/1IP Dimitris Diamantis µπλ November 6, 2014 Dimitris Diamantis (µπλ ) NP-complete Problems November 6, 2014 1 / 34 HAMILTON PATH is NP-Complete Definition Given an
More informationSAT, Coloring, Hamiltonian Cycle, TSP
1 SAT, Coloring, Hamiltonian Cycle, TSP Slides by Carl Kingsford Apr. 28, 2014 Sects. 8.2, 8.7, 8.5 2 Boolean Formulas Boolean Formulas: Variables: x 1, x 2, x 3 (can be either true or false) Terms: t
More informationINAPPROX APPROX PTAS. FPTAS Knapsack P
CMPSCI 61: Recall From Last Time Lecture 22 Clique TSP INAPPROX exists P approx alg for no ε < 1 VertexCover MAX SAT APPROX TSP some but not all ε< 1 PTAS all ε < 1 ETSP FPTAS Knapsack P poly in n, 1/ε
More informationThe Complexity of Maximum. Matroid-Greedoid Intersection and. Weighted Greedoid Maximization
Department of Computer Science Series of Publications C Report C-2004-2 The Complexity of Maximum Matroid-Greedoid Intersection and Weighted Greedoid Maximization Taneli Mielikäinen Esko Ukkonen University
More informationSolving Max SAT and #SAT on structured CNF formulas
Solving Max SAT and #SAT on structured CNF formulas Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle University of Bergen July 14, 2014 Sæther, Telle, Vatshelle (UiB) Max SAT on structured formulas
More informationNo Harder Than. We want these transformations to effectively be a problem-hardness version of #, which we will call No Harder Than.
No Harder Than We want these transformations to effectively be a problem-hardness version of #, which we will call No Harder Than. If we can reduce problem B to problem A appropriately, then we say that
More informationGraduate Algorithms CS F-21 NP & Approximation Algorithms
Graduate Algorithms CS673-2016F-21 NP & Approximation Algorithms David Galles Department of Computer Science University of San Francisco 21-0: Classes of Problems Consider three problem classes: Polynomial
More informationExercises NP-completeness
Exercises NP-completeness Exercise 1 Knapsack problem Consider the Knapsack problem. We have n items, each with weight a j (j = 1,..., n) and value c j (j = 1,..., n) and an integer B. All a j and c j
More informationFinding Large Induced Subgraphs
Finding Large Induced Subgraphs Illinois Institute of Technology www.math.iit.edu/ kaul kaul@math.iit.edu Joint work with S. Kapoor, M. Pelsmajer (IIT) Largest Induced Subgraph Given a graph G, find the
More informationTheory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death
Theory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death Nathan Brunelle Department of Computer Science University of Virginia www.cs.virginia.edu/~njb2b/theory
More informationRecoverable Robustness in Scheduling Problems
Master Thesis Computing Science Recoverable Robustness in Scheduling Problems Author: J.M.J. Stoef (3470997) J.M.J.Stoef@uu.nl Supervisors: dr. J.A. Hoogeveen J.A.Hoogeveen@uu.nl dr. ir. J.M. van den Akker
More informationLecture 11 October 7, 2013
CS 4: Advanced Algorithms Fall 03 Prof. Jelani Nelson Lecture October 7, 03 Scribe: David Ding Overview In the last lecture we talked about set cover: Sets S,..., S m {,..., n}. S has cost c S. Goal: Cover
More informationPCPs and Inapproximability Gap-producing and Gap-Preserving Reductions. My T. Thai
PCPs and Inapproximability Gap-producing and Gap-Preserving Reductions My T. Thai 1 1 Hardness of Approximation Consider a maximization problem Π such as MAX-E3SAT. To show that it is NP-hard to approximation
More informationWeek Cuts, Branch & Bound, and Lagrangean Relaxation
Week 11 1 Integer Linear Programming This week we will discuss solution methods for solving integer linear programming problems. I will skip the part on complexity theory, Section 11.8, although this is
More informationComputational Intractability 2010/4/15. Lecture 2
Computational Intractability 2010/4/15 Professor: David Avis Lecture 2 Scribe:Naoki Hatta 1 P and NP 1.1 Definition of P and NP Decision problem it requires yes/no answer. Example: X is a set of strings.
More informationNP-problems continued
NP-problems continued Page 1 Since SAT and INDEPENDENT SET can be reduced to each other we might think that there would be some similarities between the two problems. In fact, there is one such similarity.
More informationMatchings in hypergraphs of large minimum degree
Matchings in hypergraphs of large minimum degree Daniela Kühn Deryk Osthus Abstract It is well known that every bipartite graph with vertex classes of size n whose minimum degree is at least n/2 contains
More informationEssential facts about NP-completeness:
CMPSCI611: NP Completeness Lecture 17 Essential facts about NP-completeness: Any NP-complete problem can be solved by a simple, but exponentially slow algorithm. We don t have polynomial-time solutions
More informationThe Knapsack Problem. n items with weight w i N and profit p i N. Choose a subset x of items
Sanders/van Stee: Approximations- und Online-Algorithmen 1 The Knapsack Problem 10 15 W n items with weight w i N and profit p i N Choose a subset x of items Capacity constraint i x w i W wlog assume i
More informationCSI 4105 MIDTERM SOLUTION
University of Ottawa CSI 4105 MIDTERM SOLUTION Instructor: Lucia Moura Feb 6, 2010 10:00 am Duration: 1:50 hs Closed book Last name: First name: Student number: There are 4 questions and 100 marks total.
More informationMulti-criteria approximation schemes for the resource constrained shortest path problem
Noname manuscript No. (will be inserted by the editor) Multi-criteria approximation schemes for the resource constrained shortest path problem Markó Horváth Tamás Kis Received: date / Accepted: date Abstract
More informationarxiv: v1 [cs.ds] 26 Feb 2016
On the computational complexity of minimum-concave-cost flow in a two-dimensional grid Shabbir Ahmed, Qie He, Shi Li, George L. Nemhauser arxiv:1602.08515v1 [cs.ds] 26 Feb 2016 Abstract We study the minimum-concave-cost
More informationLec. 2: Approximation Algorithms for NP-hard Problems (Part II)
Limits of Approximation Algorithms 28 Jan, 2010 (TIFR) Lec. 2: Approximation Algorithms for NP-hard Problems (Part II) Lecturer: Prahladh Harsha Scribe: S. Ajesh Babu We will continue the survey of approximation
More informationIntro to Theory of Computation
Intro to Theory of Computation LECTURE 25 Last time Class NP Today Polynomial-time reductions Adam Smith; Sofya Raskhodnikova 4/18/2016 L25.1 The classes P and NP P is the class of languages decidable
More informationA necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees
A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of
More informationDiscrete Optimization 2010 Lecture 10 P, N P, and N PCompleteness
Discrete Optimization 2010 Lecture 10 P, N P, and N PCompleteness Marc Uetz University of Twente m.uetz@utwente.nl Lecture 9: sheet 1 / 31 Marc Uetz Discrete Optimization Outline 1 N P and co-n P 2 N P-completeness
More informationNP Completeness and Approximation Algorithms
Chapter 10 NP Completeness and Approximation Algorithms Let C() be a class of problems defined by some property. We are interested in characterizing the hardest problems in the class, so that if we can
More informationCS311 Computational Structures. NP-completeness. Lecture 18. Andrew P. Black Andrew Tolmach. Thursday, 2 December 2010
CS311 Computational Structures NP-completeness Lecture 18 Andrew P. Black Andrew Tolmach 1 Some complexity classes P = Decidable in polynomial time on deterministic TM ( tractable ) NP = Decidable in polynomial
More informationCS 5114: Theory of Algorithms
CS 5114: Theory of Algorithms Clifford A. Shaffer Department of Computer Science Virginia Tech Blacksburg, Virginia Spring 2014 Copyright c 2014 by Clifford A. Shaffer CS 5114: Theory of Algorithms Spring
More informationA An Overview of Complexity Theory for the Algorithm Designer
A An Overview of Complexity Theory for the Algorithm Designer A.1 Certificates and the class NP A decision problem is one whose answer is either yes or no. Two examples are: SAT: Given a Boolean formula
More informationNP and Computational Intractability
NP and Computational Intractability 1 Polynomial-Time Reduction Desiderata'. Suppose we could solve X in polynomial-time. What else could we solve in polynomial time? don't confuse with reduces from Reduction.
More information