T-Theory and Analysis of Online Algorithms

Total Page:16

File Type:pdf, Size:1020Kb

T-Theory and Analysis of Online Algorithms UNLV Retrospective Theses & Dissertations 1-1-2007 T-theory and analysis of online algorithms James Oravec University of Nevada, Las Vegas Follow this and additional works at: https://digitalscholarship.unlv.edu/rtds Repository Citation Oravec, James, "T-theory and analysis of online algorithms" (2007). UNLV Retrospective Theses & Dissertations. 2182. http://dx.doi.org/10.25669/no3p-11tt This Thesis is protected by copyright and/or related rights. It has been brought to you by Digital Scholarship@UNLV with permission from the rights-holder(s). You are free to use this Thesis in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/ or on the work itself. This Thesis has been accepted for inclusion in UNLV Retrospective Theses & Dissertations by an authorized administrator of Digital Scholarship@UNLV. For more information, please contact [email protected]. T-THEORY AND ANALYSIS OF ONLINE ALGORITHMS by James Oravec Bachelor of Arts in Computer Science University of Nevada, Las Vegas 2W05 Master of Science in Computer Science University of Nevada, Las Vegas 2007 A thesis submitted in partial fulfillment of the requirements for the Master of Science in Computer Science Department of Computer Science Howard R. Hughes College of Engineering Graduate College University of Nevada, Las Vegas August 2007 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. UMI Number: 1448414 INFORMATION TO USERS The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleed-through, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. UMI UMI Microform 1448414 Copyright 2007 by ProQuest Information and Learning Company. All rights reserved. This microform edition is protected against unauthorized copying under Title 17, United States Code. ProQuest Information and Learning Company 300 North Zeeb Road P.O. Box 1346 Ann Arbor, Ml 48106-1346 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. Thesis Approval The Graduate College University of Nevada, Las Vegas JULY 2nd ■ 20 07 The Thesis prepared by JAMES A. ORAVEC Entitled T-THEORY AND ANALYSIS OF ONLINE ALGORITHMS is approved in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE IN COMPUTER SCIENCE Examination Committee Chair Dean of the Graduate College Z--i Examination CommitteeCoiamination Member Exami/ation Catnn Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. ABSTRACT T-Theory and Analysis of Online Algorithms by James Oravec Lawrence L. Larmore, Examination Committee Chair Professor of Computer Science University of Nevada, Las Vegas Several advancements in Online Algorithms can be credited to T-theory, a field of discrete mathematics. T-theory has aided in the development of several online algorithms for the t-server problem, although the standard notation of T-theory was not used at the time of their creation. A summary of the ^-server problem, and some important concepts of T-theory, are given. A number of known k-server results are restated using the established terminology of T-theory. Included is a 3-competitiveness proof, using T-theory, for the HARMONIC algorithm for two servers, which was presented in a paper by Larmore and Oravec [71]. Previously, the Knowledge State Method was documented in Kurlinski’s thesis [70]. Additional research and analysis was done by Larmore and Oravec. Summaries of that work, as well as prior work by Larmore and Bein are given. Research supported by NSF grant CCR-0312093. Ill Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. TABLE OF CONTENTS ABSTRACT .................................................................................................................... iii ACKNOWLEDGMENTS .............................................................................................. v CHAPTER 1 INTRODUCTION ............................................................................ 1 Thesis Introduction ................................................................................................. 1 CHAPTER 2 ONLINE ALGORITHMS.................................................................. 10 Introduction .............................................................................................................. 10 Deterministic versus Randomized ....................................................................... 10 The Work Function Algorithm ............................................................................. 11 CHAPTER 3 PARTICULAR PROPERTIES OF T-THEORY ........................... 12 Introduction ................................................................ 12 Basic Definitions........................................................................................................ 12 Exam ples .................................................................................................................... 13 P ro p e rtie s ................................................................................................................. 14 CHAPTER 4 THE AT-SERVER PROBLEM AND T-THEORY ..................... 16 Introduction to the fc-Server P roblem ................................................................. 16 Elementary T-Theory Concepts .......................................................................... 20 The Virtual Server Construction .......................................................................... 26 Tree A lgorithm s........................................................................................................ 27 Balance Algorithms .................................................................................... 31 Server Algorithms in the Tight Span .................................................................... 33 Definition and Analysis of HANDICAP .......................................................... 37 Harmonic Algorithms .............................................................................................. 44 Summary and Future Applications of T-theory ................................................... 50 BIBLIOGRAPHY ........................................................................................................... 53 APPENDIX A MATHEMATICA CALCULATIONS . 61 APPENDIX B FIGURES AND TABLES................................................................. 64 VITA ..................................................................................................................................... 105 IV Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. ACKNOWLEDGMENTS The DT^]X document class was made by Steve Lumos. I would also like to give thanks to Dean Bartkiw and Marek Chrobak for reviewing the final manuscript coau­ thored by Larmore and Oravec. This thesis is dedicated to those who make a difference in the life of others. I have been blessed in having a great group of friends and mentors. To my family and friends, for their love, encouragement and support. To my ad­ visor, Lawrence L. Larmore, for giving me a genuine academic experience. To Angel Muleshkov, for explaining mathematics to me in depth. To Ronald Corbett, for en­ couraging me to think outside the box. To Chad Lexis, a childhood friend who has encouraged me to achieve more in life. To all of my computer science friends, for making my time at UNLV enjoyable. To Colonel Robert Luberacki and the men and women of the United States Military Services, for all they have done for this great country. To CJ Dowell, who left us before his time. He is a reminder to me and others that life is short, so enjoy your life and those who are important to you, while you can. Lastly, I would like to thank all of the members of my committee: A joy Datta, Lawrence Larmore, John Minor, and Angel Muleshkov. V Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. CHAPTER 1 INTRODUCTION Thesis Introduction This thesis surveys the research performed by Larmore and Oravec between February 2006 and April 2007. Chapter 4 is the heart of the thesis. This chapter is based on the topics covered in the paper by Larmore and Oravec titled “T-Theory Applications to Online Algorithms for the Server Problem” [71], which is currently available on arXiv, a prepublishing service provided by Cornell University. The remainder of the thesis covers research topics that Larmore and Oravec have worked on. Those topics may lead to future published papers. In order for the reader to better understand the research in this paper, we provide additional background information. Lastly, Eppstein [50] suggested a possible generalization of a previous results by Bein, Chrobak, and Larmore [15]. The suggested generalization would extend pre­ vious results for Manhattan planes to Manhattan or bifolds, a class of metric spaces introduced by Eppstein.
Recommended publications
  • Injective Hulls of Certain Discrete Metric Spaces and Groups
    Injective hulls of certain discrete metric spaces and groups Urs Lang∗ July 29, 2011; revised, June 28, 2012 Abstract Injective metric spaces, or absolute 1-Lipschitz retracts, share a number of properties with CAT(0) spaces. In the 1960es, J. R. Isbell showed that every metric space X has an injective hull E(X). Here it is proved that if X is the vertex set of a connected locally finite graph with a uniform stability property of intervals, then E(X) is a locally finite polyhedral complex with n finitely many isometry types of n-cells, isometric to polytopes in l∞, for each n. This applies to a class of finitely generated groups Γ, including all word hyperbolic groups and abelian groups, among others. Then Γ acts properly on E(Γ) by cellular isometries, and the first barycentric subdivision of E(Γ) is a model for the classifying space EΓ for proper actions. If Γ is hyperbolic, E(Γ) is finite dimensional and the action is cocompact. In particular, every hyperbolic group acts properly and cocompactly on a space of non-positive curvature in a weak (but non-coarse) sense. 1 Introduction A metric space Y is called injective if for every metric space B and every 1- Lipschitz map f : A → Y defined on a set A ⊂ B there exists a 1-Lipschitz extension f : B → Y of f. The terminology is in accordance with the notion of an injective object in category theory. Basic examples of injective metric spaces are the real line, all complete R-trees, and l∞(I) for an arbitrary index set I.
    [Show full text]
  • Hyperconvexity and Tight Span Theory for Diversities
    Hyperconvexity and Tight-Span Theory for Diversities David Bryanta,∗, Paul F. Tupperb aDept. of Mathematics and Statistics, University of Otago. PO Box 56 Dunedin 9054, New Zealand. Ph (64)34797889. Fax (64)34798427 bDept. of Mathematics, Simon Fraser University. 8888 University Drive, Burnaby, British Columbia V5A 1S6, Canada. Ph (778)7828636. Fax (778)7824947 Abstract The tight span, or injective envelope, is an elegant and useful construction that takes a metric space and returns the smallest hyperconvex space into which it can be embedded. The concept has stimulated a large body of theory and has applications to metric classification and data visualisation. Here we introduce a generalisation of metrics, called diversities, and demonstrate that the rich theory associated to metric tight spans and hyperconvexity extends to a seemingly richer theory of diversity tight spans and hyperconvexity. Keywords: Tight span; Injective hull; Hyperconvex; Diversity; Metric geometry; 1. Introduction Hyperconvex metric spaces were defined by Aronszajn and Panitchpakdi in [1] as part of a program to generalise the Hahn-Banach theorem to more general metric spaces (reviewed in [2], and below). Isbell [3] and Dress [4] showed that, for every metric space, there exists an essentially unique \minimal" hyperconvex arXiv:1006.1095v5 [math.MG] 23 Jan 2013 space into which that space could be embedded, called the tight span or injective envelope. Our aim is to show that the notion of hyperconvexity, the tight span, and much of the related theory can be extended beyond metrics to a class of multi-way metrics which we call diversities. ∗Corresponding author Email addresses: [email protected] (David Bryant), [email protected] (Paul F.
    [Show full text]
  • Optimal and Hereditarily Optimal Realizations of Metric Spaces
    UPPSALA DISSERTATIONS IN MATHEMATICS 52 Optimal and Hereditarily Optimal Realizations of Metric Spaces Alice Lesser Department of Mathematics Uppsala University UPPSALA 2007 !" #""$ "%& ' ' ' ( ) * + ( ,( #""$( - . - /0 ' 1 2 ( 3- ' 45( &#( $" ( ( 627 8$9:8:&";:8;$:;( ) ' ' ' ' ' ' % * * < *( ) 4 * : =( 6 > 0 ' ' ? * * 0 ' = ' ( 6 6 * ? = :4 ' * ( ' : 4 * ? ( 6 66 * * ' ' 0 ' ' ? ( 6 666 * ' @ ' * * 0 * ' ? ( . * ' 0 * ( 6A *4 > % * * ' 0 ? B ' 0 ' * ' ' 0 ? >( 1 * *4 > ' ' * #: 0 0 * 4 7 ): ' ! "#$ % &'()*$+ & , - . ! ! )/# % &'()*0" & C , #""$ 622 D":#"D8 627 8$9:8:&";:8;$:; % %%% :9#8$ 3 %EE (4(E B F % %%% :9#8$5 “Don’t be too sure,” said the child patiently, “for one of the nicest things about mathematics, or anything else you might care to learn, is that many of the things which can never be, often are. You see,” he went on, “it’s very much like your trying to reach Infinity. You know that it’s there, but you just don’t know where — but just because you can never reach it doesn’t mean that it’s not worth looking for.” Norton Juster, The Phantom Tollbooth Cover image:
    [Show full text]
  • Geometry and Structure of Metric Injective Hulls
    Research Collection Doctoral Thesis Geometry and structure of metric injective hulls Author(s): Pavón, Maël Publication Date: 2016 Permanent Link: https://doi.org/10.3929/ethz-a-010633534 Rights / License: In Copyright - Non-Commercial Use Permitted This page was generated automatically upon download from the ETH Zurich Research Collection. For more information please consult the Terms of use. ETH Library Diss. ETH No. 23120 Geometry and Structure of Metric Injective Hulls A thesis submitted to attain the degree of DOCTOR OF SCIENCES OF ETH ZURICH (Dr. sc. ETH Zurich) presented by Mael¨ Pavon´ MSc ETH Math., ETH Zurich born September 23rd, 1989 citizen of Haut-Intyamon (FR) and Spain accepted on the recommendation of Prof. Dr. Urs Lang, Examiner Prof. Dr. Victor Chepoi, Co-Examiner 2016 Abstract In this thesis, we prove various results on metric injective hulls and injective metric spaces. In Chapter II, we show that the operator given by assigning to a metric space the corresponding metric space defined by Isbell's injective hull is 2-Lipschitz in the Gromov-Hausdorff sense when defined on the class of general metric spaces and 1-Lipschitz when restricted to the class of tree-like metric spaces. These estimates are optimal. In Chapter III, we character- ize effectively the injective affine subspaces of the finite dimensional injective normed spaces in any dimension and go on characterizing effectively injective convex polyhedra, this characterization provides in particular a concrete veri- fication algorithm. We then make use of this result to prove that the solution set of a system of linear inequalities with at most two variables per inequality is injective if it is non-empty.
    [Show full text]
  • Hyperconvexity and Tight-Span Theory for Diversities
    Available online at www.sciencedirect.com Advances in Mathematics 231 (2012) 3172–3198 www.elsevier.com/locate/aim Hyperconvexity and tight-span theory for diversities David Bryanta,∗, Paul F. Tupperb a Department of Mathematics and Statistics, University of Otago, PO Box 56, Dunedin 9054, New Zealand b Department of Mathematics, Simon Fraser University, 8888 University Drive, Burnaby, British Columbia V5A 1S6, Canada Received 25 November 2010; accepted 27 August 2012 Available online 26 September 2012 Communicated by A. Dress Abstract The tight span, or injective envelope, is an elegant and useful construction that takes a metric space and returns the smallest hyperconvex space into which it can be embedded. The concept has stimulated a large body of theory and has applications to metric classification and data visualisation. Here we introduce a generalisation of metrics, called diversities, and demonstrate that the rich theory associated to metric tight spans and hyperconvexity extends to a seemingly richer theory of diversity tight spans and hyperconvexity. ⃝c 2012 Elsevier Inc. All rights reserved. Keywords: Tight span; Injective hull; Hyperconvex; Diversity; Metric geometry 1. Introduction Hyperconvex metric spaces were defined by Aronszajn and Panitchpakdi in[2] as part of a programme to generalise the Hahn–Banach theorem to more general metric spaces (reviewed in [21], and below). Isbell [33] and Dress [11] showed that, for every metric space, there exists an essentially unique “minimal” hyperconvex space into which that space could be embedded, called the tight span or injective envelope. Our aim is to show that the notion of hyperconvexity, the tight span, and much of the related theory can be extended beyond metrics to a class of multi-way metrics which we call diversities.
    [Show full text]