A NOTE ON THE PRECEDENCE-CONSTRAINED CLASS SEQUENCING PROBLEM

Similar documents
On improving matchings in trees, via bounded-length augmentations 1

The maximum edge-disjoint paths problem in complete graphs

Differential approximation results for the Steiner tree problem

Reverse mathematics of some topics from algorithmic graph theory

1 Computational Problems

Determine the size of an instance of the minimum spanning tree problem.

Approximation algorithms for cycle packing problems

Overview. 1 Introduction. 2 Preliminary Background. 3 Unique Game. 4 Unique Games Conjecture. 5 Inapproximability Results. 6 Unique Game Algorithms

The 2 edge-disjoint 3-paths polyhedron

Friday Four Square! Today at 4:15PM, Outside Gates

Lecture 2: Scheduling on Parallel Machines

CSCE 551 Final Exam, April 28, 2016 Answer Key

On Machine Dependency in Shop Scheduling

CSCI3390-Lecture 14: The class NP

Improved Bounds for Flow Shop Scheduling

Complexity Theory Part II

Lecture 18: Inapproximability of MAX-3-SAT

Complexity analysis of the discrete sequential search problem with group activities

An improved approximation algorithm for the stable marriage problem with one-sided ties

An Improved Approximation Algorithm for Maximum Edge 2-Coloring in Simple Graphs

Variable Elimination (VE) Barak Sternberg

Minmax Tree Cover in the Euclidean Space

Independent generating sets and geometries for symmetric groups

Discrete Wiskunde II. Lecture 5: Shortest Paths & Spanning Trees

4 CONNECTED PROJECTIVE-PLANAR GRAPHS ARE HAMILTONIAN. Robin Thomas* Xingxing Yu**

The Complexity of Maximum. Matroid-Greedoid Intersection and. Weighted Greedoid Maximization

8.3 Hamiltonian Paths and Circuits

A PTAS for the Uncertain Capacity Knapsack Problem

Single processor scheduling with time restrictions

Packing and Covering Dense Graphs

Discrete Applied Mathematics

CSE200: Computability and complexity Space Complexity

Turán s Theorem and k-connected Graphs

Algorithms Exam TIN093 /DIT602

Optimization Prof. A. Goswami Department of Mathematics Indian Institute of Technology, Kharagpur. Lecture - 20 Travelling Salesman Problem

k-distinct In- and Out-Branchings in Digraphs

Data Structures in Java

Notes for Lecture Notes 2

ON THE ORDER OF ARC-STABILISERS IN ARC-TRANSITIVE GRAPHS, II

Topics in Complexity Theory

A Min-Max Theorem on Tournaments

2 GRAPH AND NETWORK OPTIMIZATION. E. Amaldi Introduction to Operations Research Politecnico Milano 1

Discrete Optimization 2010 Lecture 2 Matroids & Shortest Paths

ARRANGEABILITY AND CLIQUE SUBDIVISIONS. Department of Mathematics and Computer Science Emory University Atlanta, GA and

ABHELSINKI UNIVERSITY OF TECHNOLOGY

Paths and cycles in extended and decomposable digraphs

arxiv: v1 [cs.ds] 2 Oct 2018

NATIONAL UNIVERSITY OF SINGAPORE CS3230 DESIGN AND ANALYSIS OF ALGORITHMS SEMESTER II: Time Allowed 2 Hours

The Maximum Flow Problem with Disjunctive Constraints

This means that we can assume each list ) is

Scheduling chains of operations on a batching machine with disjoint sets of operation compatibility

Lecture 8: Complete Problems for Other Complexity Classes

Chapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved.

On Weak Chromatic Polynomials of Mixed Graphs

DEGREE SEQUENCES OF INFINITE GRAPHS

1 Primals and Duals: Zero Sum Games

arxiv: v1 [math.co] 13 May 2016

Approximation Algorithms for Re-optimization

Lecture 18: More NP-Complete Problems

GIRTH SIX CUBIC GRAPHS HAVE PETERSEN MINORS

A Fast Asymptotic Approximation Scheme for Bin Packing with Rejection

12. LOCAL SEARCH. gradient descent Metropolis algorithm Hopfield neural networks maximum cut Nash equilibria

