Pancakes With A Problem! Great Theoretical Ideas In Computer Science Steven Rudich CS 15-251 Spring 2004 Lecture 1 Jan 13, 2004 Carnegie Mellon University.

Slides:



Advertisements
Similar presentations
MATH 224 – Discrete Mathematics
Advertisements

Midwestern State University Department of Computer Science Dr. Ranette Halverson CMPS 2433 – CHAPTER 4 GRAPHS 1.
Great Theoretical Ideas in Computer Science
Lower bound: Decision tree and adversary argument
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Recursion Lecture 18: Nov 18.
Lecture 12: Lower bounds By "lower bounds" here we mean a lower bound on the complexity of a problem, not an algorithm. Basically we need to prove that.
CSC 2300 Data Structures & Algorithms March 16, 2007 Chapter 7. Sorting.
Counting III: Pascal’s Triangle, Polynomials, and Vector Programs Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2003 Lecture.
Cooking for Computer Scientists. I understand that making pancakes can be a dangerous activity and that, by doing so, I am taking a risk that I.
CPSC 322, Lecture 9Slide 1 Search: Advanced Topics Computer Science cpsc322, Lecture 9 (Textbook Chpt 3.6) January, 23, 2009.
Bioinformatics Chromosome rearrangements Chromosome and genome comparison versus gene comparison Permutations and breakpoint graphs Transforming Men into.
Finite Automata Great Theoretical Ideas In Computer Science Anupam Gupta Danny Sleator CS Fall 2010 Lecture 20Oct 28, 2010Carnegie Mellon University.
Counting II: Recurring Problems And Correspondences Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 10Feb 12, 2004Carnegie.
Analysis of Algorithms CS 477/677 Instructor: Monica Nicolescu.
Counting I: One To One Correspondence and Choice Trees Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 9Feb 10,
Introduction to Bioinformatics Algorithms Greedy Algorithms And Genome Rearrangements.
Discrete Structures & Algorithms EECE 320 : UBC : Spring 2009 Matei Ripeanu 1.
Genome Rearrangements CSCI : Computational Genomics Debra Goldberg
Pancakes With A Problem Steven Rudich The chef at our place is sloppy, and when he prepares a stack of pancakes they come out all different sizes.
Pancakes With A Problem! Great Theoretical Ideas In Computer Science Vince Conitzer COMPSCI 102 Fall 2007 Lecture 1 August 27, 2007 Duke University.
Cooking for Computer Scientists. I understand that making pancakes can be a dangerous activity and that, by doing so, I am taking a risk that I.
CompSci 102 Discrete Math for Computer Science March 22, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
MATH 224 – Discrete Mathematics
CompSci 102 Spring 2012 Prof. Rodger January 11, 2012.
CS 103 Discrete Structures Lecture 01 Introduction to the Course
Pancakes With A Problem! Great Theoretical Ideas In Computer Science Anupam Gupta CS Fall 2O05 Lecture 1 Aug 29 th, 2OO5 Aug 29 th, 2OO5 Carnegie.
Pancakes With A Problem! Great Theoretical Ideas In Computer Science Anupam Gupta CS Fall 2006 Lecture 1 Aug 29 th, 2OO6 Aug 29 th, 2OO6 Carnegie.
Basic Counting. This Lecture We will study some basic rules for counting. Sum rule, product rule, generalized product rule Permutations, combinations.
Great Theoretical Ideas in Computer Science.
CS216: Program and Data Representation University of Virginia Computer Science Spring 2006 David Evans Lecture 2: Orders of Growth
Order Statistics The ith order statistic in a set of n elements is the ith smallest element The minimum is thus the 1st order statistic The maximum is.
Chapter 3 Sec 3.3 With Question/Answer Animations 1.
Genome Rearrangements Unoriented Blocks. Quick Review Looking at evolutionary change through reversals Find the shortest possible series of reversals.
Greedy Algorithms And Genome Rearrangements An Introduction to Bioinformatics Algorithms (Jones and Pevzner)
1 Chapter 7: Sorting (Insertion Sort, Shellsort) CE 221 Data Structures and Algorithms Izmir University of Economics Text: Read Weiss, § 7.1 – 7.4.
Genome Rearrangements [1] Ch Types of Rearrangements Reversal Translocation
Greedy Algorithms And Genome Rearrangements
Integrals  In Chapter 2, we used the tangent and velocity problems to introduce the derivative—the central idea in differential calculus.  In much the.
Andrew’s Leap 2011 Pancakes With A Problem Steven Rudich.
Discrete Mathematics for Computer Science. + + ( ) + ( ) = ? Counting II: Recurring Problems and Correspondences Chapter 9 slides 1-54.
Great Theoretical Ideas in Computer Science.
Graph Colouring L09: Oct 10. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including the famous.
Analysis of Algorithms CS 477/677 Instructor: Monica Nicolescu Lecture 7.
CompSci 102 Discrete Math for Computer Science March 20, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Pancakes With A Problem! Great Theoretical Ideas In Computer Science Steven Rudich CS Spring 2005 Lecture 3 Jan 18, 2005 Carnegie Mellon University.
Pancake Problem 許凱平 & 張傑生. Resources Google “ Bounds for Sorting by Prefix Reversal ” (63) “ Pancake Problem ” (218) Slides [S1] CMU ’ s “ Great Theoretical.
Counting II: Recurring Problems And Correspondences Great Theoretical Ideas In Computer Science John LaffertyCS Fall 2005 Lecture 7Sept 20, 2005Carnegie.
Counting I: One To One Correspondence and Choice Trees Great Theoretical Ideas In Computer Science Steven RudichCS Spring 2004 Lecture 9Feb 10,
Introduction to Bioinformatics Algorithms Chapter 5 Greedy Algorithms and Genome Rearrangements By: Hasnaa Imad.
Chapter 9 sorting. Insertion Sort I The list is assumed to be broken into a sorted portion and an unsorted portion The list is assumed to be broken into.
Counting II: Recurring Problems And Correspondences Great Theoretical Ideas In Computer Science V. AdamchikCS Spring 2006 Lecture 6Feb 2, 2005Carnegie.
Great Theoretical Ideas in Computer Science for Some.
Counting I: One To One Correspondence and Choice Trees Great Theoretical Ideas In Computer Science John LaffertyCS Fall 2005 Lecture 6Sept 15,
Copyright © 2014 Curt Hill Algorithms From the Mathematical Perspective.
1 Chapter 7: Sorting (Insertion Sort, Shellsort) CE 221 Data Structures and Algorithms Izmir University of Economics Text: Read Weiss, § 7.1 – 7.4.
Ch03-Algorithms 1. Algorithms What is an algorithm? An algorithm is a finite set of precise instructions for performing a computation or for solving a.
The material in this lecture should be review. If you have not seen it before, you should be able to learn it quickly – and on your own. So we are going.
Pancakes With A Problem!
Pancakes With A Problem!
Counting I: One-To-One Correspondence and Choice Trees
Basic Counting.
Advanced Analysis of Algorithms
Chapter 11 Limitations of Algorithm Power
Cooking for Computer Scientists.
Counting II: Recurring Problems And Correspondences
Counting II: Recurring Problems And Correspondences
Counting I: Choice Trees and Correspondences
Bounds for Sorting by Prefix Reversal -- Pancake Problem
Presentation transcript:

