HW10 - Sheet1 Page 1 CS2603 Applied Logic Homework 10 Due...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Sheet1 Page 1 CS2603 Applied Logic Homework 10 Due April 15, 3:00pm (bring paper to class and turn it in there) Late Homework will be not accepted Problem 1: Prove Theorem(mT) from the lectures on the termination of merge and the relationship between the length of the s Problem 2: Prove Theorem(dS) about the termination of the deal function and the relationship between the lengths of the seq Problem 3: Prove Theorem(dR) about guaranteed reduction in the lengths of the sequences in the pair that the deal function d Problem 4: Prove that if qsort satisfies the equations specified in the lectures, it terminates and delivers a sequence of the sam Problem 5: Prove that if qsort satisfies the equations specified in the lectures and if x is an element of the sequence xs, then x Problem 6: Chart the performance of msort, qsort, and isort by running them on sequences of increasing length, measuring th You can use a crude timing method, such as the traditional "thousand one ... thousand two ..." or a stopwatch. The module WYou can use a crude timing method, such as the traditional "thousand one ....
View Full Document

This homework help was uploaded on 04/08/2008 for the course CS 2603 taught by Professor Rexpage during the Spring '08 term at The University of Oklahoma.

Ask a homework question - tutors are online