COP 4531 Complexity & Analysis of Data Structures & Algorithms

SUB-EXPONENTIALLY MANY 3-COLORINGS OF TRIANGLE-FREE PLANAR GRAPHS

CHAPTER 3 FUNDAMENTALS OF COMPUTATIONAL COMPLEXITY. E. Amaldi Foundations of Operations Research Politecnico di Milano 1

Exact Algorithms for Dominating Induced Matching Based on Graph Partition

The minimum G c cut problem

Instructor N.Sadagopan Scribe: P.Renjith

Approximation Algorithms

MINIMALLY NON-PFAFFIAN GRAPHS

W -Hardness under Linear FPT-Reductions: Structural Properties and Further Applications

Minimization of Symmetric Submodular Functions under Hereditary Constraints

NP-COMPLETE PROBLEMS. 1. Characterizing NP. Proof

Learning Large-Alphabet and Analog Circuits with Value Injection Queries

4-coloring P 6 -free graphs with no induced 5-cycles

Approximation algorithm for Max Cut with unit weights

A polynomial time algorithm to solve the single-item capacitated lot sizing problem with minimum order quantities and concave costs

Breadth-First Search of Graphs

Solving Fuzzy PERT Using Gradual Real Numbers

Complexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler

Outline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.

CS 781 Lecture 9 March 10, 2011 Topics: Local Search and Optimization Metropolis Algorithm Greedy Optimization Hopfield Networks Max Cut Problem Nash

The common-line problem in congested transit networks

MAX for k-independence in multigraphs

Disjoint paths in unions of tournaments

Limits to Approximability: When Algorithms Won't Help You. Note: Contents of today s lecture won t be on the exam

Equitable coloring of corona products of cubic graphs is harder than ordinary coloring

arxiv: v1 [cs.ds] 22 Apr 2013

Theory of Computer Science to Msc Students, Spring Lecture 2

Dominating Set. Chapter 7

Partial characterizations of clique-perfect graphs II: diamond-free and Helly circular-arc graphs

Integer Equal Flows. 1 Introduction. Carol A. Meyers Andreas S. Schulz

APTAS for Bin Packing

Machine Minimization for Scheduling Jobs with Interval Constraints

CS60007 Algorithm Design and Analysis 2018 Assignment 1

1 Matchings in Non-Bipartite Graphs

arxiv: v2 [math.co] 7 Jan 2016

Lecturer: Shuchi Chawla Topic: Inapproximability Date: 4/27/2007

Approximation Algorithms for Asymmetric TSP by Decomposing Directed Regular Multigraphs

Chapter 11. Approximation Algorithms. Slides by Kevin Wayne Pearson-Addison Wesley. All rights reserved.

Transcription:

A NOTE ON THE PRECEDENCE-CONSTRAINED CLASS SEQUENCING PROBLEM JOSÉ R. CORREA, SAMUEL FIORINI, AND NICOLÁS E. STIER-MOSES School of Business, Universidad Adolfo Ibáñez, Santiago, Chile; correa@uai.cl Department of Mathematics, Université Libre de Bruxelles, Brussels, Belgium; sfiorini@ulb.ac.be Graduate School of Business, Columbia University, New York, USA; stier@gsb.columbia.edu Abstract. We give a short proof of a result of Tovey [6] on the inapproximability of a scheduling problem known as precedence constrained class sequencing. In addition, we present an approximation algorithm with performance guarantee (c + 1)/2, where c is the number of colors. This improves upon Tovey s c approximation. 1. Introduction In this note, we consider the precedence constrained class sequencing problem (PCCS), defined by Tovey as the following scheduling problem [6]. Consider an acyclic directed graph D = (N,A) with n nodes, a set C consisting of c colors, and a surjective color function ψ : N C that associates each node with a color. Applying a color ω C to D, means deleting all nodes in ψ 1 (ω) that have no predecessor with a different color. A sequence of colors σ = σ 1 σ 2 σ l C l clears D if sequentially applying colors σ 1, σ 2,..., σ l to D results in the empty graph. The goal is to find the shortest possible sequence σ that clears the graph. In the remainder of the paper, OPT(D,C,ψ) denotes the length of an optimal sequence. The PCCS problem appeared earlier in the Operations Research literature under the name station routing problem [5, 4] and in the Computer Science literature as the loop fusion Date: April 2004, revised March 2006. Key words and phrases. Precedence-Constrained Scheduling, Hardness of Approximation, Approximation Algorithms. 1

