Exercise 3.10 Prove Theorem 3.8 R(ALG) >= k(s+1)/(k+s) Solution:

Slides:



Advertisements
Similar presentations
Solved problems on comparison theorem for series.
Advertisements

The Comparison Test Let 0 a k b k for all k.. Mika Seppälä The Comparison Test Comparison Theorem A Assume that 0 a k b k for all k. If the series converges,
Some important properties Lectures of Prof. Doron Peled, Bar Ilan University.
Routing and Congestion Problems in General Networks Presented by Jun Zou CAS 744.
Mathematical Induction
The Euler Phi-Function Is Multiplicative (3/3)
Exercise 1.1(Paid Exchanges Necessary) Consider the three-element list with the following initial configuration: (i.e. x1 is at the front). Prove that.
Online Algorithms Amrinder Arora Permalink:
Princeton University COS 423 Theory of Algorithms Spring 2001 Kevin Wayne Competitive Analysis.
Outline. Theorem For the two processor network, Bit C(Leader) = Bit C(MaxF) = 2[log 2 ((M + 2)/3.5)] and Bit C t (Leader) = Bit C t (MaxF) = 2[log 2 ((M.
1 Competitive analysis of the LRFU paging algorithm Edith Cohen -- AT&T Haim Kaplan -- Tel Aviv Univ. Uri Zwick -- Tel Aviv Univ.
PDAs => CFGs Sipser 2.2 (pages ). Last time…
PDAs => CFGs Sipser 2.2 (pages ). Last time…
Nonregular languages Sipser 1.4 (pages 77-82). CS 311 Mount Holyoke College 2 Nonregular languages? We now know: –Regular languages may be specified either.
Nonregular languages Sipser 1.4 (pages 77-82). CS 311 Fall Nonregular languages? We now know: –Regular languages may be specified either by regular.
CS 253: Algorithms Chapter 8 Sorting in Linear Time Credit: Dr. George Bebis.
1 On a question of Leiss regarding the Towers of Hanoi problem.
CSC 2300 Data Structures & Algorithms March 27, 2007 Chapter 7. Sorting.
Online Algorithms Motivation and Definitions Paging Problem Competitive Analysis Online Load Balancing.
The max flow problem
Theorems on divergent sequences. Theorem 1 If the sequence is increasing and not bounded from above then it diverges to +∞. Illustration =
1 Solutions to Recurrences Supplementary Notes Prepared by Raymond Wong Presented by Raymond Wong.
1 More Applications of the Pumping Lemma. 2 The Pumping Lemma: Given a infinite regular language there exists an integer for any string with length we.
Ecole Polytechnique, Nov 7, Online Job Scheduling Marek Chrobak University of California, Riverside.
Theorem 1-a Let be a sequence: L L a) converges to a real number L iff every subsequence of converge to L Illustrations 0 0.
1 Non-regular languages. 2 Regular languages Non-regular languages.
Paging for Multi-Core Shared Caches Alejandro López-Ortiz, Alejandro Salinger ITCS, January 8 th, 2012.
Minimizing Cache Usage in Paging Alejandro Salinger University of Waterloo Joint work with Alex López-Ortiz.
Theorems on continuous functions. Weierstrass’ theorem Let f(x) be a continuous function over a closed bounded interval [a,b] Then f(x) has at least one.
Index FAQ Limits of Sequences of Real Numbers Sequences of Real Numbers Limits through Rigorous Definitions The Squeeze Theorem Using the Squeeze Theorem.
Advanced Algorithms Piyush Kumar (Lecture 12: Online Algorithms) Welcome to COT5405.
10.2 Sequences Math 6B Calculus II. Limit of Sequences from Limits of Functions.
Online Paging Algorithm By: Puneet C. Jain Bhaskar C. Chawda Yashu Gupta Supervisor: Dr. Naveen Garg, Dr. Kavitha Telikepalli.
9/8/10 A. Smith; based on slides by E. Demaine, C. Leiserson, S. Raskhodnikova, K. Wayne Adam Smith Algorithm Design and Analysis L ECTURE 6 Greedy Algorithms.
1 ECE-517 Reinforcement Learning in Artificial Intelligence Lecture 7: Finite Horizon MDPs, Dynamic Programming Dr. Itamar Arel College of Engineering.
Minimizing Cache Usage in Paging Alejandro López-Ortiz, Alejandro Salinger University of Waterloo.
Real Zeros of Polynomial Functions. Quick Review.
1 Combinatorial Algorithms Local Search. A local search algorithm starts with an arbitrary feasible solution to the problem, and then check if some small,
CSE 5314 On-line Computation Homework 1 Wook Choi Feb/26/2004.
B. Ramamurthy.  12 stage pipeline  At peak speed, the processor can request both an instruction and a data word on every clock.  We cannot afford pipeline.
Raeda Naamnieh 1. Outline Subdivision of Bezier Curves Restricted proof for Bezier Subdivision Convergence of Refinement Strategies 2.
Section 5.5 The Real Zeros of a Polynomial Function.
2.4/2.52.4/2.5 Real Zeros of Polynomial Functions.
 2005 SDU Lecture13 Reducibility — A methodology for proving un- decidability.
A Optimal On-line Algorithm for k Servers on Trees Author : Marek Chrobak Lawrence L. Larmore 報告人:羅正偉.
Solving Recurrences with the Substitution Method.
1 ۞ An eigenvalue λ and an eigenfunction f(x) of an operator Ĥ in a space S satisfy Week 6 2. Properties of self-adjoint operators where f(x) is implied.
Chapter Three SEQUENCES
Problem 3.2 Paging Algorithms-Time & Space Requirements Problem:What are the space and time requirements of LIFO, LFU, and LED? LRU:(least-recently-used):
Theorem Suppose {a n } is non-decreasing and bounded above by a number A. Then {a n } converges to some finite limit a, with a  A. Suppose {b n } is non-increasing.
CSE 5314 – Spring 2004 Homework #1 - Solutions [Soumya Sanyal] Q 1.5: Prove that the algorithm “MTF every-other-access” (i.e. move the item to the front.
Chapter 10 Mutual Exclusion Presented by Yisong Jiang.
BIN SORTING Problem Pack the following items in bins of size Firstly, find the lower bound by summing the numbers to be packed.
 2004 SDU Uniquely Decodable Code 1.Related Notions 2.Determining UDC 3.Kraft Inequality.
10.3 Convergence of Series with Positive Terms Do Now Evaluate.
Advanced Algorithms Analysis and Design By Dr. Nazir Ahmad Zafar Dr Nazir A. Zafar Advanced Algorithms Analysis and Design.
Sequences of numbers appear in diverse situations. If you divide a cake in half, and then divide the remaining half in half, and continue dividing in.
This is a geometric sequence with explicit function:
CSE322 PUMPING LEMMA FOR REGULAR SETS AND ITS APPLICATIONS
Exercise Exercise Proof that
Asymptotic Notations Algorithms Lecture 9.
Greedy Algorithms / Caching Problem Yin Tat Lee
Venkatesan Guruswami Yuan Zhou (Carnegie Mellon University)
Chapter 4 Sequences.
Brian Babcock, Shivnath Babu, Mayur Datar, and Rajeev Motwani
Greedy Algorithms / Caching Problem Yin Tat Lee
Exercise (11).
Exercise (10).
Exercise 2.3 Use Theorem 2.1 to prove that R(BIT)
Algorithms CSCI 235, Spring 2019 Lecture 8 Recurrences III
Presentation transcript:

Exercise 3.10 Prove Theorem 3.8 R(ALG) >= k(s+1)/(k+s) Solution: ALG is any paging algorithm. k is the cache size. s >= 1 is the cost of bringing a page from slow to fast memory & cost of accessing pages in fast memory = 1 in the full access cost model. Theorem 3.6 states that R(ALG) >= k. LFD(σ) = cost of the paging algorithm LFD for a request sequence σ We will compare ALG(σ) and LFD(σ) to find the lower bound of R(ALG).

According to Lemma 3.2, LFD faults at most once every k requests. The cost of a fault is s+1 since the cost of fast memory access is 1. Hence, LFD(σ) <= |σ|(s+1)/k + (|σ| - |σ|/k) = |σ|(k+s)/k For ALG(σ), let’s assume the cruelest request sequence which faults every request. ALG(σ) = |σ|(s+1) Using the costs of LFD(σ) and ALG(σ) above, ALG(σ)/LFD(σ) >= |σ|k(s+1)/|σ|(k+s) = k(s+1)/(k+s)