master theorem
play

Master Theorem Carola Wenk Slides courtesy of Charles Leiserson - PowerPoint PPT Presentation

Sep 16, 2022 •238 likes •367 views

CMPS 6610/4610 Fall 2016 Master Theorem Carola Wenk Slides courtesy of Charles Leiserson with changes and additions by Carola Wenk 1 CMPS 6610/4610 Algorithms The divide-and-conquer design paradigm 1. Divide the problem (instance) into

  1. CMPS 6610/4610 – Fall 2016 Master Theorem Carola Wenk Slides courtesy of Charles Leiserson with changes and additions by Carola Wenk 1 CMPS 6610/4610 Algorithms

  2. The divide-and-conquer design paradigm 1. Divide the problem (instance) into subproblems of sizes that are fractions of the original problem size. 2. Conquer the subproblems by solving them recursively. 3. Combine subproblem solutions.  Runtime recurrences 2 CMPS 6610/4610 Algorithms

  3. The master method The master method applies to recurrences of the form T ( n ) = aT ( n / b ) + f ( n ) , where a  1, b > 1, and f is asymptotically positive. 3 CMPS 6610/4610 Algorithms

  4. Example: merge sort 1. Divide: Trivial. 2. Conquer: Recursively sort a =2 subarrays of size n /2= n / b 3. Combine: Linear-time merge, runtime f ( n )  O ( n ) T ( n ) = 2 T ( n /2) + O ( n ) subproblem size work dividing # subproblems and combining T ( n ) = aT ( n / b ) + f(n) 4 CMPS 6610/4610 Algorithms

  5. Master Theorem T ( n ) = aT ( n / b ) + f ( n ) CASE 1 :  T ( n ) =  ( n log ba ) f ( n ) = O ( n log ba –  ) for some  >0 CASE 2 : f ( n ) =  ( n log ba log k n )  T ( n ) =  ( n log ba log k +1 n ) for some k ≥ 0 CASE 3 : (i) f ( n ) =  ( n log ba +  )  T ( n ) =  ( f ( n )) for some  >0 and (ii) a f ( n/b )  c f ( n ) for some c < 1 5 CMPS 6610/4610 Algorithms

  6. How to apply the theorem Compare f ( n ) with n log ba : 1. f ( n ) = O ( n log ba –  ) for some constant  > 0. • f ( n ) grows polynomially slower than n log ba (by an n  factor). Solution: T ( n ) =  ( n log ba ) . 2. f ( n ) =  ( n log ba log k n ) for some constant k  0. • f ( n ) and n log ba grow at similar rates. Solution: T ( n ) =  ( n log ba log k +1 n ) . 6 CMPS 6610/4610 Algorithms

  7. How to apply the theorem Compare f ( n ) with n log ba : 3. f ( n ) =  ( n log ba +  ) for some constant  > 0. • f ( n ) grows polynomially faster than n log ba (by an n  factor), and f ( n ) satisfies the regularity condition that af ( n/b )  c f ( n ) for some constant c < 1. Solution: T ( n ) =  ( f ( n )) . 7 CMPS 6610/4610 Algorithms

  8. Example: merge sort 1. Divide: Trivial. 2. Conquer: Recursively sort 2 subarrays. 3. Combine: Linear-time merge. T ( n ) = 2 T ( n /2) + O ( n ) work dividing # subproblems subproblem size and combining n log ba = n log 2 2 = n 1 = n  C ASE 2 ( k = 0)  T ( n ) =  ( n log n ) . 8 CMPS 6610/4610 Algorithms

  9. Example: binary search T ( n ) = 1 T ( n /2) +  (1) work dividing # subproblems and combining subproblem size n log ba = n log 2 1 = n 0 = 1  C ASE 2 ( k = 0)  T ( n ) =  (log n ) . 9 CMPS 6610/4610 Algorithms

  10. Master theorem: Examples Ex. T ( n ) = 4 T ( n /2) + a = 4, b = 2  n log ba = n 2 ; f ( n ) = . C ASE 1 : f ( n ) = O ( n 2 –  ) for  = 1.5.  T ( n ) =  ( n 2 ). Ex. T ( n ) = 4 T ( n /2) + n 2 a = 4, b = 2  n log ba = n 2 ; f ( n ) = n 2 . C ASE 2 : f ( n ) =  ( n 2 log 0 n ), that is, k = 0.  T ( n ) =  ( n 2 log n ). 10 CMPS 6610/4610 Algorithms

  11. Master theorem: Examples Ex. T ( n ) = 4 T ( n /2) + n 3 a = 4, b = 2  n log ba = n 2 ; f ( n ) = n 3 . C ASE 3 : f ( n ) =  ( n 2 +  ) for  = 1 and 4( n /2) 3  cn 3 (reg. cond.) for c = 1/2.  T ( n ) =  ( n 3 ). Ex. T ( n ) = 4 T ( n /2) + n 2 /log n a = 4, b = 2  n log ba = n 2 ; f ( n ) = n 2 /log n. Master method does not apply. In particular, for every constant  > 0, we have log n  o ( n  ). 11 CMPS 6610/4610 Algorithms

  12. Conclusion • Divide and conquer is just one of several powerful techniques for algorithm design. • Divide-and-conquer algorithms can be analyzed using recurrences and the master method . • Can lead to more efficient algorithms 12 CMPS 6610/4610 Algorithms

