Complexity Theory. IE 661: Scheduling Theory Fall 2003 Satyaki Ghosh Dastidar


 Moris Hines
 5 years ago
 Views:
Transcription
1 Complexity Theory IE 661: Scheduling Theory Fall 2003 Satyaki Ghosh Dastidar
2 Outline Goals Computation of Problems Concepts and Definitions Complexity Classes and Problems Polynomial Time Reductions Examples and Proofs Summary University at Buffalo Department of Industrial Engineering 2
3 Goals of Complexity Theory To provide a method of quantifying problem difficulty in an absolute sense. To provide a method comparing the relative difficulty of two different problems. To be able to rigorously define the meaning of efficient algorithm. (e.g. Time complexity analysis of an algorithm). University at Buffalo Department of Industrial Engineering 3
4 Computation of Problems Concepts and Definitions
5 Problems and Instances A problem or model is an infinite family of instances whose objective function and constraints have a specific structure. An instance is obtained by specifying values for the various problem parameters. Measurement of Difficulty Instance Running time (Measure the total number of elementary operations). Problem Best case (No guarantee about the difficulty of a given instance). Average case (Specifies a probability distribution on the instances). Worst case (Addresses these problems and is usually easier to analyze). University at Buffalo Department of Industrial Engineering 5
6 Time Complexity Θnotation Θ ( gn ( )) = Onotation Ogn ( ( )) Ωnotation Ω ( gn ( )) = onotation ogn ( ( )) (asymptotic tight bound) f( n) : there exist positive constants c, c, and n such that (asymptotic upper bound) f( n) : there exist positive constants c and n0 such that = 0 f( n) cg( n) for all n n0 (asymptotic lower bound) (asymptotic loose upper bound) cg( n) f( n) cg( n) for all n n f( n) : there exist positive constants c and n such that 0 cg( n) f ( n) for all n n f( n) : for any positive constant c> 0, there exists a constant = n0 > 0 such that 0 f( n) < cg( n) for all n n0 University at Buffalo Department of Industrial Engineering 6 0 0
7 Time Complexity (contd.) ωnotation ω( gn ( )) = (asymptotic loose lower bound) f( n) : for any positive constant c> 0, there exists a constant n > 0 such that 0 cg( n) < f( n) for all n n 0 0 cgn 2 ( ) f ( n) cg 1 ( n) cg( n) f ( n) f ( n) cg( n) n 0 f ( n) =Θ( g( n)) n n 0 f ( n) = O( g( n)) n n 0 f ( n) = Ω( g( n)) n University at Buffalo Department of Industrial Engineering 7
8 Algorithm Types Polynomial Time Algorithm: An algorithm whose running time is bounded by a polynomial function is called a polynomial time algorithm. Example: Shortest path problem with nonnegative weights. Running Time: O(n 2 ) Exponential Time Algorithm: An algorithm that is bounded by an exponential function is called an exponential time algorithm. Example: Check every number of n digits to find a solution. Running Time: O(10 n ) Pseudopolynomial Time Algorithm: A pseudopolynomial time algorithm is one that is polynomial in the length of the data when encoded in unary. Example: Integer Knapsack Problem. Running time: O(nb) University at Buffalo Department of Industrial Engineering 8
9 Turing Machine A Turing machine is an abstract representation of a computing device. The behavior of a TM is completely determined by: The state the machine is in, The number on the square it is scanning, and A table of instructions or the transition table. A function is computable if it can be computed by a Turing Machine.  ChurchTuring Hypothesis University at Buffalo Department of Industrial Engineering 9
10 Finite State Machine State Read Write Move Next State S1 0 0 L S1 B 1 L S2 1 B R S1 S2 0 1 R S2 B 0 R S2 1 1 L S1 State Transition Table for a Turing Machine Transition State Diagram for Turing Machine University at Buffalo Department of Industrial Engineering 10
11 Decision Problem Decision problems are those that have a TRUE/FALSE answer. SATISFIABILITY: Given a set of variables and a collection of clauses defined over the variables, is there an assignment of values to the variables for which each of the clauses is true? Example: Consider the expression ( x + x + x + x )( x + x + x + x )( x + x + x + x )( x + x + x + x ) It can be easily verified that the assignment x 1 =0, x 2 =0, x 3 =0, x 4 =0, and x 5 =0 gives a truth assignment to each one of the four clauses. University at Buffalo Department of Industrial Engineering 11
12 Decision Problems and Reductions For every optimization problem there is a corresponding decision problem. Example: Fm C max minimize makespan (optmization). Is there a schedule with a makespan z? (decision). Problem Reduction: Problem P reduces to problem P if for any instance of P an equivalent instance of P can be constructed. Polynomial Reducibility: Problem P polynomially reduces to problem P if a polynomial time algorithm for P implies polynomial time algorithm for P. P P University at Buffalo Department of Industrial Engineering 12
13 Complexity Classes and Problems
14 Complexity Classes Definition: (Class P) The class P contains all decision problems for which there exists a Turing machine algorithm that leads to the right yes/no answer in a number of steps bounded by a polynomial in the length of the encoding. Definition: (Class NP) The class NP contains all decision problems for which, given a proper guess, there exists a polynomial time proof or certificate C that can verify if the guess is the right yes/no answer. NP P A tentative view of the world of NP University at Buffalo Department of Industrial Engineering 14
15 Complexity Classes (contd.) Definition: (Class cop) The class cop contains all decision problems for which there exists a polynomial time algorithm that can determine what all yes/no answers are incorrect. Definition: (Class conp) The class conp contains all decision problems such that there exists a polynomial time proof or certificate C that can verify if the problem does not have the right yes/no answer. conp NP P A view of the world of NP and conp University at Buffalo Department of Industrial Engineering 15
16 Important Results P = cop NP conp P NP It turns out that almost all interesting problems lie in NP and P is the set of easy problems. So are all interesting problems easy, i.e. do we have P = NP? This is the main open question in Computer Science. It is like other great questions Is there intelligent life in the universe? What is the meaning of life? Will you get a job when you graduate? University at Buffalo Department of Industrial Engineering 16
17 NPComplete Problems Definition: (NPcomplete) A decision problem D is said to be NPcomplete if D NP and, for all other decision problems D NP, there exists a polynomial transformation from D to D, i.e., D D. Assumption: P NP. Result: If any single NPcomplete problem can be solved in polynomial time, then all problems in NP can be solved. co NPcomplete conp P NP NPcomplete The world of NP, revisited Cook s Theorem A problem is NPcomplete if: University at Buffalo Department of Industrial Engineering 17 (i) The problem is in NP (ii) All other problems in NP polynomially transforms into the above problem.
18 NPHard Problems Definition: (NPhard) A decision problem whether a member of NP or not, to which we can transform a NPcomplete problem is at least as hard as the NPcomplete problem. Such a decision problem is called NPhard. Example: K TH LARGEST SUBSET: Given a set A { a1, a2, a t }, b a j A A and k 2, do there exist at least K distinct subsets where A { S1, S2, S K } and A A such that Sj b? j A j, University at Buffalo Department of Industrial Engineering 18
19 Six Basic NPComplete Problems 3SATISFIABILITY: Given a collection C = {c 1, c 2,, c m } of clauses on a finite set U of variables such that c i =3 for 1 i m, is there a truth assignment for U that satisfies all the clauses in C? 3DIMENSIONAL MATCHING: Given a set M W X Y, where W, X, and Y are disjoint sets having the same number q of elements, does M contain a matching, i.e., a subset / / / M M such that M = q and no two elements of M agree in any coordinate? t 1 PARTITION: Given positive integers a 1,, a t and b = a j, 2 do there exist two disjoint subsets S 1 and S 2 such that j= 1 a = b for i= 1, 2? j S j i University at Buffalo Department of Industrial Engineering 19
20 Six Basic Problems (contd.) VERTEX COVER: Given a graph G=(V,E) and a positive integer K V, is there a vertex cover of size K or less for / / G, i.e., a subset V Vsuch that V K and, for each edge / {,} uv E, at least one of u and v belongs to V? HAMILTONIAN CIRCUIT: For a graph G = (N, A) with node set N and arc set A, does there exist a circuit (or tour) that connects all the N nodes exactly once? CLIQUE: For a graph G = (N, A) with node set N and arc set A, does there exist a clique of size c? i.e., does there exist a * set N N, consisting of c nodes such that for each distinct * pair of nodes uv, N, the arc {u,v} is an element of A? University at Buffalo Department of Industrial Engineering 20
21 Transformation Topology SATISFIABILITY 3SAT 3DM VC PARTITION HC CLIQUE Diagram of the sequence of transformations used to prove that the six basic problems are NPcomplete. Problems of which the complexity is established through a reduction from PARTITION typically have pseudopolynomial time algorithms and are therefore NPhard in the ordinary sense. University at Buffalo Department of Industrial Engineering 21
22 Other Popular Problems 3PARTITION: Given positive integers a 1,, a 3t and b with 3t b b < a j <, j = 1,,3 t, and a j = tb, do there exist t 4 2 j= 1 pairwise disjoint three element subsets Si {1,, 3 t} such that a = b fori= 1,, t? j S i j TRAVELING SALESMAN PROBLEM: For a set of cities C={c 1, c 2,, c m } does there exist a tour, of all the cities in C, of length b such that one city is visited exactly once? University at Buffalo Department of Industrial Engineering 22
23 Polynomial Time Reductions Examples and Proofs
24 Dealing with Hard Problems You: Give up! Boss: Fires you! University at Buffalo Department of Industrial Engineering 24
25 Still Dealing!! You: Challenge Boss! Boss: You: Boss: Asks for proof! Cannot prove! Gives you a rise?..very unlikely! University at Buffalo Department of Industrial Engineering 25
26 Better Strategy You: Prove that the problem is hard and that everyone else has failed. Boss: At least he gets no benefit out of firing you! University at Buffalo Department of Industrial Engineering 26
27 Problem Reduction Example 1 KNAPSACK PROBLEM KNAPSACK problem is equivalent to the scheduling problem 1 d j =d w j U j. The value d refers to size of the knapsack and the jobs are the items that have to be put into the knapsack. The size of the item j is p j and the weight (value) of the item j is w j. It can be shown that PARTITION reduces to KNAPSACK by taking n= t, p = a, w = a, j j j j t t 1 1 d = aj = b, z = aj = b. 2 j= 1 2 j= 1 It can be verified that there exists a schedule with an objective n 1 value wj iff there exists a solution for the PARTITION 2 j= 1 problem. University at Buffalo Department of Industrial Engineering 27
28 Problem Reduction Example 2 MINIMIZE MAKESPAN ON PARALLEL MACHINES (P2 C max ) Consider P2 C max. It can be shown that PARTITION reduces to this problem by taking n= t, p = a, w = a, j j j j t 1 z = aj = b. 2 j= 1 It is trivial to verify that there exists a schedule with an objective n 1 value p j iff there exists a solution for the PARTITION 2 j= 1 problem. University at Buffalo Department of Industrial Engineering 28
29 Problem Reduction Example 3 MINIMIZE MAKESPAN IN A JOB SHOP Consider J2 recrc, prmp C max. It can be shown that 3PARTITION reduces to J2 recrc, prmp C max by taking the following transformation. If the number of jobs be n, take n= 3t+1, p 1j =p 2j =a j, for j=1, 3t. Each of these 3t jobs has to be processed on machine 1 and then on machine 2. These 3t jobs do not recirculate. The last job, job 3t+1, has to start its processing on machine 2 and then alternate between machines 1 and 2. It has to be processes in this way t times on machine 2 and t times on machine 1, and each of these 2t processing times = b. For a schedule to have a makespan C max =2tb, this last job has to be scheduled without preemption. The remaining slots can be filled without idle times by jobs 1,..., 3t iff 3PARTITION has a solution. University at Buffalo Department of Industrial Engineering 29
30 Problem Reduction Example 4 SEQUENCEDEPENDENT SETUP TIMES Consider the TRAVELING SALESMAN PROBLEM (TSP) or in scheduling terms 1 s jk C max problem. That the HAMILTONIAN CIRCUIT (HC) can be reduced to 1 s jk C max can be shown as follows. Let each node in a HC correspond to a city in a TSP. Let the distance between two cities equal 1 if there exists an arc between two corresponding nodes in the HC. Let the distance between two cites be 2 if such an arc does not exist. The bound on the objective is equal to the number of nodes in the HC. It is easy to show that the two problems are equivalent. University at Buffalo Department of Industrial Engineering 30
31 Summary
32 Observation Present research is in the boundary of polynomial time problems and NPhard problems. If a problem is NPcomplete (or NPhard), there is no polynomial time algorithm that solves it unless P=NP. (No pseudopolynomial time algorithms for strong NPcomplete problems). University at Buffalo Department of Industrial Engineering 32
33 Why all these analyses? Determine the boundary of polynomial time problems and NPhard problems. For which decision problems do algorithms exist? Develop better algorithms in cryptography. University at Buffalo Department of Industrial Engineering 33
34 Beyond NPcompleteness Try to prove that P=NP (AMS will give one million dollars). Randomized Algorithms. Approximation Algorithms. Heuristics. University at Buffalo Department of Industrial Engineering 34
Classification  Examples
Lecture 2 Scheduling 1 Classification  Examples 1 r j C max given: n jobs with processing times p 1,...,p n and release dates r 1,...,r n jobs have to be scheduled without preemption on one machine taking
More informationOutline. NPcompleteness. When is a problem easy? When is a problem hard? Today. Euler Circuits
Outline NPcompleteness Examples of Easy vs. Hard problems Euler circuit vs. Hamiltonian circuit Shortest Path vs. Longest Path 2pairs sum vs. general Subset Sum Reducing one problem to another Clique
More informationComputer Algorithms. NPComplete Problems. CISC 4080 Yanjun Li
Computer Algorithms NPComplete Problems NPcompleteness The quest for efficient algorithms is about finding clever ways to bypass the process of exhaustive search, using clues from the input in order
More informationTutorial 8. NPComplete Problems
Tutorial 8 NPComplete Problems Decision Problem Statement of a decision problem Part 1: instance description defining the input Part 2: question stating the actual yesorno question A decision problem
More informationNPCompleteness. CptS 223 Advanced Data Structures. Larry Holder School of Electrical Engineering and Computer Science Washington State University
NPCompleteness CptS 223 Advanced Data Structures Larry Holder School of Electrical Engineering and Computer Science Washington State University 1 Hard Graph Problems Hard means no known solutions with
More informationPage 1. CSCE 310J Data Structures & Algorithms. CSCE 310J Data Structures & Algorithms. P, NP, and NPComplete. PolynomialTime Algorithms
CSCE 310J Data Structures & Algorithms P, NP, and NPComplete Dr. Steve Goddard goddard@cse.unl.edu CSCE 310J Data Structures & Algorithms Giving credit where credit is due:» Most of the lecture notes
More informationNPcomplete? NPhard? Some Foundations of Complexity. Prof. Sven Hartmann Clausthal University of Technology Department of Informatics
NPcomplete? NPhard? Some Foundations of Complexity Prof. Sven Hartmann Clausthal University of Technology Department of Informatics Tractability of Problems Some problems are undecidable: no computer
More informationOHJ2306 Introduction to Theoretical Computer Science, Fall 2012 8.11.2012
276 The P vs. NP problem is a major unsolved problem in computer science It is one of the seven Millennium Prize Problems selected by the Clay Mathematics Institute to carry a $ 1,000,000 prize for the
More informationIntroduction to Logic in Computer Science: Autumn 2006
Introduction to Logic in Computer Science: Autumn 2006 Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss 1 Plan for Today Now that we have a basic understanding
More informationNear Optimal Solutions
Near Optimal Solutions Many important optimization problems are lacking efficient solutions. NPComplete problems unlikely to have polynomial time solutions. Good heuristics important for such problems.
More informationWhy? A central concept in Computer Science. Algorithms are ubiquitous.
Analysis of Algorithms: A Brief Introduction Why? A central concept in Computer Science. Algorithms are ubiquitous. Using the Internet (sending email, transferring files, use of search engines, online
More informationReductions & NPcompleteness as part of Foundations of Computer Science undergraduate course
Reductions & NPcompleteness as part of Foundations of Computer Science undergraduate course Alex Angelopoulos, NTUA January 22, 2015 Outline Alex Angelopoulos (NTUA) FoCS: Reductions & NPcompleteness
More informationApproximation Algorithms
Approximation Algorithms or: How I Learned to Stop Worrying and Deal with NPCompleteness Ong Jit Sheng, Jonathan (A0073924B) March, 2012 Overview Key Results (I) General techniques: Greedy algorithms
More informationSIMS 255 Foundations of Software Design. Complexity and NPcompleteness
SIMS 255 Foundations of Software Design Complexity and NPcompleteness Matt Welsh November 29, 2001 mdw@cs.berkeley.edu 1 Outline Complexity of algorithms Space and time complexity ``Big O'' notation Complexity
More informationLecture 7: NPComplete Problems
IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Basic Course on Computational Complexity Lecture 7: NPComplete Problems David Mix Barrington and Alexis Maciel July 25, 2000 1. Circuit
More informationJUSTINTIME SCHEDULING WITH PERIODIC TIME SLOTS. Received December May 12, 2003; revised February 5, 2004
Scientiae Mathematicae Japonicae Online, Vol. 10, (2004), 431 437 431 JUSTINTIME SCHEDULING WITH PERIODIC TIME SLOTS Ondřej Čepeka and Shao Chin Sung b Received December May 12, 2003; revised February
More informationQuantum and Nondeterministic computers facing NPcompleteness
Quantum and Nondeterministic computers facing NPcompleteness Thibaut University of Vienna Dept. of Business Administration Austria Vienna January 29th, 2013 Some pictures come from Wikipedia Introduction
More informationSingle machine parallel batch scheduling with unbounded capacity
Workshop on Combinatorics and Graph Theory 21th, April, 2006 Nankai University Single machine parallel batch scheduling with unbounded capacity Yuan Jinjiang Department of mathematics, Zhengzhou University
More informationDiscuss the size of the instance for the minimum spanning tree problem.
3.1 Algorithm complexity The algorithms A, B are given. The former has complexity O(n 2 ), the latter O(2 n ), where n is the size of the instance. Let n A 0 be the size of the largest instance that can
More informationCoNP and Function Problems
CoNP and Function Problems conp By definition, conp is the class of problems whose complement is in NP. NP is the class of problems that have succinct certificates. conp is therefore the class of problems
More informationChapter 11. 11.1 Load Balancing. Approximation Algorithms. Load Balancing. Load Balancing on 2 Machines. Load Balancing: Greedy Scheduling
Approximation Algorithms Chapter Approximation Algorithms Q. Suppose I need to solve an NPhard problem. What should I do? A. Theory says you're unlikely to find a polytime algorithm. Must sacrifice one
More informationCAD Algorithms. P and NP
CAD Algorithms The Classes P and NP Mohammad Tehranipoor ECE Department 6 September 2010 1 P and NP P and NP are two families of problems. P is a class which contains all of the problems we solve using
More informationScheduling Shop Scheduling. Tim Nieberg
Scheduling Shop Scheduling Tim Nieberg Shop models: General Introduction Remark: Consider non preemptive problems with regular objectives Notation Shop Problems: m machines, n jobs 1,..., n operations
More informationA Working Knowledge of Computational Complexity for an Optimizer
A Working Knowledge of Computational Complexity for an Optimizer ORF 363/COS 323 Instructor: Amir Ali Ahmadi TAs: Y. Chen, G. Hall, J. Ye Fall 2014 1 Why computational complexity? What is computational
More information! Solve problem to optimality. ! Solve problem in polytime. ! Solve arbitrary instances of the problem. #approximation algorithm.
Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NPhard problem What should I do? A Theory says you're unlikely to find a polytime algorithm Must sacrifice one of three
More information5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1
5 INTEGER LINEAR PROGRAMMING (ILP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 General Integer Linear Program: (ILP) min c T x Ax b x 0 integer Assumption: A, b integer The integrality condition
More informationTheoretical Computer Science (Bridging Course) Complexity
Theoretical Computer Science (Bridging Course) Complexity Gian Diego Tipaldi A scenario You are a programmer working for a logistics company Your boss asks you to implement a program that optimizes the
More informationGuessing Game: NPComplete?
Guessing Game: NPComplete? 1. LONGESTPATH: Given a graph G = (V, E), does there exists a simple path of length at least k edges? YES 2. SHORTESTPATH: Given a graph G = (V, E), does there exists a simple
More informationEfficiency of algorithms. Algorithms. Efficiency of algorithms. Binary search and linear search. Best, worst and average case.
Algorithms Efficiency of algorithms Computational resources: time and space Best, worst and average case performance How to compare algorithms: machineindependent measure of efficiency Growth rate Complexity
More informationThe Classes P and NP
The Classes P and NP We now shift gears slightly and restrict our attention to the examination of two families of problems which are very important to computer scientists. These families constitute the
More information! Solve problem to optimality. ! Solve problem in polytime. ! Solve arbitrary instances of the problem. !approximation algorithm.
Approximation Algorithms Chapter Approximation Algorithms Q Suppose I need to solve an NPhard problem What should I do? A Theory says you're unlikely to find a polytime algorithm Must sacrifice one of
More informationCSC 373: Algorithm Design and Analysis Lecture 16
CSC 373: Algorithm Design and Analysis Lecture 16 Allan Borodin February 25, 2013 Some materials are from Stephen Cook s IIT talk and Keven Wayne s slides. 1 / 17 Announcements and Outline Announcements
More informationNotes on NP Completeness
Notes on NP Completeness Rich Schwartz November 10, 2013 1 Overview Here are some notes which I wrote to try to understand what NP completeness means. Most of these notes are taken from Appendix B in Douglas
More informationDynamic programming. Doctoral course Optimization on graphs  Lecture 4.1. Giovanni Righini. January 17 th, 2013
Dynamic programming Doctoral course Optimization on graphs  Lecture.1 Giovanni Righini January 1 th, 201 Implicit enumeration Combinatorial optimization problems are in general NPhard and we usually
More information1. Nondeterministically guess a solution (called a certificate) 2. Check whether the solution solves the problem (called verification)
Some N P problems Computer scientists have studied many N P problems, that is, problems that can be solved nondeterministically in polynomial time. Traditionally complexity question are studied as languages:
More informationWhy Study NP hardness. NP Hardness/Completeness Overview. P and NP. Scaling 9/3/13. Ron Parr CPS 570. NP hardness is not an AI topic
Why Study NP hardness NP Hardness/Completeness Overview Ron Parr CPS 570 NP hardness is not an AI topic It s important for all computer scienhsts Understanding it will deepen your understanding of AI
More informationIntroduction to computer science
Introduction to computer science Michael A. Nielsen University of Queensland Goals: 1. Introduce the notion of the computational complexity of a problem, and define the major computational complexity classes.
More informationOne last point: we started off this book by introducing another famously hard search problem:
S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani 261 Factoring One last point: we started off this book by introducing another famously hard search problem: FACTORING, the task of finding all prime factors
More informationIntroduction to Algorithms. Part 3: P, NP Hard Problems
Introduction to Algorithms Part 3: P, NP Hard Problems 1) Polynomial Time: P and NP 2) NPCompleteness 3) Dealing with Hard Problems 4) Lower Bounds 5) Books c Wayne Goddard, Clemson University, 2004 Chapter
More informationLecture 19: Introduction to NPCompleteness Steven Skiena. Department of Computer Science State University of New York Stony Brook, NY 11794 4400
Lecture 19: Introduction to NPCompleteness Steven Skiena Department of Computer Science State University of New York Stony Brook, NY 11794 4400 http://www.cs.sunysb.edu/ skiena Reporting to the Boss Suppose
More informationApplied Algorithm Design Lecture 5
Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design
More information5.1 Bipartite Matching
CS787: Advanced Algorithms Lecture 5: Applications of Network Flow In the last lecture, we looked at the problem of finding the maximum flow in a graph, and how it can be efficiently solved using the FordFulkerson
More informationComplexity Classes P and NP
Complexity Classes P and NP MATH 3220 Supplemental Presentation by John Aleshunas The cure for boredom is curiosity. There is no cure for curiosity Dorothy Parker Computational Complexity Theory In computer
More information2. (a) Explain the strassen s matrix multiplication. (b) Write deletion algorithm, of Binary search tree. [8+8]
Code No: R05220502 Set No. 1 1. (a) Describe the performance analysis in detail. (b) Show that f 1 (n)+f 2 (n) = 0(max(g 1 (n), g 2 (n)) where f 1 (n) = 0(g 1 (n)) and f 2 (n) = 0(g 2 (n)). [8+8] 2. (a)
More informationComputational complexity theory
Computational complexity theory Goal: A general theory of the resources needed to solve computational problems What types of resources? Time What types of computational problems? decision problem Decision
More informationP versus NP, and More
1 P versus NP, and More Great Ideas in Theoretical Computer Science Saarland University, Summer 2014 If you have tried to solve a crossword puzzle, you know that it is much harder to solve it than to verify
More informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 27 Approximation Algorithms Load Balancing Weighted Vertex Cover Reminder: Fill out SRTEs online Don t forget to click submit Sofya Raskhodnikova 12/6/2011 S. Raskhodnikova;
More informationTetris is Hard: An Introduction to P vs NP
Tetris is Hard: An Introduction to P vs NP Based on Tetris is Hard, Even to Approximate in COCOON 2003 by Erik D. Demaine (MIT) Susan Hohenberger (JHU) David LibenNowell (Carleton) What s Your Problem?
More informationDiversity Coloring for Distributed Data Storage in Networks 1
Diversity Coloring for Distributed Data Storage in Networks 1 Anxiao (Andrew) Jiang and Jehoshua Bruck California Institute of Technology Pasadena, CA 9115, U.S.A. {jax, bruck}@paradise.caltech.edu Abstract
More informationIntroduction to Scheduling Theory
Introduction to Scheduling Theory Arnaud Legrand Laboratoire Informatique et Distribution IMAG CNRS, France arnaud.legrand@imag.fr November 8, 2004 1/ 26 Outline 1 Task graphs from outer space 2 Scheduling
More informationOffline sorting buffers on Line
Offline sorting buffers on Line Rohit Khandekar 1 and Vinayaka Pandit 2 1 University of Waterloo, ON, Canada. email: rkhandekar@gmail.com 2 IBM India Research Lab, New Delhi. email: pvinayak@in.ibm.com
More informationScheduling Single Machine Scheduling. Tim Nieberg
Scheduling Single Machine Scheduling Tim Nieberg Single machine models Observation: for nonpreemptive problems and regular objectives, a sequence in which the jobs are processed is sufficient to describe
More informationFacility Location: Discrete Models and Local Search Methods
Facility Location: Discrete Models and Local Search Methods Yury KOCHETOV Sobolev Institute of Mathematics, Novosibirsk, Russia Abstract. Discrete location theory is one of the most dynamic areas of operations
More informationNPCompleteness I. Lecture 19. 19.1 Overview. 19.2 Introduction: Reduction and Expressiveness
Lecture 19 NPCompleteness I 19.1 Overview In the past few lectures we have looked at increasingly more expressive problems that we were able to solve using efficient algorithms. In this lecture we introduce
More informationApproximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs
Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs Yong Zhang 1.2, Francis Y.L. Chin 2, and HingFung Ting 2 1 College of Mathematics and Computer Science, Hebei University,
More informationCMPSCI611: Approximating MAXCUT Lecture 20
CMPSCI611: Approximating MAXCUT Lecture 20 For the next two lectures we ll be seeing examples of approximation algorithms for interesting NPhard problems. Today we consider MAXCUT, which we proved to
More informationMATHEMATICAL ENGINEERING TECHNICAL REPORTS. An Improved Approximation Algorithm for the Traveling Tournament Problem
MATHEMATICAL ENGINEERING TECHNICAL REPORTS An Improved Approximation Algorithm for the Traveling Tournament Problem Daisuke YAMAGUCHI, Shinji IMAHORI, Ryuhei MIYASHIRO, Tomomi MATSUI METR 2009 42 September
More informationCycles and cliqueminors in expanders
Cycles and cliqueminors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor
More informationNPCompleteness and Cook s Theorem
NPCompleteness and Cook s Theorem Lecture notes for COM3412 Logic and Computation 15th January 2002 1 NP decision problems The decision problem D L for a formal language L Σ is the computational task:
More informationvii TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION DEDICATION ACKNOWLEDGEMENT ABSTRACT ABSTRAK
vii TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION DEDICATION ACKNOWLEDGEMENT ABSTRACT ABSTRAK TABLE OF CONTENTS LIST OF TABLES LIST OF FIGURES LIST OF ABBREVIATIONS LIST OF SYMBOLS LIST OF APPENDICES
More informationApproximability of TwoMachine NoWait Flowshop Scheduling with Availability Constraints
Approximability of TwoMachine NoWait Flowshop Scheduling with Availability Constraints T.C. Edwin Cheng 1, and Zhaohui Liu 1,2 1 Department of Management, The Hong Kong Polytechnic University Kowloon,
More informationChapter. NPCompleteness. Contents
Chapter 13 NPCompleteness Contents 13.1 P and NP......................... 593 13.1.1 Defining the Complexity Classes P and NP...594 13.1.2 Some Interesting Problems in NP.......... 597 13.2 NPCompleteness....................
More informationScheduling Realtime Tasks: Algorithms and Complexity
Scheduling Realtime Tasks: Algorithms and Complexity Sanjoy Baruah The University of North Carolina at Chapel Hill Email: baruah@cs.unc.edu Joël Goossens Université Libre de Bruxelles Email: joel.goossens@ulb.ac.be
More informationOn the Relationship between Classes P and NP
Journal of Computer Science 8 (7): 10361040, 2012 ISSN 15493636 2012 Science Publications On the Relationship between Classes P and NP Anatoly D. Plotnikov Department of Computer Systems and Networks,
More information11. APPROXIMATION ALGORITHMS
11. APPROXIMATION ALGORITHMS load balancing center selection pricing method: vertex cover LP rounding: vertex cover generalized load balancing knapsack problem Lecture slides by Kevin Wayne Copyright 2005
More informationWelcome to... Problem Analysis and Complexity Theory 716.054, 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 hour: Tuesday 10:30 11:30 slides: http://www.ist.tugraz.at/pact.html
More informationFactoring & Primality
Factoring & Primality Lecturer: Dimitris Papadopoulos In this lecture we will discuss the problem of integer factorization and primality testing, two problems that have been the focus of a great amount
More informationMapReduce and Distributed Data Analysis. Sergei Vassilvitskii Google Research
MapReduce and Distributed Data Analysis Google Research 1 Dealing With Massive Data 2 2 Dealing With Massive Data Polynomial Memory Sublinear RAM Sketches External Memory Property Testing 3 3 Dealing With
More informationDiagonalization. Ahto Buldas. Lecture 3 of Complexity Theory October 8, 2009. Slides based on S.Aurora, B.Barak. Complexity Theory: A Modern Approach.
Diagonalization Slides based on S.Aurora, B.Barak. Complexity Theory: A Modern Approach. Ahto Buldas Ahto.Buldas@ut.ee Background One basic goal in complexity theory is to separate interesting complexity
More informationDuplicating and its Applications in Batch Scheduling
Duplicating and its Applications in Batch Scheduling Yuzhong Zhang 1 Chunsong Bai 1 Shouyang Wang 2 1 College of Operations Research and Management Sciences Qufu Normal University, Shandong 276826, China
More informationDetermination of the normalization level of database schemas through equivalence classes of attributes
Computer Science Journal of Moldova, vol.17, no.2(50), 2009 Determination of the normalization level of database schemas through equivalence classes of attributes Cotelea Vitalie Abstract In this paper,
More informationTransportation Polytopes: a Twenty year Update
Transportation Polytopes: a Twenty year Update Jesús Antonio De Loera University of California, Davis Based on various papers joint with R. Hemmecke, E.Kim, F. Liu, U. Rothblum, F. Santos, S. Onn, R. Yoshida,
More informationCloud Computing is NPComplete
Working Paper, February 2, 20 Joe Weinman Permalink: http://www.joeweinman.com/resources/joe_weinman_cloud_computing_is_npcomplete.pdf Abstract Cloud computing is a rapidly emerging paradigm for computing,
More informationON THE COMPLEXITY OF THE GAME OF SET. {kamalika,pbg,dratajcz,hoeteck}@cs.berkeley.edu
ON THE COMPLEXITY OF THE GAME OF SET KAMALIKA CHAUDHURI, BRIGHTEN GODFREY, DAVID RATAJCZAK, AND HOETECK WEE {kamalika,pbg,dratajcz,hoeteck}@cs.berkeley.edu ABSTRACT. Set R is a card game played with a
More informationLecture 4: BK inequality 27th August and 6th September, 2007
CSL866: Percolation and Random Graphs IIT Delhi Amitabha Bagchi Scribe: Arindam Pal Lecture 4: BK inequality 27th August and 6th September, 2007 4. Preliminaries The FKG inequality allows us to lower bound
More informationQuantum Monte Carlo and the negative sign problem
Quantum Monte Carlo and the negative sign problem or how to earn one million dollar Matthias Troyer, ETH Zürich UweJens Wiese, Universität Bern Complexity of many particle problems Classical 1 particle:
More informationChapter 1. NP Completeness I. 1.1. Introduction. By Sariel HarPeled, December 30, 2014 1 Version: 1.05
Chapter 1 NP Completeness I By Sariel HarPeled, December 30, 2014 1 Version: 1.05 "Then you must begin a reading program immediately so that you man understand the crises of our age," Ignatius said solemnly.
More informationHandout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs
MCS236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set
More informationThe Classes P and NP. mohamed@elwakil.net
Intractable Problems The Classes P and NP Mohamed M. El Wakil mohamed@elwakil.net 1 Agenda 1. What is a problem? 2. Decidable or not? 3. The P class 4. The NP Class 5. TheNP Complete class 2 What is a
More informationA Fast Algorithm For Finding Hamilton Cycles
A Fast Algorithm For Finding Hamilton Cycles by Andrew Chalaturnyk A thesis presented to the University of Manitoba in partial fulfillment of the requirements for the degree of Masters of Science in Computer
More information! X is a set of strings. ! Instance: string s. ! Algorithm A solves problem X: A(s) = yes iff s! X.
Decision Problems 8.2 Definition of NP Decision problem. X is a set of strings. Instance: string s. Algorithm A solves problem X: A(s) = yes iff s X. Polynomial time. Algorithm A runs in polytime if for
More informationExponential time algorithms for graph coloring
Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A klabeling of vertices of a graph G(V, E) is a function V [k].
More informationOn the Unique Games Conjecture
On the Unique Games Conjecture Antonios Angelakis National Technical University of Athens June 16, 2015 Antonios Angelakis (NTUA) Theory of Computation June 16, 2015 1 / 20 Overview 1 Introduction 2 Preliminary
More informationOn the Dimensionality of Voting Games
Proceedings of the TwentyThird AAAI Conference on Artificial Intelligence (2008) On the Dimensionality of Voting Games Edith Elkind Electronics & Computer Science University of Southampton Southampton
More informationLecture 1: Course overview, circuits, and formulas
Lecture 1: Course overview, circuits, and formulas Topics in Complexity Theory and Pseudorandomness (Spring 2013) Rutgers University Swastik Kopparty Scribes: John Kim, Ben Lund 1 Course Information Swastik
More information1 Definitions. Supplementary Material for: Digraphs. Concept graphs
Supplementary Material for: van Rooij, I., Evans, P., Müller, M., Gedge, J. & Wareham, T. (2008). Identifying Sources of Intractability in Cognitive Models: An Illustration using Analogical Structure Mapping.
More informationNetwork Algorithms for Homeland Security
Network Algorithms for Homeland Security Mark Goldberg and Malik MagdonIsmail Rensselaer Polytechnic Institute September 27, 2004. Collaborators J. Baumes, M. Krishmamoorthy, N. Preston, W. Wallace. Partially
More informationFairness in Routing and Load Balancing
Fairness in Routing and Load Balancing Jon Kleinberg Yuval Rabani Éva Tardos Abstract We consider the issue of network routing subject to explicit fairness conditions. The optimization of fairness criteria
More informationRouting Problems. Viswanath Nagarajan R. Ravi. Abstract. We study the distance constrained vehicle routing problem (DVRP) [20, 21]: given a set
Approximation Algorithms for Distance Constrained Vehicle Routing Problems Viswanath Nagarajan R. Ravi Abstract We study the distance constrained vehicle routing problem (DVRP) [20, 21]: given a set of
More informationResearch Article Batch Scheduling on TwoMachine Flowshop with MachineDependent Setup Times
Hindawi Publishing Corporation Advances in Operations Research Volume 2009, Article ID 153910, 10 pages doi:10.1155/2009/153910 Research Article Batch Scheduling on TwoMachine Flowshop with MachineDependent
More informationLecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs
CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like
More informationSingle machine models: Maximum Lateness 12 Approximation ratio for EDD for problem 1 r j,d j < 0 L max. structure of a schedule Q...
Lecture 4 Scheduling 1 Single machine models: Maximum Lateness 12 Approximation ratio for EDD for problem 1 r j,d j < 0 L max structure of a schedule 0 Q 1100 11 00 11 000 111 0 0 1 1 00 11 00 11 00
More informationMinimum cost maximum flow, Minimum cost circulation, Cost/Capacity scaling
6.854 Advanced Algorithms Lecture 16: 10/11/2006 Lecturer: David Karger Scribe: Kermin Fleming and Chris Crutchfield, based on notes by Wendy Chu and Tudor Leu Minimum cost maximum flow, Minimum cost circulation,
More informationeach college c i C has a capacity q i  the maximum number of students it will admit
n colleges in a set C, m applicants in a set A, where m is much larger than n. each college c i C has a capacity q i  the maximum number of students it will admit each college c i has a strict order i
More informationDiscrete Mathematics & Mathematical Reasoning Chapter 10: Graphs
Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph
More informationOn Integer Additive SetIndexers of Graphs
On Integer Additive SetIndexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A setindexer of a graph G is an injective setvalued function f : V (G) 2 X such that
More informationGeneralized Induced Factor Problems
Egerváry Research Group on Combinatorial Optimization Technical reports TR200207. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationNPcompleteness and the real world. NP completeness. NPcompleteness and the real world (2) NPcompleteness and the real world
completeness and the real world completeness Course Discrete Biological Models (Modelli Biologici Discreti) Zsuzsanna Lipták Imagine you are working for a biotech company. One day your boss calls you
More informationLinear Programming. Widget Factory Example. Linear Programming: Standard Form. Widget Factory Example: Continued.
Linear Programming Widget Factory Example Learning Goals. Introduce Linear Programming Problems. Widget Example, Graphical Solution. Basic Theory:, Vertices, Existence of Solutions. Equivalent formulations.
More informationLecture 30: NPHard Problems [Fa 14]
[I]n his short and broken treatise he provides an eternal example not of laws, or even of method, for there is no method except to be very intelligent, but of intelligence itself swiftly operating the
More information