Pancakes With A Problem! Great Theoretical Ideas In Computer Science Steven Rudich CS Spring 2004 Lecture 1 Jan 13, 2004 Carnegie Mellon University

Magic Trick At 3:00pm Sharp! Be punctual. Sit close-up: some of the tricks are hard to see from the back.

Course Staff Profs:Steven Rudich Anupam Gupta TAs: Yinmeng ZhangBella Voldman Brendan JubaAndrew Gilpin Susmit SarkarAdam Wierman

Please feel free to ask questions! ((( )))

Course Document You must read this carefully. 1.Grading formula for the course. 1.40% homework 2.30% quizes 3.30% final 2.Seven points a day late penalty. 3.Collaboration/Cheating Policy 1.You may NOT share written work. 2.We reuse homework problems.

My Low Vision and You. I have a genetic retinal condition called Stargardt’s disease. My central vision is going, one pixel at a time, to zero. I have working peripheral vision. I can’t recognize faces – so please introduce yourself to me every time! I detect motion really well so please move your hand when you raise it in class.

Pancakes With A Problem! Great Theoretical Ideas In Computer Science Steven Rudich CS Spring 2004 Lecture 1 Jan 13, 2004 Carnegie Mellon University

The chef at our place is sloppy, and when he prepares a stack of pancakes they come out all different sizes. Therefore, when I deliver them to a customer, on the way to the table I rearrange them (so that the smallest winds up on top, and so on, down to the largest at the bottom). I do this by grabbing several from the top and flipping them over, repeating this (varying the number I flip) as many times as necessary.