Recommend

CS 401 Master Theorem / Closest Points Xiaorui Sun 1 Master Theorem Master Theorem % &amp; +

CS 401 Master Theorem / Closest Points Xiaorui Sun 1 Master Theorem Master Theorem % &amp; +

CS 401 Master Theorem / Closest Points Xiaorui Sun 1 Master Theorem Master Theorem % &amp; + (&quot; ) for all &quot; &gt; +. Then, Suppose ! &quot; = $ ! c: absolute constant If $ &lt; + ) then ! &quot; = &quot; ) If $ = + ) then

682 views • 26 slides
Master Theorem Sections 4.3-4.5 Master Theorem Used to solve a large class of recurrence

Master Theorem Sections 4.3-4.5 Master Theorem Used to solve a large class of recurrence

Master Theorem Sections 4.3-4.5 Master Theorem Used to solve a large class of recurrence relations The general form of the recurrence is: = + , where 1 and &gt; 1 are constants; and

558 views • 12 slides
( 1 ) if n &lt; n 0 , T ( n ) = a T ( n/b ) + ( n k ) if n n 0 . Let c = log b ( a

( 1 ) if n &lt; n 0 , T ( n ) = a T ( n/b ) + ( n k ) if n n 0 . Let c = log b ( a

The Master Theorem for solving recurrences Theorem 3.1 Let n 0 N , k N 0 and a, b R with a &gt; 0 and b &gt; 1 , and let T : N R satisfy the following recurrence: ( 1 ) if n &lt; n 0 , T ( n ) = a T ( n/b ) + ( n k )

499 views • 16 slides
Sorting &amp; Master Theorem CS16: Introduction to Data Structures &amp; Algorithms Spring 2020

Sorting &amp; Master Theorem CS16: Introduction to Data Structures &amp; Algorithms Spring 2020

Sorting &amp; Master Theorem CS16: Introduction to Data Structures &amp; Algorithms Spring 2020 Outline Motivation Quadratic Sorting Selection sort Insertion sort Linearithmic Sorting Merge Sort Master Theorem

1.05k views • 84 slides
CS141: DISCUSSION WEEK 3 MASTER THEOREM AND AVERAGE CASE ANALYSIS TABLE OF CONTENTS 1. SOLUTION

CS141: DISCUSSION WEEK 3 MASTER THEOREM AND AVERAGE CASE ANALYSIS TABLE OF CONTENTS 1. SOLUTION

10/19/2020 CS141: DISCUSSION WEEK 3 MASTER THEOREM AND AVERAGE CASE ANALYSIS TABLE OF CONTENTS 1. SOLUTION OF HOMEWORK 1 QUESTION 3 2. MASTER THEOREM 1. DEFINITION 2. EXAMPLES 3. EXCEPTIONS 4. QUESTION 3 PART 3 REVISITED 3. AVERAGE CASE

382 views • 19 slides
zjgggpgggg Solving Recurrences g.gg Jan 13, 2020 The Master Theorem Recipe for

zjgggpgggg Solving Recurrences g.gg Jan 13, 2020 The Master Theorem Recipe for

CS3000: Algorithms &amp; Data Jonathan Ullman Lecture 3: Divide and Conquer: Karatsuba ekeMMtBsneleagioenocBmarigologgthAEthfthggpatz zjgggpgggg Solving Recurrences g.gg Jan 13, 2020 The Master Theorem Recipe for

539 views • 23 slides
Divide-and-conquer, part 2: Master Theorem Russell Impagliazzo and Miles Jones Thanks to Janine

Divide-and-conquer, part 2: Master Theorem Russell Impagliazzo and Miles Jones Thanks to Janine

Divide-and-conquer, part 2: Master Theorem Russell Impagliazzo and Miles Jones Thanks to Janine Tiefenbruck http://cseweb.ucsd.edu/classes/sp16/cse21-bd/ April 15, 2016 Summation Lemma Consider the summation It behaves

494 views • 30 slides
Computational Logic Automated Theorem Proving Damiano Zanardini UPM European Master in

Computational Logic Automated Theorem Proving Damiano Zanardini UPM European Master in

Computational Logic Automated Theorem Proving Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Technical University of Madrid damiano@fi.upm.es Academic Year 2008/2009 D. Zanardini (

718 views • 27 slides
Computational Logic Herbrands Theorem Damiano Zanardini UPM European Master in Computational

Computational Logic Herbrands Theorem Damiano Zanardini UPM European Master in Computational

Computational Logic Herbrands Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science Technical University of Madrid damiano@fi.upm.es Academic Year 2008/2009 D. Zanardini ( damiano@fi.upm.es

464 views • 15 slides
CSE101: Algorithm Design and Analysis Russell Impagliazzo Sanjoy Dasgupta Ragesh Jaiswal

CSE101: Algorithm Design and Analysis Russell Impagliazzo Sanjoy Dasgupta Ragesh Jaiswal

CSE101: Algorithm Design and Analysis Russell Impagliazzo Sanjoy Dasgupta Ragesh Jaiswal (Thanks for slides: Miles Jones) Week-06 Lecture 22: Divide and Conquer (Master Theorem) Master Theorem How do you solve a recurrence of the form

514 views • 33 slides
31. Stokes Theorem Stokes theorem is to Greens theorem, for the work done, as the

31. Stokes Theorem Stokes theorem is to Greens theorem, for the work done, as the

31. Stokes Theorem Stokes theorem is to Greens theorem, for the work done, as the divergence theorem is to Greens theorem, for the flux. Both are 3D generalisations of 2D theorems. Theorem 31.1 (Stokes Theorem) . Let C be any closed

408 views • 3 slides
29. The divergence theorem Theorem 29.1 (Divergence Theorem; Gauss, Ostrogradsky) . Let S be a

29. The divergence theorem Theorem 29.1 (Divergence Theorem; Gauss, Ostrogradsky) . Let S be a

29. The divergence theorem Theorem 29.1 (Divergence Theorem; Gauss, Ostrogradsky) . Let S be a closed surface bounding a solid D , oriented outwards. Let F be a vector field with continuous partial derivatives. Then F d

471 views • 3 slides
and the Master Theorem Rosen Ch. 8.1 - 8.3 CS200 - Recurrence Relations 1 Recurrence Relations:

and the Master Theorem Rosen Ch. 8.1 - 8.3 CS200 - Recurrence Relations 1 Recurrence Relations:

CS200: Recurrence Relations and the Master Theorem Rosen Ch. 8.1 - 8.3 CS200 - Recurrence Relations 1 Recurrence Relations: An Overview n What is a recurrence? q A recursively defined sequence Example q Arithmetic progression: a , a + d ,

371 views • 21 slides
Kleenes Theorem 4-0 Kleenes Theorem Theorem For every language L (over

Kleenes Theorem 4-0 Kleenes Theorem Theorem For every language L (over

Griffith University 3130CIT Theory of Computation (Based on slides by Harald Sndergaard of The University of Melbourne) Kleenes Theorem 4-0 Kleenes Theorem Theorem For every language L (over a finite

422 views • 17 slides
PCP Theorem [PCP Theorem is] the most important result in complexity theory since Cooks

PCP Theorem [PCP Theorem is] the most important result in complexity theory since Cooks

PCP Theorem [PCP Theorem is] the most important result in complexity theory since Cooks Theorem. Ingo Wegener, 2005 Computational Complexity, by Fu Yuxi PCP Theorem 1 / 119 S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy. Proof

1.53k views • 120 slides
On Theorem Proving for Program Checking Historical perspective and recent developments Maria

On Theorem Proving for Program Checking Historical perspective and recent developments Maria

Outline Introduction Where is theorem proving in program checking Inside theorem proving Big and little engines together: a new theorem proving style Decision procedures with speculative inferences Current and future challenges On Theorem

944 views • 69 slides
The Replacement Theorem Theorem (Theorem 1.10) Let V be a vector space and suppose G and L are

The Replacement Theorem Theorem (Theorem 1.10) Let V be a vector space and suppose G and L are

The Replacement Theorem Theorem (Theorem 1.10) Let V be a vector space and suppose G and L are finite subsets of V such that V = Span ( G ) , |G| = n , L is linearly independent, and |L| = m . Then m n and there is a set H G , such that

468 views • 36 slides
1 What is a Theorem Prover? What is a Theorem? Theorem: A formalizable statement which is

1 What is a Theorem Prover? What is a Theorem? Theorem: A formalizable statement which is

Prerequisites Course 2D1453, 2006-07 Undergraduate logic and discrete maths CS literacy Advanced Formal Methods Some functional programming experience useful The theorem prover Isabelle is programming in SML Some SML

644 views • 4 slides
22. Greens Theorem Theorem 22.1 (Greens Theorem) . If C is a positively oriented closed curve

22. Greens Theorem Theorem 22.1 (Greens Theorem) . If C is a positively oriented closed curve

22. Greens Theorem Theorem 22.1 (Greens Theorem) . If C is a positively oriented closed curve enclosing a region R then curl F d r = F d A. C R The circle in the centre of the integral sign is simply to emphasize

355 views • 4 slides
Generalized Intermediate Value Theorem Intermediate Value Theorem Theorem Intermediate Value

Generalized Intermediate Value Theorem Intermediate Value Theorem Theorem Intermediate Value

Generalized Intermediate Value Theorem Intermediate Value Theorem Theorem Intermediate Value Theorem Suppose f is continuous on [ a , b ] and let N be any number between f ( a ) and f ( b ) , where f ( a ) = f ( b ) . Then there exists a

59 views • 4 slides
From Shang Gao Magic 15 If a 2 + b 2 = c 2 , then ( a , b , c ) is called to be a Background

From Shang Gao Magic 15 If a 2 + b 2 = c 2 , then ( a , b , c ) is called to be a Background

Magic 15 Magic 15 Background Two Square Theorem Galois Finite Fields Magic 15: A STORY OVER 380 YEARS Proofs of 2-Square Theorem Three Square Theorem Four Square Theorem Universal Polynomials Magic 15 Proof of Fifteen Theorem 15

1.31k views • 97 slides
Ch04. Maximum Theorem, Implicit Function Theorem and Envelope Theorem Ping Yu Faculty of

Ch04. Maximum Theorem, Implicit Function Theorem and Envelope Theorem Ping Yu Faculty of

Ch04. Maximum Theorem, Implicit Function Theorem and Envelope Theorem Ping Yu Faculty of Business and Economics The University of Hong Kong Ping Yu (HKU) MIFE 1 / 27 The Maximum Theorem 1 The Implicit Function Theorem 2 The Envelope

599 views • 28 slides
Master Theorem Carola Wenk Slides courtesy of Charles Leiserson with small Slides courtesy of

Master Theorem Carola Wenk Slides courtesy of Charles Leiserson with small Slides courtesy of

CS 3343 Fall 2010 Master Theorem Carola Wenk Slides courtesy of Charles Leiserson with small Slides courtesy of Charles Leiserson with small changes by Carola Wenk 9/16/2010 CS 3343 Analysis of Algorithms 1 The divide-and-conquer

562 views • 11 slides
Visual theorem proving with the Incredible Proof Machine The idea Theorem Proving without

Visual theorem proving with the Incredible Proof Machine The idea Theorem Proving without

Interactive Theorem Proving, Nancy August 22, 2016 Joachim Breitner Karlsruhe Institute of Technology University of Pennsylvania, Philadelphia Visual theorem proving with the Incredible Proof Machine The idea Theorem Proving without Syntax

579 views • 43 slides

More recommend