Chapter 5: Computational Complexity of Area Minimization in Multi-Layer Channel Routing and an Efficient Algorithm Presented by Md. Raqibul Hasan Std No.

Slides:



Advertisements
Similar presentations
Analysis of Algorithms
Advertisements

VLSI DESIGN & COMPARABILITY GRAPHS By Deepak Katta.
Theory of Computing Lecture 18 MAS 714 Hartmut Klauck.
1 NP-completeness Lecture 2: Jan P The class of problems that can be solved in polynomial time. e.g. gcd, shortest path, prime, etc. There are many.
NP and NP Complete. Definitions A problem is in the class P if there is a polynomial time solution to the problem A problem is in the class NP if there.
NP-complete and NP-hard problems Transitivity of polynomial-time many-one reductions Concept of Completeness and hardness for a complexity class Definition.
The Theory of NP-Completeness
1 NP-Complete Problems. 2 We discuss some hard problems:  how hard? (computational complexity)  what makes them hard?  any solutions? Definitions 
Rajat K. Pal. Chapter 3 Emran Chowdhury # P Presented by.
CSC5160 Topics in Algorithms Tutorial 2 Introduction to NP-Complete Problems Feb Jerry Le
Complexity 11-1 Complexity Andrei Bulatov NP-Completeness.
Computability and Complexity 23-1 Computability and Complexity Andrei Bulatov Search and Optimization.
Multi-Layer Channel Routing Complexity and Algorithm - Rajat K. Pal Md. Jawaherul Alam # P Presented by Section 5.3: NP-completeness of Multi-Layer.
Computability and Complexity 15-1 Computability and Complexity Andrei Bulatov NP-Completeness.
NP-complete and NP-hard problems Transitivity of polynomial-time many-one reductions Definition of complexity class NP –Nondeterministic computation –Problems.
A Framework for Track Assignment Presented by: Kaiser Newaj Asif Multi-Layer Routing (Extensions of the TAH Framework)
NP-Complete Problems Reading Material: Chapter 10 Sections 1, 2, 3, and 4 only.
NP-Complete Problems Problems in Computer Science are classified into
NP-complete and NP-hard problems
A General Framework for Track Assignment in Multilayer Channel Routing (Multi layer routing) -VLSI Layout Algorithm KAZY NOOR –E- ALAM SIDDIQUEE
1 CSE 417: Algorithms and Computational Complexity Winter 2001 Lecture 23 Instructor: Paul Beame.
Analysis of Algorithms CS 477/677
Computational Complexity, Physical Mapping III + Perl CIS 667 March 4, 2004.
Computational Complexity of Approximate Area Minimization in Channel Routing PRESENTED BY: S. A. AHSAN RAJON Department of Computer Science and Engineering,
3.3 Multi-Layer V i+1 H i Channel Routing Presented by Zulfiquer Md. Mizanur Rhaman Student # p.
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness.
Multi-Layer Channel Routing Complexity and Algorithm Rajat K. Pal.
3.3 Multi-Layer V i+1 H i Channel Routing Presented by Md. Shaifur Rahman Student #
Toward NP-Completeness: Introduction Almost all the algorithms we studies so far were bounded by some polynomial in the size of the input, so we call them.
Clique Cover Cook’s Theorem 3SAT and Independent Set
Multi-Layer Channel Routing Complexity and Algorithm Rajat K. Pal.
9/4/ VLSI Physical Design Automation Prof. David Pan Office: ACES Detailed Routing (I)
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
MCS312: NP-completeness and Approximation Algorithms
1 The Theory of NP-Completeness 2012/11/6 P: the class of problems which can be solved by a deterministic polynomial algorithm. NP : the class of decision.
Nattee Niparnan. Easy & Hard Problem What is “difficulty” of problem? Difficult for computer scientist to derive algorithm for the problem? Difficult.
Lecture 22 More NPC problems
NP-complete Problems SAT 3SAT Independent Set Hamiltonian Cycle
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
CSE 024: Design & Analysis of Algorithms Chapter 9: NP Completeness Sedgewick Chp:40 David Luebke’s Course Notes / University of Virginia, Computer Science.
EMIS 8373: Integer Programming NP-Complete Problems updated 21 April 2009.
Techniques for Proving NP-Completeness Show that a special case of the problem you are interested in is NP- complete. For example: The problem of finding.
CSE 589 Part VI. Reading Skiena, Sections 5.5 and 6.8 CLR, chapter 37.
Unit 9: Coping with NP-Completeness
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
NP-COMPLETE PROBLEMS. Admin  Two more assignments…  No office hours on tomorrow.
NP-Complete problems.
Instructor Neelima Gupta Table of Contents Class NP Class NPC Approximation Algorithms.
CSE 589 Part V One of the symptoms of an approaching nervous breakdown is the belief that one’s work is terribly important. Bertrand Russell.
NP Completeness Piyush Kumar. Today Reductions Proving Lower Bounds revisited Decision and Optimization Problems SAT and 3-SAT P Vs NP Dealing with NP-Complete.
CSC 413/513: Intro to Algorithms
COMPLEXITY. Satisfiability(SAT) problem Conjunctive normal form(CNF): Let S be a Boolean expression in CNF. That is, S is the product(and) of several.
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
Given this 3-SAT problem: (x1 or x2 or x3) AND (¬x1 or ¬x2 or ¬x2) AND (¬x3 or ¬x1 or x2) 1. Draw the graph that you would use if you want to solve this.
COSC 3101A - Design and Analysis of Algorithms 14 NP-Completeness.
COMPLEXITY. Satisfiability(SAT) problem Conjunctive normal form(CNF): Let S be a Boolean expression in CNF. That is, S is the product(and) of several.
The NP class. NP-completeness Lecture2. The NP-class The NP class is a class that contains all the problems that can be decided by a Non-Deterministic.
Advanced Algorithms NP-hard and NP-Complete Problems Instructor: Saeid Abrishami Ferdowsi University of Mashhad.
ICS 353: Design and Analysis of Algorithms NP-Complete Problems King Fahd University of Petroleum & Minerals Information & Computer Science Department.
The Theory of NP-Completeness
More NP-complete problems
VLSI Physical Design Automation
Computability and Complexity
ICS 353: Design and Analysis of Algorithms
By Santhosh Reddy Katkoori
NP-Complete Problems.
Detailed Routing مرتضي صاحب الزماني.
The Theory of NP-Completeness
VLSI Physical Design Automation
Hamiltonian Circuit (HC) problem
Presentation transcript:

Chapter 5: Computational Complexity of Area Minimization in Multi-Layer Channel Routing and an Efficient Algorithm Presented by Md. Raqibul Hasan Std No

Review: Basic Definition Horizontal Constraint Graph (HCG): HCG = (V,E) Wherecorresponds to a net n i in the channel. An undirected edge, if the intervals I i and I j corresponding to nets n i and n j, intersect a column (overlap horizontal expansion).

Review: Basic Definition Vertical Constraint Graph (VCG): VCG = (V,E) Wherecorresponds to a net n i. An directed edge, in the VCG indicates that the net n i has to connect a top terminal and the net n j is connected to a bottom terminal at the same column position

Review: Basic Definition Dogleg

Overview There are several polynomial time three-layer channel routing algorithms that produce routing solutions using d max tracks under the VHV model. Under the HVH model the problem of routing a channel with a minimum number tracks is NP- Complete. The most notable characteristic of NP-complete problems is that no fast solution to them is known. Running time is exponential.

It is not wise to waste time trying to solve a problem which so far has eluded generations of computer scientists. Instead, NP-complete problems are often addressed by using approximation algorithm in practice. We require better heuristic for getting better performance from the approximation algorithm. Overview

We require at least d max /2 track in any VHVH routing solution. An interesting open problem is that of determining whether there is a no-dogleg routing solution for a given channel specification of multi terminal nets using exactly d max /2 tracks in VHVH model. Overview

Algorithm for Multi-Layer Channel Routing Complexity of area minimization in multi-layer channel routing in the reserved layer Manhattan routing model is NP-hard. Approximate solution: The drawback in using unrestricted doglegging is the difficulty in fabrication due to excessive via holes.

Algorithm for Multi-Layer Channel Routing Chameleon uses short horizontal wires (jogs) in vertical layers in order to reduce the number of via holes and the total number of tracks jog

Complement of HCG is called horizontal non- constraint graph (HNCG). A clique of the HNCG corresponds to a set of non- overlapping intervals that may safely be assigned to the same track Complemented Graph

A routing solution is a density routing solution if it requires tracks (lower bound), where “i” is the number of horizontal layers. Density Routing Solution

Induced Graph G=(V, E) is a graph and V’ subset of V. Induced graph G’=(V’, E’) where, E’ is a subset of E and E’ is the set of edges between vertices V’ Vertex induced V’ ={1,2,3} Edge induced E’ ={(1,2),(1,4),(2,3)}

A simple framework for multi-layer Channel Routing In the case of three layer VHV routing, all vertical constraints between nets assigned to H can be resolved by routing vertical wire segments using the two layers V1 and V2. In case of VHVH routing, higher priority is given for routing vertical wire segments through V1 when assigning nets to H1. In case of VHVH routing we can not assign nets to H2 whose corresponding vertex set S introduce a cycle in the induced subgraph VC s =(S, A s ) of the VCG. This is so because such cycles can not be resolved using a single adjacent vertical layer V2.

Reduced Vertical Constraint Graph RVCG = (CC,A’) CC = Set of clique covers of the HNCG. A’ = Set of edges. An directed edge would be introduced from clique to clique, if there are nets and such that there is a directed edge from v g to v h in the VCG HNCG {1,4} {2,3} RVCG

A simple framework for multi-layer Channel Routing To obtain a VHVH routing solution we have to assign set of nets to horizontal layer H2 in such a way that net assigned to tracks of H2 do not include cycle in VCG. Induced RVCG must be cycle free.

Some NP-Complete Problem MNVHVH (Multi-terminal no-dogleg VHVH channel routing): We are given a channel specification of multi- terminal nets. Is there a four-layer VHVH routing solution for the given instance using tracks? 3SAT: Collection F={c1, c2, c3,…,cq} of clauses on a finite set U of variables such that |ci|=3 for 1<=i<=q. Is there a truth assignment for U that satisfies all the clauses in F? F (A, B, C) = (A+B’+C).(A’+B+C’). If A=0, B=1, C=1 then F is satisfied i.e. F=1.

Independent Set An independent set of a graph G=(V, E) is a subset V’ of V such that each edge in E is incident on at most one vertex in V’. Independent set {1,3} IS2: An undirected graph G=(V, E). Here the number of vertices in G is n. Is there an independent set of size. 123

IS3: An undirected graph G=(V, E). Here the number of vertices in G is n. Is there an independent set of size. To prove a problem as NP-Complete, we have to give a polynomial time verification algorithm and a polynomial time reduction algorithm of a known NP-Complete to that problem.

Thank You