Developing A Notation: Turning pancakes into numbers

How do we sort this stack? How many flips do we need?

4 Flips Are Sufficient

Algebraic Representation X = The smallest number of flips required to sort: ?  X  ? Upper Bound Lower Bound

Algebraic Representation X = The smallest number of flips required to sort: ?  X  4 Upper Bound Lower Bound

4 Flips Are Necessary Flip 1 has to put 5 on bottom Flip 2 must bring 4 to top.

?  X  4 Lower Bound

Upper Bound Lower Bound 4  X  4 X = 4

5 th Pancake Number P 5 = The number of flips required to sort the worst case stack of 5 pancakes. ?  P 5  ? Upper Bound Lower Bound

5 th Pancake Number P 5 = The number of flips required to sort the worst case stack of 5 pancakes. 4  P 5  ? Upper Bound Lower Bound

The 5 th Pancake Number: The MAX of the X’s X1X1 X2X2 X3X3 X 119 X

P 5 = MAX over s 2 stacks of 5 of MIN # of flips to sort s X1X1 X2X2 X3X3 X 119 X

P n MAX over s  stacks of n pancakes of MIN # of flips to sort s Or, The number of flips required to sort a worst-case stack of n pancakes.

Be Cool. Learn Math-speak. P n = The number of flips required to sort a worst-case stack of n pancakes.

What is P n for small n? Can you do n = 0, 1, 2, 3 ?

Initial Values Of P n n0123 PnPn 0013

P 3 = requires 3 Flips, hence P 3 ¸ 3. ANY stack of 3 can be done in 3 flips. Get the big one to the bottom ( · 2 flips). Use · 1 more flip to handle the top two. Hence, P 3 · 3.

n th Pancake Number P n = Number of flips required to sort a worst case stack of n pancakes. ?  P n  ? Upper Bound Lower Bound

?  P n  ? Take a few minutes to try and prove bounds on P n, for n>3.

Bring To Top Method Bring biggest to top. Place it on bottom. Bring next largest to top. Place second from bottom. And so on…

Upper Bound On P n : Bring To Top Method For n Pancakes If n=1, no work - we are done. Else: flip pancake n to top and then flip it to position n. Now use: Bring To Top Method For n-1 Pancakes Total Cost: at most 2(n-1) = 2n –2 flips.

Better Upper Bound On P n : Bring To Top Method For n Pancakes If n=2, use one flip and we are done. Else: flip pancake n to top and then flip it to position n. Now use: Bring To Top Method For n-1 Pancakes Total Cost: at most 2(n-2) + 1 = 2n –3 flips.

Bring to top not always optimal for a particular stack 5 flips, but can be done in 4 flips

?  P n  2n - 3 What bounds can you prove on P n ?

9 16 Breaking Apart Argument Suppose a stack S contains a pair of adjacent pancakes that will not be adjacent in the sorted stack. Any sequence of flips that sorts stack S must involve one flip that inserts the spatula between that pair and breaks them apart.

9 16 Breaking Apart Argument Suppose a stack S contains a pair of adjacent pancakes that will not be adjacent in the sorted stack. Any sequence of flips that sorts stack S must involve one flip that inserts the spatula between that pair and breaks them apart. Furthermore, this same principle is true of the “pair” formed by the bottom pancake of S and the plate.

n  P n Suppose n is even. Such a stack S contains n pairs that must be broken apart during any sequence that sorts stack S n n-1 S

n  P n 2121 S Detail: This construction only works when n>2 Suppose n is even. Such a stack S contains n pairs that must be broken apart during any sequence that sorts stack S.

n  P n n n-1 S Suppose n is odd. Such a stack S contains n pairs that must be broken apart during any sequence that sorts stack S.

n  P n S Detail: This construction only works when n>3 Suppose n is odd. Such a stack S contains n pairs that must be broken apart during any sequence that sorts stack S.

