Computational complexity for minimizing wire length in two- and multi-layer channel routing
|
|
- Rosalind Potter
- 6 years ago
- Views:
Transcription
1 Advances in Computational Sciences and Technology ISSN Volume 10, Number 8 (2017) pp Research India Publications Computational complexity for minimizing wire length in two- and multi-layer channel routing Swagata Saha Sau, Sumana Bandyopadhyay and Raat Kumar Pal Department of Computer Science and Engineering, University of Calcutta, Kolkata , West Bengal, India. Abstract In this paper we have proved that two-layer (VH) no-dogleg channel routing problem of wire length minimization in absence of vertical constraints is NPcomplete. Next, we have proved that the said problem is also NP-complete for a general channel instance containing both horizontal and vertical constraints in three-layer VHV and multi-layer Vi+1Hi, 2 i<dmax no-dogleg channel routing models, where vertical and horizontal layers of interconnections alternate. We concluded that if the density of the channel (dmax) is same as the number of nets present in the channel, then the no-dogleg channel routing problem of wire length minimization in two-layer VH is polynomial time computable though channel has no vertical constraints. Keywords: Channel routing problem; No-dogleg routing; NP-complete; VLSI; Wire length minimization. INTRODUCTION The wire length minimization problem is a longstanding problem in VLSI physical design automation [4], though a very little amount of work has been addressed so far in this theme of research [4-6]. Some channel routing problem (CRP) of wire length minimization is NP-hard [2,3,4,7,8]. In most of the cases, heuristics have been designed to obtain near optimal solutions for solving hard problems, but still there are some important problems in channel routing, whose nature is yet to know, whether these are polynomial time computable or beyond polynomial time computable (or intractable) [4]. This is the prime motivation to us to consider the addressed problems.
2 2686 Swagata Saha Sau, Sumana Bandyopadhyay and Raat Kumar Pal In this paper, we primarily address the computational complexity issues of the wire length minimization problem in two-layer channel routing in the absence of vertical constraints (TNWLM). We define this problem in no-dogleg reserved layer Manhattan routing model, when only horizontal constraints are there (in a channel) among the nets with two or more terminals. Later on, we have considered the wire length minimization problem in three-layer VHV, and multi-layer Vi+1Hi, 2 i<dmax, nodogleg channel routing model for channels consisting of both horizontal and vertical constraints (MNWLM). In this paper, we have proved that the stated problems are NP-complete. Sequencing to minimize weighted completion time (SMWCT) is an established NP-complete problem [1]. First of all, we reduce an instance of SMWCT to a corresponding instance of the first problem, TNWLM (of wire length minimization in routing a channel having no vertical constraints). As it is not possible to compute a solution of an instance of SMWCT in polynomial time, then eventually we prove that the problem TNWLM is at least as hard as SMWCT. Next, we prove that this result is equally applicable to MNWLM, which is the wire length minimization problem for a general channel instance (that contains both horizontal as well as vertical constraints). Generally, a channel is a rectangular routing region that is formed when two blocks are placed sideways on a chip floor and a routing region is sandwiched in between. Terminals to be connected inside a channel are placed on the periphery of the blocks. A set of terminals that need to be electrically connected by wires is called a net. Channel is specified by net list. Here, initially we consider the reserved two-layer (VH) no-dogleg Manhattan channel routing model, where one layer is reserved for vertical wire segments and the other layer is reserved for horizontal wire segments. Later on, we have assumed multi-layer channel routing model with alternating vertical (V) and horizontal (H) layers of interconnect where both the top and bottom layers are vertical layers (and no extreme horizontal layer is allowed) [4]. Now, we formally define the two constraints present in general CRP [4]. These constraints are termed as horizontal constraints and vertical constraints. Two nets are said to be horizontally constrained, if their intervals overlap when they are assigned to the same track. Vertical constraints in a channel determine the order of placement of nets from top to bottom or vice versa. Horizontal and vertical constraints of the channel are represented by horizontal constraint graph (HNCG) and vertical constraint graph (VCG) [5]. The parametric difference of net ni is denoted by pdi and it represents the difference between the number of top terminals (TTi) and the number of bottom terminals (BTi) of the net. Decision Versions of Different Associated Problems in Channel Routing for Minimizing Wire Length: Here we pose the decision versions of associated problems
3 Computational complexity for minimizing wire length in two- and multi-layer 2687 to the work under consideration. Problem: Sequencing to minimize weighted completion time (SMWCT). Instance: Set T of tasks, partial order on T, for each task tt a length l(t) Z + and a weight w (t) Z +, and a positive integer K. Question: Is there a one processor schedule σ for T that obeys the precedence constraints and for which the sum of (σ (t) + l(t)).w(t) is K or less for all t T? Problem: Two-layer no-dogleg wire length minimization in channel routing in the absence of vertical constraint (TNWLM). Instance: A channel specification of n multi-terminal nets that do not contain any vertical constraint whose channel density is dmax (< n), and a positive integer K. Question: Does there exist a two-layer no-dogleg routing solution such that the total wire length is Kor less? Problem: Wire length minimization in multi-layer Vi+1Hi, 2 i<dmax, no-dogleg general channel routing (MNWLM). Instance: A general channel specification of n multi-terminal nets for their assignment in the multi-layer Vi+1Hi, 2 i < dmax, routing model, where dmax < n is the channel density, and a positive integer K. Question: Does there exist a multi-layer Vi+1Hi, 2 i< dmax, no-dogleg routing solution so that the total wire length is K or less? We may note that SMWCT is NP-complete in the strong sense and remains so even if all task lengths are 1 or all task weights are also 1 [1]. If the partial order is replaced by individual task deadline, the resulting problem remains NP-complete in the strong sense, but can be solved in polynomial time if all task weights are equal [1]. If there are individual task release times instead of deadlines, the resulting problem remains NP-complete in the strong sense, even if all task weights are same as 1 [1]. NP-completeness of Wire Length Minimization in Two-layer Channel Routing in the Absence of Vertical Constraints, Three-layer VHV and Multi-layer Vi+1Hi, 2 i <dmax No-dogleg General Channel Routing: Here we shall first prove TNWLM is NPcomplete by reducing an instance of SMWCT to the corresponding instance of this problem in polynomial time.
4 2688 Swagata Saha Sau, Sumana Bandyopadhyay and Raat Kumar Pal Theorem 1: TNWLM is NP-complete. Proof: To proof this Theorem, we first show that TNWLM NP. Given a guessed twolayer no-dogleg routing solution S of some channel instance I without having any vertical constraint, we can verify in polynomial time whether S is a valid routing solution of the given channel instance I, where total wire length required is less than an positive integer K. Therefore, TNWLM NP. Here we establish a polynomial transformation over an instance I of the well-known NP-complete problem SMWCT to a corresponding instance of TNWLM. The transformation is as follows. Let us assume that each task has same weight and is equal to 1, i.e., w(t) = 1 for all t T. Hence, according to problem SMWCT, ( t) l( t). w( t) is less than or equal to K. Now as w(t) = 1, therefore, ( t) l( t) K. tt We presume that in a channel a set Nof nets contains n multi-terminal nets that do not contain any vertical constraints, where each net ni, 1 i n, has pdi the parametric difference of ni, which is the difference between top terminals (TTi) and bottom terminals (BTi), and l(ni) is the vertical wire length required to connect the top and bottom terminals of net ni. To show that TNWLM is NP-complete we consider the following transformation from SMWCT to TNWLM. For all tasks t T, of SMWCT is transformed into a net ni of TNWLM (ni N). Partial order < on T, for associated pair of tasks in T is represented as horizontal nonconstraint among the corresponding nets in TNWLM. For one processor schedule σ for T that obeys the precedence constraints and for which we have corresponding pdi of net ni N). Here σ(ti) > σ(t) signifies that pdi > pd. We assign net ni either above or to the same track of net n if they do not have horizontal constraint. l(t) is the length of task t T. We represent l(t) as total vertical wire length of net ni N (i.e., l(ni)). Now, we construct the net list (or channel specification) I of TNWLM which is reduced from an instance I of SMWCT. We construct the channel specification in such a way that the channel does not have vertical constraints. As we discussed earlier that the partial orders among tasks t T of instance I of SMWCT represent horizontal nonconstraints among associated nets of instance I of TNWLM, and σ(t) of t represents the parametric difference pdi of net ni. We have written below the steps of the transformation that eventually produces a channel instance without any vertical constraint, where an HNCG (G = (V, E)) and pdi of each net ni are obtained by one-to- tt
5 Computational complexity for minimizing wire length in two- and multi-layer 2689 one correspondence from instance I of SMWCT. The subsequent steps of constructing I are as follows. 1. Construct HCG (G = (V, E)) [4] from HNCG (G = (V, E)) by complementing G. 2. Start from a simplicial vertex vi in G (that corresponds to net ni) having highest pdi. 3. Insert pdi + 1 leftmost columns to the channel under construction and assign terminals of net ni to the top net list in each of these columns where the bottom terminal in each associated column contains a nonterminal (i.e.,'0'). 4. For a vertex v (corresponds to net n) with {v, vi} E that has highest pd among the vertices whose corresponding nets are yet to assign but form a maximal clique including vi (or have horizontal constraint with ni), insert pd + 1 columns to the right of the rightmost column inserted up to this point in time (into channel under construction) and assign terminals of net n to the top net list in each of these columns where the bottom terminal in each associated column contains a non-terminal (i.e., '0'). 5. As for all adacent vertices vi corresponding terminals get connected to the top of the channel after insertion of each of the associated nets to the channel under construction, a column is appended to the right of the rightmost column that containing a non-terminal to the top and a terminal of net ni corresponding to vertex vi to the bottom. 6. Delete vertex vi from G 7. Continue Step 2 through Step 6 until set V of G gets empty. Now, consider a (desired) routing solution of minimum wire length as follows for which we do the following. Now, once the channel specification is completely obtained, we can employ MCC1 [4] with necessary modifications as follows. Here instead of assigning a net to the topmost track that starts from the leftmost terminal of the net list, net ni with highest pdi among the nets having horizontal constraints, gets more privilege to be assigned to a track nearer the top than the remaining ones. Thus, in this way, we find track Xi, where net ni is to be placed (for i =1, 2,..., n) and the total number of tracks required to route the nets becomes TN. We may assume H as the total horizontal wire needed
6 2690 Swagata Saha Sau, Sumana Bandyopadhyay and Raat Kumar Pal to route all the nets and si being the set of nets assigned to track Xi. Hence, the total wire length required for routing is as follows: X itti TN X i 1 BTi H. Now,for SMWCT, t l t. w t K or t l t K, where w t 1, for all t. 1 TN is tt tt As stated earlier, for TNWLM, the aim is to minimize the total vertical wire length along with horizontal wire segment essential for a valid routing. Thus, the expression needed to be optimized as written below. 1 TN is X TT TN X 1 BT i i i i H X TT TN X 1 BT t t 1 TN is i i i i i i H X TT TN X 1 BT t TT BT 1 TN is i i i i i i i H ' K pdi H K, where1 TN 1 TN is Here, pd ' i must be less than or equal to, hence, K H 1 TN i S is a positive integer. On the opposite side, starting from SMWCT, t l t wt wt l t i i i., where is one.hence, replacing by 1 i n 1 i n vertical wire length, we get the following expression. X itti TN X i 1 BTi ti 1 TN is 1 TN is X itti TN X i 1 BTi pdi 1 TN is 1 TN is ' K H pdi K 1 TN is We can easily prove that the time and space consumed by the reduction process from I of SWMCT to I of TNWLM and vice-versa is bounded by some polynomial function of number of tasks existing is an instance of SWMCT. If the density of the channel dmax is n, i.e., the number of nets present in the channel of
7 Computational complexity for minimizing wire length in two- and multi-layer 2691 two-layer VH no-dogleg wire length minimization in channel routing in absence of vertical constraint, we need n number of tracks to route the nets to the channel because all the nets present in the channel are horizontally constraint to each other. Hence, we can get minimum wire length routing solution in polynomial time only if we place the nets in different tracks according to their parametric differences. In similar way we can prove that the wire length minimization problem in three-layer VHV and multi-layer no dogleg general channel routing MNWLM (Vi+1Hi, 2 i <dmax) is NP-complete by reducing the instance of an NP-complete problem such as SMWCT to the instance of three-layer VHV and the instance of MNWLM (Vi+1Hi, 2 i < dmax), in polynomial time, respectively. CONCLUSIONS We showed that the decision version of two-layer VH no-dogleg wire length minimization in channel routing (with dmax<n) in the absence of vertical constraints, three-layer VHV and multi-layer Vi+1Hi, 2 i < dmax no-dogleg wire length minimization in general channel routing problem are NP-complete by transforming the instance of the known NP-complete problem, i.e. sequencing to minimize weighted completion time problem to the instance of each problem in polynomial time. We also concluded that if the density of the channel dmax is n, i.e. the number of nets present in the channel then the two-layer VH no-dogleg channel routing problem for wire length minimization is polynomial time computable though channel has no vertical constraints. REFERENCES [1] Garey M. R., Johnson D. S.: Computers and Intractability: A Guide to the Theory of NP Completeness (W. H. Freeman and Company. San Francisco. New York 1979). [2] Greenberg R., Jaa J., Krishnamurthy S.: On the difficulty of Manhattan channel routing, Journal of Information Processing Letters, 1992, 44, pp [3] LaPaugh A. S.: Algorithms for integrated circuit layout: An analytic approach, (Ph.D. Thesis, Massachusetts Institute of Technology Cambridge, MA, USA, 1980). [4] Pal R. K.: Multi-Layer Channel Routing Complexity and Algorithms (Narosa Publishing House, New Delhi, 2000). [5] Saha Sau S., Pal R. K.: A re-router for optimizing wire length in two-and four-layer no-dogleg channel routing, Proceedings of the 18th International
8 2692 Swagata Saha Sau, Sumana Bandyopadhyay and Raat Kumar Pal Symposium on VLSI Design and Test, 2014, doi: /ISVDAT [6] Saha Sau S., Pal R. K.: An Efficient Algorithm for Reducing Wire Length in Three- Layer Channel Routing, in: Chaki R. et al. (Eds.). Series Advances in Intelligent Systems and Computing, Pp Print ISBN: , Online ISBN: , 2015, doi: / Publisher Springer India. [7] Schaper G. A.: Multi-layer channel routing (Ph. D. Thesis, Department of Computer Science, University of Central Florida, Orlando, 1989). [8] Szymanski T. G.: Dogleg channel routing is NP-complete, IEEE Transaction on CAD of Integrated Circuits and Systems, 1985, 4, pp
NP-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 informationThe maximum edge biclique problem is NP-complete
The maximum edge biclique problem is NP-complete René Peeters Department of Econometrics and Operations Research Tilburg University The Netherlands April 5, 005 File No. DA5734 Running head: Maximum edge
More informationComputational complexity theory
Computational complexity theory Introduction to computational complexity theory Complexity (computability) theory deals with two aspects: Algorithm s complexity. Problem s complexity. References S. Cook,
More informationComputational complexity theory
Computational complexity theory Introduction to computational complexity theory Complexity (computability) theory deals with two aspects: Algorithm s complexity. Problem s complexity. References S. Cook,
More informationTwo NP-hard Interchangeable Terminal Problems*
o NP-hard Interchangeable erminal Problems* Sartaj Sahni and San-Yuan Wu Universit of Minnesota ABSRAC o subproblems that arise hen routing channels ith interchangeable terminals are shon to be NP-hard
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 informationComputers and Intractability. The Bandersnatch problem. The Bandersnatch problem. The Bandersnatch problem. A Guide to the Theory of NP-Completeness
Computers and Intractability A Guide to the Theory of NP-Completeness The Bible of complexity theory Background: Find a good method for determining whether or not any given set of specifications for a
More informationComputers and Intractability
Computers and Intractability A Guide to the Theory of NP-Completeness The Bible of complexity theory M. R. Garey and D. S. Johnson W. H. Freeman and Company, 1979 The Bandersnatch problem Background: Find
More informationThe Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata
The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata H. Todd Wareham Department of Computer Science, Memorial University of Newfoundland, St. John s,
More informationThe Tool Switching Problem Revisited
The Tool Switching Problem Revisited Yves Crama HEC Management School, University of Liège, Boulevard du Rectorat, 7 (B31), B-4000 Liège, Belgium, Y.Crama@ulg.ac.be Linda S. Moonen (corresponding author),
More informationSteiner Trees in Chip Design. Jens Vygen. Hangzhou, March 2009
Steiner Trees in Chip Design Jens Vygen Hangzhou, March 2009 Introduction I A digital chip contains millions of gates. I Each gate produces a signal (0 or 1) once every cycle. I The output signal of a
More information1. Introduction Recap
1. Introduction Recap 1. Tractable and intractable problems polynomial-boundness: O(n k ) 2. NP-complete problems informal definition 3. Examples of P vs. NP difference may appear only slightly 4. Optimization
More informationComplexity Theory. Knowledge Representation and Reasoning. November 2, 2005
Complexity Theory Knowledge Representation and Reasoning November 2, 2005 (Knowledge Representation and Reasoning) Complexity Theory November 2, 2005 1 / 22 Outline Motivation Reminder: Basic Notions Algorithms
More informationP versus NP. Math 40210, Spring September 16, Math (Spring 2012) P versus NP September 16, / 9
P versus NP Math 40210, Spring 2012 September 16, 2012 Math 40210 (Spring 2012) P versus NP September 16, 2012 1 / 9 Properties of graphs A property of a graph is anything that can be described without
More informationUniversity of Twente. Faculty of Mathematical Sciences. Scheduling split-jobs on parallel machines. University for Technical and Social Sciences
Faculty of Mathematical Sciences University of Twente University for Technical and Social Sciences P.O. Box 217 7500 AE Enschede The Netherlands Phone: +31-53-4893400 Fax: +31-53-4893114 Email: memo@math.utwente.nl
More informationON THE COMPLEXITY OF SCHEDULING UNIVERSITY COURSES. A Thesis. Presented to. the Faculty of California Polytechnic State University, San Luis Obispo
ON THE COMPLEXITY OF SCHEDULING UNIVERSITY COURSES A Thesis Presented to the Faculty of California Polytechnic State University, San Luis Obispo In Partial Fulfillment of the Requirements for the Degree
More informationVolume 35, Issue 4. Note on goodness-of-fit measures for the revealed preference test: The computational complexity of the minimum cost index
Volume 35, Issue 4 Note on goodness-of-fit measures for the revealed preference test: The computational complexity of the minimum cost index Kohei Shiozawa Graduate School of Economics, Osaka University
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 informationMm7 Intro to distributed computing (jmp) Mm8 Backtracking, 2-player games, genetic algorithms (hps) Mm9 Complex Problems in Network Planning (JMP)
Algorithms and Architectures II H-P Schwefel, Jens M. Pedersen Mm6 Advanced Graph Algorithms (hps) Mm7 Intro to distributed computing (jmp) Mm8 Backtracking, 2-player games, genetic algorithms (hps) Mm9
More informationHIGH-PERFORMANCE circuits consume a considerable
1166 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL 17, NO 11, NOVEMBER 1998 A Matrix Synthesis Approach to Thermal Placement Chris C N Chu D F Wong Abstract In this
More informationMinimum Moment Steiner Trees
Minimum Moment Steiner Trees Wangqi Qiu Weiping Shi Abstract For a rectilinear Steiner tree T with a root, define its k-th moment M k (T ) = (d T (u)) k du, T where the integration is over all edges of
More informationCluster Graph Modification Problems
Cluster Graph Modification Problems Ron Shamir Roded Sharan Dekel Tsur December 2002 Abstract In a clustering problem one has to partition a set of elements into homogeneous and well-separated subsets.
More information: Approximation and Online Algorithms with Applications Lecture Note 2: NP-Hardness
4810-1183: Approximation and Online Algorithms with Applications Lecture Note 2: NP-Hardness Introduction Suppose that you submitted a research manuscript to a journal. It is very unlikely that your paper
More informationCMPT307: Complexity Classes: P and N P Week 13-1
CMPT307: Complexity Classes: P and N P Week 13-1 Xian Qiu Simon Fraser University xianq@sfu.ca Strings and Languages an alphabet Σ is a finite set of symbols {0, 1}, {T, F}, {a, b,..., z}, N a string x
More informationP versus NP. Math 40210, Fall November 10, Math (Fall 2015) P versus NP November 10, / 9
P versus NP Math 40210, Fall 2015 November 10, 2015 Math 40210 (Fall 2015) P versus NP November 10, 2015 1 / 9 Properties of graphs A property of a graph is anything that can be described without referring
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 informationOptimal Folding Of Bit Sliced Stacks+
Optimal Folding Of Bit Sliced Stacks+ Doowon Paik University of Minnesota Sartaj Sahni University of Florida Abstract We develop fast polynomial time algorithms to optimally fold stacked bit sliced architectures
More informationThe complexity of VLSI power-delay optimization by interconnect resizing
J Comb Optim (2012) 23:292 300 DOI 10.1007/s10878-010-9355-1 The complexity of VLSI power-delay optimization by interconnect resizing Konstantin Moiseev Avinoam Kolodny Shmuel Wimer Published online: 21
More informationThe tool switching problem revisited
European Journal of Operational Research 182 (2007) 952 957 Short Communication The tool switching problem revisited Yves Crama a, Linda S. Moonen b, *, Frits C.R. Spieksma b, Ellen Talloen c a HEC Management
More informationNP-Completeness. Dr. B. S. Panda Professor, Department of Mathematics IIT Delhi, Hauz Khas, ND-16
NP-Completeness Dr. B. S. Panda Professor, Department of Mathematics IIT Delhi, Hauz Khas, ND-16 bspanda1@gmail.com 1 Decision Problem A problem whose answer is either yes or no ( 1 or 0) Examples: HC
More informationSpring Lecture 21 NP-Complete Problems
CISC 320 Introduction to Algorithms Spring 2014 Lecture 21 NP-Complete Problems 1 We discuss some hard problems: how hard? (computational complexity) what makes them hard? any solutions? Definitions Decision
More informationThe NP-Hardness of the Connected p-median Problem on Bipartite Graphs and Split Graphs
Chiang Mai J. Sci. 2013; 40(1) 8 3 Chiang Mai J. Sci. 2013; 40(1) : 83-88 http://it.science.cmu.ac.th/ejournal/ Contributed Paper The NP-Hardness of the Connected p-median Problem on Bipartite Graphs and
More informationNP-Completeness. Andreas Klappenecker. [based on slides by Prof. Welch]
NP-Completeness Andreas Klappenecker [based on slides by Prof. Welch] 1 Prelude: Informal Discussion (Incidentally, we will never get very formal in this course) 2 Polynomial Time Algorithms Most of the
More informationLadder-Lottery Realization
Ladder-Lottery Realization Katsuhisa Yamanaka Takashi Horiyama Takeaki Uno Kunihiro Wasa Abstract C B D A C B D A A ladder lottery of a permutation π = (p 1, p 2,..., p n ) is a network with n vertical
More informationComputing Standard-Deviation-to-Mean and Variance-to-Mean Ratios under Interval Uncertainty is NP-Hard
Journal of Uncertain Systems Vol.9, No.2, pp.124-132, 2015 Online at: www.jus.org.uk Computing Standard-Deviation-to-Mean and Variance-to-Mean Ratios under Interval Uncertainty is NP-Hard Sio-Long Lo Faculty
More informationPrinciples of Knowledge Representation and Reasoning
Principles of Knowledge Representation and Reasoning Complexity Theory Bernhard Nebel, Malte Helmert and Stefan Wölfl Albert-Ludwigs-Universität Freiburg April 29, 2008 Nebel, Helmert, Wölfl (Uni Freiburg)
More informationTheory of Computer Science
Theory of Computer Science E1. Complexity Theory: Motivation and Introduction Malte Helmert University of Basel May 18, 2016 Overview: Course contents of this course: logic How can knowledge be represented?
More informationTheory of Computer Science. Theory of Computer Science. E4.1 Overview E4.2 3SAT. E4.3 Graph Problems. E4.4 Summary.
Theory of Computer Science May 30, 2016 E4. Some NP-Complete Problems, Part I Theory of Computer Science E4. Some NP-Complete Problems, Part I Malte Helmert University of Basel May 30, 2016 E4.1 Overview
More information2 Notation and Preliminaries
On Asymmetric TSP: Transformation to Symmetric TSP and Performance Bound Ratnesh Kumar Haomin Li epartment of Electrical Engineering University of Kentucky Lexington, KY 40506-0046 Abstract We show that
More informationMaximal Square Sum Subgraph of a Complete Graph
International Journal of Scientific and Innovative Mathematical Research (IJSIMR) Volume 2, Issue 1, January - 2014, PP 108-115 ISSN 2347-307X (Print) & ISSN 2347-3142 (Online) www.arcjournals.org Maximal
More informationTheory of Computer Science. Theory of Computer Science. E1.1 Motivation. E1.2 How to Measure Runtime? E1.3 Decision Problems. E1.
Theory of Computer Science May 18, 2016 E1. Complexity Theory: Motivation and Introduction Theory of Computer Science E1. Complexity Theory: Motivation and Introduction Malte Helmert University of Basel
More informationInteger Equal Flows. 1 Introduction. Carol A. Meyers Andreas S. Schulz
Integer Equal Flows Carol A Meyers Andreas S Schulz Abstract We examine an NP-hard generalization of the network flow problem known as the integer equal flow problem The setup is the same as a standard
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 informationTHE COMMUNICATIONS COMPLEXITY HIERARCHY IN DISTRIBUTED COMPUTING. J. B. Sidney + and J. Urrutia*
THE COMMUNICATIONS COMPLEXITY HIERARCHY IN DISTRIBUTED COMPUTING J. B. Sidney + and J. Urrutia* 1. INTRODUCTION Since the pioneering research of Cook [1] and Karp [3] in computational complexity, an enormous
More informationPartition is reducible to P2 C max. c. P2 Pj = 1, prec Cmax is solvable in polynomial time. P Pj = 1, prec Cmax is NP-hard
I. Minimizing Cmax (Nonpreemptive) a. P2 C max is NP-hard. Partition is reducible to P2 C max b. P Pj = 1, intree Cmax P Pj = 1, outtree Cmax are both solvable in polynomial time. c. P2 Pj = 1, prec Cmax
More informationhal , version 1-27 Mar 2014
Author manuscript, published in "2nd Multidisciplinary International Conference on Scheduling : Theory and Applications (MISTA 2005), New York, NY. : United States (2005)" 2 More formally, we denote by
More informationSimultaneous Shield Insertion and Net Ordering for Capacitive and Inductive Coupling Minimization
Simultaneous Shield Insertion and Net Ordering for Capacitive and Inductive Coupling Minimization Lei He University of Wisconsin 1415 Engineering Drive Madison, WI 53706 (608) 262-3736 lhe@ece.wisc.edu
More informationQuality of Minimal Sets of Prime Implicants of Boolean Functions
INTL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2017, VOL. 63, NO. 2, PP. 165-169 Manuscript received October 9, 2016; revised April, 2017. DOI: 10.1515/eletel-2017-0022 Quality of Minimal Sets of
More informationCSE101: Design and Analysis of Algorithms. Ragesh Jaiswal, CSE, UCSD
Course Overview Material that will be covered in the course: Basic graph algorithms Algorithm Design Techniques Greedy Algorithms Divide and Conquer Dynamic Programming Network Flows Computational intractability
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 informationProblems in VLSI design
Problems in VLSI design wire and transistor sizing signal delay in RC circuits transistor and wire sizing Elmore delay minimization via GP dominant time constant minimization via SDP placement problems
More informationThroughput Optimization in Single and Dual-Gripper Robotic Cells
Throughput Optimization in Single and Dual-Gripper Robotic Cells U.V. Manoj; manojuv@tamu.edu College of Engineering, Texas A&M University, College Station, TX Chelliah Sriskandarajah Mays Business School,
More informationFlavia Bonomo, Guillermo Duran, Amedeo Napoli, Mario Valencia-Pabon. HAL Id: hal
A one-to-one correspondence between potential solutions of the cluster deletion problem and the minimum sum coloring problem, and its application to P4 -sparse graphs Flavia Bonomo, Guillermo Duran, Amedeo
More informationTwo Approaches for Hamiltonian Circuit Problem using Satisfiability
Two Approaches for Hamiltonian Circuit Problem using Satisfiability Jaya Thomas 1, and Narendra S. Chaudhari 2 1,2 Department of Computer science & Engineering, Indian Institute of Technology, M-Block
More informationInterconnect Yield Model for Manufacturability Prediction in Synthesis of Standard Cell Based Designs *
Interconnect Yield Model for Manufacturability Prediction in Synthesis of Standard Cell Based Designs * Hans T. Heineken and Wojciech Maly Department of Electrical and Computer Engineering Carnegie Mellon
More informationON THE METRIC DIMENSION OF CIRCULANT GRAPHS WITH 4 GENERATORS
Volume 12, Number 2, Pages 104 114 ISSN 1715-0868 ON THE METRIC DIMENSION OF CIRCULANT GRAPHS WITH 4 GENERATORS TOMÁŠ VETRÍK Abstract. Circulant graphs are Cayley graphs of cyclic groups and the metric
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 informationOptimal Fractal Coding is NP-Hard 1
Optimal Fractal Coding is NP-Hard 1 (Extended Abstract) Matthias Ruhl, Hannes Hartenstein Institut für Informatik, Universität Freiburg Am Flughafen 17, 79110 Freiburg, Germany ruhl,hartenst@informatik.uni-freiburg.de
More informationInterconnect Power and Delay Optimization by Dynamic Programming in Gridded Design Rules
Interconnect Power and Delay Optimization by Dynamic Programming in Gridded Design Rules Konstantin Moiseev, Avinoam Kolodny EE Dept. Technion, Israel Institute of Technology Shmuel Wimer Eng. School,
More informationarxiv:cs/ v1 [cs.ds] 18 Oct 2004
A Note on Scheduling Equal-Length Jobs to Maximize Throughput arxiv:cs/0410046v1 [cs.ds] 18 Oct 2004 Marek Chrobak Christoph Dürr Wojciech Jawor Lukasz Kowalik Maciej Kurowski Abstract We study the problem
More informationOn-line Bin-Stretching. Yossi Azar y Oded Regev z. Abstract. We are given a sequence of items that can be packed into m unit size bins.
On-line Bin-Stretching Yossi Azar y Oded Regev z Abstract We are given a sequence of items that can be packed into m unit size bins. In the classical bin packing problem we x the size of the bins and try
More informationShow that the following problems are NP-complete
Show that the following problems are NP-complete April 7, 2018 Below is a list of 30 exercises in which you are asked to prove that some problem is NP-complete. The goal is to better understand the theory
More informationOptimum Prefix Adders in a Comprehensive Area, Timing and Power Design Space
Optimum Prefix Adders in a Comprehensive Area, Timing and Power Design Space Jianhua Liu, Yi Zhu, Haikun Zhu, John Lillis 2, Chung-Kuan Cheng Department of Computer Science and Engineering University of
More informationComputing the Norm A,1 is NP-Hard
Computing the Norm A,1 is NP-Hard Dedicated to Professor Svatopluk Poljak, in memoriam Jiří Rohn Abstract It is proved that computing the subordinate matrix norm A,1 is NP-hard. Even more, existence of
More informationECS122A Handout on NP-Completeness March 12, 2018
ECS122A Handout on NP-Completeness March 12, 2018 Contents: I. Introduction II. P and NP III. NP-complete IV. How to prove a problem is NP-complete V. How to solve a NP-complete problem: approximate algorithms
More informationApproximation Algorithms for the Consecutive Ones Submatrix Problem on Sparse Matrices
Approximation Algorithms for the Consecutive Ones Submatrix Problem on Sparse Matrices Jinsong Tan and Louxin Zhang Department of Mathematics, National University of Singaproe 2 Science Drive 2, Singapore
More informationExam EDAF August Thore Husfeldt
Exam EDAF05 25 August 2011 Thore Husfeldt Instructions What to bring. You can bring any written aid you want. This includes the course book and a dictionary. In fact, these two things are the only aids
More informationMaximizing the Cohesion is NP-hard
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Maximizing the Cohesion is NP-hard arxiv:1109.1994v2 [cs.ni] 9 Oct 2011 Adrien Friggeri Eric Fleury N 774 version 2 initial version 8 September
More informationPolynomial Time Algorithms for Minimum Energy Scheduling
Polynomial Time Algorithms for Minimum Energy Scheduling Philippe Baptiste 1, Marek Chrobak 2, and Christoph Dürr 1 1 CNRS, LIX UMR 7161, Ecole Polytechnique 91128 Palaiseau, France. Supported by CNRS/NSF
More informationManhattan and Rectilinear Wiring* Raghunath Raghavan, James Cohoon, and Sartaj Sahni University of Minnesota Minneapolis, MN 55455
Manhattan and Rectilinear Wiring* Raghunath Raghavan, James Cohoon, and Sartaj Sahni University of Minnesota Minneapolis, MN 55455 Abstract The problem of wiring pairs of points in Manhattan and rectilinear
More informationA Simple Proof of P versus NP
A Simple Proof of P versus NP Frank Vega To cite this version: Frank Vega. A Simple Proof of P versus NP. 2016. HAL Id: hal-01281254 https://hal.archives-ouvertes.fr/hal-01281254 Submitted
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 informationThe Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles
The Multiple Traveling Salesman Problem with Time Windows: Bounds for the Minimum Number of Vehicles Snežana Mitrović-Minić Ramesh Krishnamurti School of Computing Science, Simon Fraser University, Burnaby,
More informationSingle processor scheduling with time restrictions
Single processor scheduling with time restrictions Oliver Braun Fan Chung Ron Graham Abstract We consider the following scheduling problem 1. We are given a set S of jobs which are to be scheduled sequentially
More informationCombinatorial optimization problems
Combinatorial optimization problems Heuristic Algorithms Giovanni Righini University of Milan Department of Computer Science (Crema) Optimization In general an optimization problem can be formulated as:
More informationThe core of solving constraint problems using Constraint Programming (CP), with emphasis on:
What is it about? l Theory The core of solving constraint problems using Constraint Programming (CP), with emphasis on: l Modeling l Solving: Local consistency and propagation; Backtracking search + heuristics.
More informationOn the NP-Completeness of Some Graph Cluster Measures
arxiv:cs/050600v [cs.cc] 9 Jun 005 On the NP-Completeness of Some Graph Cluster Measures Jiří Šíma Institute of Computer Science, Academy of Sciences of the Czech Republic, P. O. Box 5, 807 Prague 8, Czech
More information2. Notation and Relative Complexity Notions
1. Introduction 1 A central issue in computational complexity theory is to distinguish computational problems that are solvable using efficient resources from those that are inherently intractable. Computer
More informationIntroduction to Complexity Theory
Introduction to Complexity Theory Read K & S Chapter 6. Most computational problems you will face your life are solvable (decidable). We have yet to address whether a problem is easy or hard. Complexity
More informationNP Complete Problems. COMP 215 Lecture 20
NP Complete Problems COMP 215 Lecture 20 Complexity Theory Complexity theory is a research area unto itself. The central project is classifying problems as either tractable or intractable. Tractable Worst
More informationMultiple Sequence Alignment: Complexity, Gunnar Klau, January 12, 2006, 12:
Multiple Sequence Alignment: Complexity, Gunnar Klau, January 12, 2006, 12:23 6001 6.1 Computing MSAs So far, we have talked about how to score MSAs (including gaps and benchmarks). But: how do we compute
More informationAbout the relationship between formal logic and complexity classes
About the relationship between formal logic and complexity classes Working paper Comments welcome; my email: armandobcm@yahoo.com Armando B. Matos October 20, 2013 1 Introduction We analyze a particular
More informationThe complexity of acyclic subhypergraph problems
The complexity of acyclic subhypergraph problems David Duris and Yann Strozecki Équipe de Logique Mathématique (FRE 3233) - Université Paris Diderot-Paris 7 {duris,strozecki}@logique.jussieu.fr Abstract.
More informationIntroduction. Pvs.NPExample
Introduction Computer Science & Engineering 423/823 Design and Analysis of Algorithms Lecture 09 NP-Completeness (Chapter 34) Stephen Scott (Adapted from Vinodchandran N. Variyam) sscott@cse.unl.edu I
More informationAn optical solution for the set splitting problem
Acta Univ. Sapientiae, Informatica 9, 2 (2017) 134 143 DOI: 10.1515/ausi-2017-0009 An optical solution for the set splitting problem Mihai OLTEAN 1 Decembrie 1918 University of Alba Iulia Alba Iulia, Romania
More informationIBM Almaden Research Center, 650 Harry Road, School of Mathematical Sciences, Tel Aviv University, TelAviv, Israel
On the Complexity of Some Geometric Problems in Unbounded Dimension NIMROD MEGIDDO IBM Almaden Research Center, 650 Harry Road, San Jose, California 95120-6099, and School of Mathematical Sciences, Tel
More informationLecture 13, Fall 04/05
Lecture 13, Fall 04/05 Short review of last class NP hardness conp and conp completeness Additional reductions and NP complete problems Decision, search, and optimization problems Coping with NP completeness
More informationChapter 4. Techniques of Circuit Analysis
Chapter 4. Techniques of Circuit Analysis By: FARHAD FARADJI, Ph.D. Assistant Professor, Electrical Engineering, K.N. Toosi University of Technology http://wp.kntu.ac.ir/faradji/electriccircuits1.htm Reference:
More informationA note on proving the strong NP-hardness of some scheduling problems with start time dependent job processing times
Optim Lett (2012) 6:1021 1025 DOI 10.1007/s11590-011-0330-2 SHORT COMMUNICATION A note on proving the strong NP-hardness of some scheduling problems with start time dependent job processing times Radosław
More informationInstructor N.Sadagopan Scribe: P.Renjith
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 informationK-center Hardness and Max-Coverage (Greedy)
IOE 691: Approximation Algorithms Date: 01/11/2017 Lecture Notes: -center Hardness and Max-Coverage (Greedy) Instructor: Viswanath Nagarajan Scribe: Sentao Miao 1 Overview In this lecture, we will talk
More informationThe Generalized Regenerator Location Problem
The Generalized Regenerator Location Problem Si Chen Ivana Ljubić S. Raghavan College of Business and Public Affairs, Murray State University Murray, KY 42071, USA Faculty of Business, Economics, and Statistics,
More informationChapter 3: Proving NP-completeness Results
Chapter 3: Proving NP-completeness Results Six Basic NP-Complete Problems Some Techniques for Proving NP-Completeness Some Suggested Exercises 1.1 Six Basic NP-Complete Problems 3-SATISFIABILITY (3SAT)
More informationOnline Coloring of Intervals with Bandwidth
Online Coloring of Intervals with Bandwidth Udo Adamy 1 and Thomas Erlebach 2, 1 Institute for Theoretical Computer Science, ETH Zürich, 8092 Zürich, Switzerland. adamy@inf.ethz.ch 2 Computer Engineering
More informationMinimal and Maximal Critical Sets in Room Squares
University of Wollongong Research Online Faculty of Informatics - Papers (Archive) Faculty of Engineering and Information Sciences 1996 Minimal and Maximal Critical Sets in Room Squares Ghulam Rasool Chaudhry
More information1 Vectors. c Kun Wang. Math 151, Fall Vector Supplement
Vector Supplement 1 Vectors A vector is a quantity that has both magnitude and direction. Vectors are drawn as directed line segments and are denoted by boldface letters a or by a. The magnitude of a vector
More informationChapter 34: NP-Completeness
Graph Algorithms - Spring 2011 Set 17. Lecturer: Huilan Chang Reference: Cormen, Leiserson, Rivest, and Stein, Introduction to Algorithms, 2nd Edition, The MIT Press. Chapter 34: NP-Completeness 2. Polynomial-time
More informationComplexity analysis of job-shop scheduling with deteriorating jobs
Discrete Applied Mathematics 117 (2002) 195 209 Complexity analysis of job-shop scheduling with deteriorating jobs Gur Mosheiov School of Business Administration and Department of Statistics, The Hebrew
More informationPower-Saving Scheduling for Weakly Dynamic Voltage Scaling Devices
Power-Saving Scheduling for Weakly Dynamic Voltage Scaling Devices Jian-Jia Chen 1, Tei-Wei Kuo 2, and Hsueh-I Lu 2 1 Department of Computer Science and Information Engineering National Taiwan University,
More information