2 J. CORREA, S. FIORINI, AND N. STIER-MOSES problem [2]. Typically, nodes represent tasks to be performed, arcs represent precedence constraints between those tasks, and colors represent flexible machines that will perform the tasks. A natural objective is to find a schedule that minimizes the number of setup operations; in many applications the cost incurred when several tasks are performed on the same machine is negligible. This objective corresponds to that of PCCS. Lofgren, McGinnis and Tovey proved that PCCS is an NP-complete problem [5]. Later, Darte proved that the problem is still NP-complete even if the number of colors c is a constant greater than or equal to three [2], and not part of the input. Using a self-improvability property of PCCS, Lofgren et al. also proved the following result. Note that, here and henceforth, all approximation algorithms are assumed to run in polynomial time. Theorem 1 ([5, Theorem 4.3]). If there exists an approximation algorithm for PCCS with a constant guarantee, then the problem has a polynomial time approximation scheme (PTAS). In the same paper, the authors conjectured that no constant factor approximation algorithm exists, unless P = NP. Very recently, Jiang and Li [3] and Tovey [6] proved this conjecture. However, their proofs are rather long and involved. The main purpose of this note is to present a simple proof of the same result. In addition, we present an approximation algorithm for the problem that has performance guarantee (c + 1)/2. This algorithm can be turned into a n/2 approximation algorithm, improving upon Tovey s n approximation, which implicitly contains a c approximation. In case the number of colors is a constant, we give an algorithm with a performance guarantee of c/2 + ǫ. 2. Results Let us start with the short proof of Tovey s result, which is based on a reduction from Vertex Cover. Given an undirected graph G = (V,E), a vertex cover W of G is a set of vertices such that every edge in E is adjacent to at least one vertex in W. Berman and Fujito proved that, in graphs of maximum degree 3, finding a minimum vertex cover is NP-hard and that there is no better than 7/6 approximation algorithm, unless P = NP [1].

A NOTE ON THE PRECEDENCE-CONSTRAINED CLASS SEQUENCING PROBLEM 3 Theorem 2 ([6, Theorem 7]). No approximation algorithm for PCCS with a constant guarantee exists, unless P =NP. Proof. In view of Theorem 1, it suffices to show that there is no PTAS, i.e., there is some ǫ > 0 such that PCCS is not approximable within 1+ǫ in polynomial time, provided P NP. We prove that if there is a PTAS for PCCS, Vertex Cover for graphs with maximum degree 3 also has one, which contradicts the result in [1]. Therefore, let us assume that PCCS has a PTAS. Consider a simple and undirected graph G = (V,E) without isolated nodes and of maximum degree 3. Let τ denote the minimum size of a vertex cover of G. Since G does not have isolated vertices, it has at least V /2 edges. Therefore, as G has maximum degree 3, we have V 6τ. Starting from G, we define an instance (D,C,ψ) of PCCS, where D = (N,A), as follows. Let C = V be the set of colors, and for each vertex v V, create two nodes v and v in N, both with color v, i.e., ψ(v ) = ψ(v ) = v. For each edge vw in G, create two arcs (v,w ) and (w,v ) in A. Consider any vertex cover W of G with cardinality t. Any sequence of the form σ = ααα clears D, where α (resp. α) is any enumeration of W (resp. V \ W). As the length of σ is t + V, we have OPT(D, C, ψ) τ + V. Now, consider a clearing sequence σ of length l, and let W be the set of colors appearing at least twice in σ. Clearly, the set W is a vertex cover of G with cardinality at most l V. It follows that we can find in polynomial time a vertex cover of G with cardinality at most (1 + ǫ)(τ + V ) V = (1 + ǫ)τ + ǫ V (1 + ǫ)τ + 6ǫτ = (1 + 7ǫ)τ, for any fixed ǫ > 0. Therefore, Vertex Cover for graphs with maximum degree 3 has a PTAS, a contradiction. We now give an approximation algorithm with performance guarantee (c + 1)/2. Assume we have an instance (D,C,ψ), where C = {1,...,c}. Consider the sequences µ = µ 1 µ 2 µ c, and ν = ν 1 ν 2 ν c, defined by µ i = i and ν i = c + 1 i. Our algorithm is as follows:

4 J. CORREA, S. FIORINI, AND N. STIER-MOSES (i) Apply µ as many times as needed to clear D. (ii) Apply ν as many times as needed to clear D. (iii) Choose the shortest sequence of the two. Theorem 3. The algorithm we just described is a (c + 1)/2 approximation algorithm for PCCS. Furthermore, it implies the existence of a n/2 approximation algorithm. Finally, it also implies a (c/2+ǫ) approximation algorithm when c is a constant, for any fixed ǫ > 0. Proof. Consider an optimal clearing sequence σ of length OPT := OPT(D, C, ψ). Let A = {1 i < OPT : σ i < σ i+1 } and B = {1 i < OPT : σ i > σ i+1 }. Clearly A + B = OPT 1, and therefore, either A or B has cardinality at least OPT/2. This implies that the sequence returned by the algorithm repeats µ or ν at most OPT OPT/2 = OPT/2 times, and thus, it has length bounded by OPT c c OPT + 1 2 2 c 2 OPT + c 2 c + 1 2 OPT. (1) Here, the last inequality follows because OPT c (recall that ψ is surjective). This proves the first claim of the theorem. To see that this implies the existence of a n/2 approximation algorithm, we follow Tovey s approach. If c 2n 1, then we use the approximation algorithm above. The result follows directly from (1). Otherwise, we have c 2n. We then determine in polynomial time whether OPT = c or OPT c + 1. This is easily achieved as in the former case no color can be used more than once. Therefore, to decide whether OPT = c, we can iteratively apply any color that clears all nodes with that color. If none exists, the equality cannot hold. If OPT = c, we output any clearing sequence of length c, which is obviously optimal. Otherwise, we output any clearing sequence of length n n ( 2n + 1) n(c + 1) 2 2 n OPT. 2 Finally, note that if the number of colors is fixed a priori, we may assume that c ǫ OPT for a given ǫ > 0. Otherwise, OPT c/ǫ = O(1), meaning that we can try all possible

A NOTE ON THE PRECEDENCE-CONSTRAINED CLASS SEQUENCING PROBLEM 5 sequences using an exhaustive search procedure. Plugging c ǫ OPT into (1), the claim follows. Let us note that an algorithm that applies a random permutation of {1,...,c} as many times as needed to clear D has an expected guarantee of at most (c+1)/2. This may be useful in an online setting, common in scheduling applications, for which only partial information is available a priori. Finally, an interesting open question is to determine the approximability of PCCS when the number of colors is fixed. There is not even enough evidence to rule out the existence of a PTAS for this problem. Acknowledgements The second author acknowledges support from the Belgian American Educational Foundation and the Fonds National de la Recherche Scientifique. References [1] P. Berman and T. Fujito. Approximating independent sets in degree 3 graphs. In Proceedings of the 4th Workshop on Algorithms and Data Structures, volume 955 of Lecture Notes in Computer Science, pages 449 460, 1995. [2] A. Darte. On the complexity of loop fusion. Parallel Computing, 26(9):1175 1193, 2000. [3] T. Jiang and M. Li. On the approximation of shortest common supersequences and longest common subsequences. SIAM Journal on Computing, 24(5): 1122 1139, 1995. [4] C.B. Lofgren. Machine configuration of flexible printed circuit board assembly systems. PhD thesis, School of ISyE, Georgia Institute of Technology, Atlanta (GA), USA, 1986. [5] C.B. Lofgren, L.F. McGinnis, and C.A. Tovey. Routing printed circuit cards through an assembly cell. Operations Research, 39(6):992 1004, 1991. [6] C.A. Tovey. Non-approximability of precedence-constrained sequencing to minimize setups. Discrete Applied Mathematics, 134:351 360, 2004.