n ≤ P n ≤ 2n – 3 (for n ≥ 3) Bring To Top is within a factor of two of optimal!

So starting from ANY stack we can get to the sorted stack using no more than P n flips. n ≤ P n ≤ 2n – 3 (for n ≥ 3)

From ANY stack to sorted stack in · P n. Reverse the sequences we use to sort. From sorted stack to ANY stack in · P n ? ((( )))

From ANY stack to sorted stack in · P n. From sorted stack to ANY stack in · P n. Hence, From ANY stack to ANY stack in · 2P n.

From ANY stack to ANY stack in · 2P n. Can you find a faster way than 2P n flips to go from ANY to ANY? ((( )))

From ANY Stack S to ANY stack T in · P n Rename the pancakes in S to be 1,2,3,..,n. Rewrite T using the new naming scheme that you used for S. T will be some list:  (1),  (2),..,  (n). The sequence of flips that brings the sorted stack to  (1),  (2),..,  (n) will bring S to T. S: 4,3,5,1,2 T: 5,2,4,3,1 1,2,3,4,53,5,1,2,4

The Known Pancake Numbers n PnPn

P 14 Is Unknown 14! Orderings of 14 pancakes. 14! = 87,178,291,200

Is This Really Computer Science?

Posed in Amer. Math. Monthly 82 (1) (1975), “Harry Dweighter” a.k.a. Jacob Goodman

(17/16)n  P n  (5n+5)/3 Bill Gates & Christos Papadimitriou: Bounds For Sorting By Prefix Reversal. Discrete Mathematics, vol 27, pp 47-57, 1979.

(15/14)n  P n  (5n+5)/3 H. Heydari & Ivan H. Sudborough. On the Diameter of the Pancake Network. Journal of Algorithms, vol 25, pp 67-94, 1997.

Permutation Any particular ordering of all n elements of an n element set S is called a permutation on the set S. Example: S = {1, 2, 3, 4, 5} Example permutation: possible permutations on S

Permutation Any particular ordering of all n elements of an n element set S is called a permutation on the set S. Each different stack of n pancakes is one of the permutations on [1..n].

Representing A Permutation We have many choices of how to specify a permutation on S. Here are two methods: 1)List a sequence of all elements of [1..n], each one written exactly once. Ex: )Give a function  on S s.t.  (1)  (2)  (3)..  (n) is a sequence listing [1..n], each one exactly once. Ex:  (1)=6  (2)=4  (3) = 5  (4) = 2  (4) = 1  (6) =3 Ex:  (1)=6  (2)=4  (3) = 5  (4) = 2  (4) = 1  (6) =3

A Permutation is a NOUN An ordering S of a stack of pancakes is a permutation.

We can permute S to obtain a new stack S’. Permute also means to rearrange so as to obtain a permutation of the original. A Permutation is a NOUN A Permutation can also be a VERB

Permute A Permutation. I start with a permutation S of pancakes. I continue to use a flip operation to permute my current permutation, so as to obtain the sorted permutation.

Ultra-Useful Fact There are n! = 1*2*3*4*…*n permutations on n elements. Proof: in the first counting lecture.

Pancake Network This network has n! nodes Assign each node the name of one of the possible n! stacks of pancakes. Put a wire between two nodes if they are one flip apart.

Network For n=

Network For n=4

Pancake Network: Routing Delay What is the maximum distance between two nodes in the pancake network? PnPn

Pancake Network: Reliability If up to n-2 nodes get hit by lightning the network remains connected, even though each node is connected to only n-1 other nodes. The Pancake Network is optimally reliable for its number of edges and nodes.

Mutation Distance

One “Simple” Problem A host of problems and applications at the frontiers of science

Study Bee You must read the course document carefully. You must hand-in the signed cheating policy page.

Study Bee Definitions of: nth pancake number lower bound upper bound permutation Proof of: ANY to ANY in · P n

High Level Point This lecture is a microcosm of mathematical modeling and optimization.

References Bill Gates & Christos Papadimitriou: Bounds For Sorting By Prefix Reversal. Discrete Mathematics, vol 27, pp , H. Heydari & H. I. Sudborough: On the Diameter of the Pancake Network. Journal of Algorithms, vol 25, pp , 1997