UC Santa Barbara UC Santa Barbara Electronic Theses and Dissertations

Total Page:16

File Type:pdf, Size:1020Kb

UC Santa Barbara UC Santa Barbara Electronic Theses and Dissertations UC Santa Barbara UC Santa Barbara Electronic Theses and Dissertations Title Computing Volumes and Convex Hulls: Variations and Extensions Permalink https://escholarship.org/uc/item/67j3p0zv Author Yildiz, Hakan Publication Date 2014 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA Santa Barbara Computing Volumes and Convex Hulls: Variations and Extensions A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Computer Science by Hakan Yıldız Committee in Charge: Professor Subhash Suri, Chair Professor Amr El Abbadi Professor John Gilbert June 2014 The dissertation of Hakan Yıldız is approved: Professor Amr El Abbadi Professor John Gilbert Professor Subhash Suri, Committee Chairperson May 2014 Computing Volumes and Convex Hulls: Variations and Extensions Copyright c 2014 by Hakan Yıldız iii Acknowledgements I have no doubt that I would not be able to write this dissertation without the encour- agement and contributions of some wonderful and bright people. I, therefore, would like to devote this section to acknowledge those whose support made the completion of this dissertation possible. First and foremost, I would like to thank my supervisor, Prof. Subhash Suri, for his guidance during my Ph.D. studies. In addition to his continuous encouragement for research and scientific contributions, I think I learned a lot from him in terms of what teaching is about. It is my hope that, if I ever end up in a teaching position in the future, I can put into use what I have learnt from him. Besides my supervisor, I would like to thank the rest of my Ph.D. committee; Prof. Amr El Abbadi and Prof. John Gilbert; for their encouragement, insightful comments and sincere suggestions. This section cannot be complete without acknowledging my labmates: Luca, Pegah, Kyle, Kevin, Lucas, and Jonathan. I am grateful that they generously shared their knowledge with me and made my research experience enjoyable. I also would like to thank my collaborators from outside UCSB; John Hershberger, Pankaj Agarwal, Wuzhou Zhang, and Sariel Har-Peled; for their important contribu- tions to my research. iv Finally, I would like to express my gratefulness to my family. With their uncondi- tional support throughout my entire life, they made it possible for me to become who I am now. v Curriculum Vitæ Hakan Yıldız Education 2014 (Expected) Doctor of Philosophy in Computer Science, University of California, Santa Barbara. 2013 Master of Science in Computer Science, University of California, Santa Barbara. 2008 Bachelor of Science in Computer Engineering, Middle East Technical University, Ankara, Turkey Professional Experience 2010-2013 Research Assistant, Department of Computer Science, UC Santa Bar- bara, CA, USA. 2013 SDE Intern, Microsoft Corporation, Redmond, WA, USA. 2011 SDE Intern, Microsoft Corporation, Redmond, WA, USA. 2008-2010 Teaching Assistant, Department of Computer Science, UC Santa Bar- bara, CA, USA. 2006 Intern, METU Research and Development Center, Ankara, Turkey. 2005 Intern, IBM Turk,¨ Ankara, Turkey. vi Publications P. K. Agarwal, S. Har-Peled, S. Suri, H. Yıldız, W.Zhang Convex Hulls under Uncer- • tainty, Under preparation, 2014 S. Eriksson-Bique, J. Hershberger, V. Polishchuk, B. Speckmann, S. Suri, T. Talvitie, • K, Verbeek, H. Yıldız, Geometric kth Shortest Paths, Under preparation, 2014 S. Suri, K. Verbeek, H. Yıldız, On the Most Likely Convex Hull of Uncertain Points, 21st • European Symposium on Algorithms (ESA), 2013 J. Hershberger, S. Suri, H. Yıldız, A Near-Optimal Algorithm for Shortest Paths Among • Curved Obstacles in the Plane, 29th Symposium on Computational Geometry (SoCG), 2013 H. Yıldız, S. Suri, Computing Klee’s Measure of Grounded Boxes, Algorithmica Online, • 2013 H. Yıldız, S. Suri, On Klee’s Measure for Grounded Boxes, 28th Symposium on Compu- • tational Geometry (SoCG), 2012 H. Yıldız, C. Kruegel, Detecting Social Cliques for Automated Privacy Control in Online • Social Networks, 4th Workshop on Security and Social Networking (SESOC), 2012 H. Yıldız, L. Foschini, J. Hershberger, S. Suri, The Union of Probabilistic Boxes: Main- • taining the Volume, 19th European Symposium on Algorithms (ESA), 2011 H. Yıldız, J. Hershberger, S. Suri, A Discrete and Dynamic Version of Klee’s Measure • Problem, 23rd Canadian Conference on Computational Geometry (CCCG), 2011 vii Achievements and Awards Dean’s fellowship, Univerity of California, Santa Barbara, 2013-2014 • 4th Place in DEFCON CTF hacking competition as a member of Shellphish team, Las • Vegas, USA, 2009 5th Place (among 71 teams) at ACM-Programming Contest Southern California Region- • als 2008 as a member of the team representing University of California Santa Barbara Top Graduate in Middle East Technical University, 2008 • Best Senior Project in METU Computer Engineering Senior Project Competition 2008 • as a member of Opus 144 First Place at METU National Programming Contests 2005-2008 • Gokc¸e¨ Karatas¸2005 Education Award for his accomplisments in the field of Informatics • Silver Medal at 16th International Olympiad in Informatics, Athens, Greece, 11-18 Septem- • ber 2004 Silver Medal at 12th Balkan Olympiad in Informatics, Plovdiv, Bulgaria, 3-9 July 2004 • Gold Medal at 11th National Olympiad in Informatics, Ankara, Turkey, December 2003 • Bronze Medal at 15th International Olympiad in Informatics, Wisconsin, USA, 16-23 • August 2003 Bronze Medal at 11th Balkan Olympiad in Informatics, Iai, Romania, 14-20 July 2003 • Silver Medal at 10th National Olympiad in Informatics, Ankara, Turkey, December 2002 • 5th Place in 2001 Turkish National High School Exam among 560.000 students • viii Fields of Study Major Field: Computational Geometry Studies in Computational Geometry with Professor Subhash Suri ix Abstract Computing Volumes and Convex Hulls: Variations and Extensions Hakan Yıldız Geometric techniques are frequently utilized to analyze and reason about multi- dimensional data. When confronted with large quantities of such data, simplifying ge- ometric statistics or summaries are often a necessary first step. In this thesis, we make contributions to two such fundamental concepts of computational geometry: Klee’s Measure and Convex Hulls. The former is concerned with computing the total vol- ume occupied by a set of overlapping rectangular boxes in d-dimensional space, while the latter is concerned with identifying extreme vertices in a multi-dimensional set of points. Both problems are frequently used to analyze optimal solutions to multi- objective optimization problems: a variant of Klee’s problem called the Hypervolume Indicator gives a quantitative measure for the quality of a discrete Pareto Optimal set, while the Convex Hull represents the subset of solutions that are optimal with respect to at least one linear optimization function. In the first part of the thesis, we investigate several practical and natural variations of Klee’s Measure Problem. We develop a specialized algorithm for a specific case of Klee’s problem called the “grounded” case, which also solves the Hypervolume Indi- cator problem faster than any earlier solution for certain dimensions. Next, we extend x Klee’s problem to an uncertainty setting where the existence of the input boxes are defined probabilistically, and study computing the expectation of the volume. Addi- tionally, we develop efficient algorithms for a discrete version of the problem, where the volume of a box is redefined to be the cardinality of its overlap with a given point set. The second part of the thesis investigates the convex hull problem on uncertain input. To this extent, we examine two probabilistic uncertainty models for point sets. The first model incorporates uncertainty in the existence of the input points. The second model extends the first one by incorporating locational uncertainty. For both models, we study the problem of computing the probability that a given point is contained in the convex hull of the uncertain points. We also consider the problem of finding the most likely convex hull, i.e., the mode of the convex hull random variable. xi Table of Contents Acknowledgements iv Curriculum Vitæ vi Abstract x Table of Contents xii List of Figures xv Introduction 1 1 Computing Klee’s Measure of Grounded Boxes 12 1.1 Introduction :::::::::::::::::::::::::::::: 12 1.1.1 Klee’s Measure Problem :::::::::::::::::::: 13 1.1.2 Problem and Results :::::::::::::::::::::: 15 1.2 Dimension Reduction: Sweeping and Weighting ::::::::::: 18 1.3 Weighted Volume of Halfspaces: the Planar Case ::::::::::: 23 1.3.1 Vertical and Horizontal Gradients ::::::::::::::: 24 1.3.2 Intersecting Gradient Volumes via Partial Sums :::::::: 27 1.4 Multidimensional Weighted Volume :::::::::::::::::: 29 1.4.1 Intersecting the Gradients ::::::::::::::::::: 31 1.4.2 Maintaining the Sum of Ordered Products ::::::::::: 34 1.4.3 Higher Order Partial Sums and Sum of Ordered Products ::: 38 1.5 Dynamic Weighted Volume For Arbitrary Boxes ::::::::::: 40 1.5.1 The Planar Case :::::::::::::::::::::::: 41 1.5.2 The d-dimensional Case :::::::::::::::::::: 48 1.5.3 Weighted Volume of Axis-parallel Strips ::::::::::: 51 xii 1.6 Klee’s Measure for d-Grounded Boxes ::::::::::::::::: 54 1.7 Conclusion ::::::::::::::::::::::::::::::: 55 2 The Union of Uncertain Boxes 57 2.1 Introduction :::::::::::::::::::::::::::::: 57 2.2 Probabilistic Volume: Expectation and Tail Bounds :::::::::: 60 2.3 Maintaining the Expected Measure
Recommended publications
  • Paper on Computing Clarke Payments for Shortest Paths
    Vickrey Prices and Shortest Paths: What is an edge worth? John Hershberger Subhash Suri Mentor Graphics Corp. Computer Science Department 8005 SW Boeckman Road University of California Wilsonville, OR 97070, USA Santa Barbara, CA 93106, USA john [email protected] [email protected] Abstract a unifying framework for many optimization problems such as knapsack, sequence alignment in molecular biology, in- We solve a shortest path problem that is motivated by scribed polygon construction, and length-limited Huffman- recent interest in pricing networks or other computational coding, etc. (Eppstein [4] is a good reference for shortest resources. Informally, how much is an edge in a network paths and their applications.) Most complex applications of worth to a user who wants to send data between two nodes the shortest path problem, however, require more than just along a shortest path? If the network is a decentralized en- the calculation of a single shortest path. In some applica- tity, such as the Internet, in which multiple self-interested tions, the desired path might be subject to additional con- agents own different parts of the network, then auction- straints that are hard to quantify. In others it might be use- based pricing seems appropriate. A celebrated result from ful to examine not just the shortest but a larger set of “short auction theory shows that the use of Vickrey pricing moti- paths.” It some applications, it is desirable to see how the vates the owners of the network resources to bid truthfully. shortest path is influenced by various system parameters, In Vickrey’s scheme, each agent is compensated in propor- through a “sensitivity analysis.” Our problem belongs to tion to the marginal utility he brings to the auction.
    [Show full text]
  • The Visibility Center of a Simple Polygon
    The Visibility Center of a Simple Polygon Anna Lubiw # David R. Cheriton School of Computer Science, University of Waterloo, Canada Anurag Murty Naredla # David R. Cheriton School of Computer Science, University of Waterloo, Canada Abstract We introduce the visibility center of a set of points inside a polygon – a point cV such that the maximum geodesic distance from cV to see any point in the set is minimized. For a simple polygon of n vertices and a set of m points inside it, we give an O((n + m) log (n + m)) time algorithm to find the visibility center. We find the visibility centerof all points in a simple polygon in O(n log n) time. Our algorithm reduces the visibility center problem to the problem of finding the geodesic center of a set of half-polygons inside a polygon, which is of independent interest. We give an O((n + k) log(n + k)) time algorithm for this problem, where k is the number of half-polygons. 2012 ACM Subject Classification Theory of computation → Computational geometry Keywords and phrases Visibility, Shortest Paths, Simple Polygons, Facility Location Digital Object Identifier 10.4230/LIPIcs.ESA.2021.65 Related Version Full Version: https://arxiv.org/abs/2108.07366 Funding Anna Lubiw: Supported by NSERC. 1 Introduction Suppose you want to guard a polygon and you have many sensors but only one guard to check on the sensors. The guard must be positioned at a point cV in the polygon such that when a sensor at any query point u sends an alarm, the guard travels from cV on a shortest path inside the polygon to see point u; the goal is to minimize the maximum distance the guard must travel.
    [Show full text]
  • Routing in Polygonal Domains
    Routing in polygonal domains Citation for published version (APA): Banyassady, B., Chiu, M. K., Korman, M., Mulzer, W., van Renssen, A., Roeloffzen, M., Seiferth, P., Stein, Y., Vogtenhuber, B., & Willert, M. (2017). Routing in polygonal domains. In Y. Okamoto, & T. Tokuyama (Eds.), 28th International Symposium on Algorithms and Computation, ISAAC 2017 (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 92). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ISAAC.2017.10 Document license: CC BY DOI: 10.4230/LIPIcs.ISAAC.2017.10 Document status and date: Published: 01/12/2017 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights.
    [Show full text]
  • Subhash Suri
    Curriculum Vitae Subhash Suri Department of Computer Science Tel: (805) 259-7581 Engineering I, Room 2111 Fax: (805) 893-8553 University of California Email: [email protected] Santa Barbara, CA 93106 http://www.cs.ucsb.edu/~suri/ Education • The Johns Hopkins University, Ph. D. (Computer Science), 1987 • The Johns Hopkins University, M. S. (Electrical Engineering and Computer Science), 1984 • University Of Roorkee, India, B. S. (Electronics Engineering), 1981 Professional Experience • Chair, Department of Computer Science,UC Santa Barbara, 2011{Present. • Director, Center for Geometric Computing, UC Santa Barbara, 2011{Present. • Professor, University of California, Santa Barbara, 2000{Present. • Visiting Professor, Swiss Federal Institute of Technology (ETH), Zurich, 2006{2007. • Associate Professor with tenure, Washington University, 1997{2000. • Associate Professor, Washington University, 1994{1997. • Member of Technical Staff, Bellcore, 1987{1994 Awards and Honors • Fellow of American Association for the Advancement of Science (AAAS), 2011. • Fellow of Association of Computing Machinery (ACM), 2010. • Fellow of Institute of Electrical and Electronic Engineers (IEEE), 2009. • ACM Distinguished Scientist, 2007. • Keynote Lecture, 6th Annual International Conference on Distributed Computing in Sensor Systems (DCOSS), June 21-23, 2010. • Best paper award for \Approximate Isocontours and Spatial Summaries for Sensor Networks" at the 6th International Conference on Information Processing in Sensor Networks (IPSN '07), April 25-27, 2007 (co-authored with Sorabh Gandhi and John Hershberger). • Best student paper award for \A General Framework for Clearing Auction of Wireless Spec- trum" at IEEE DySPAN '07 (co-authored with Sorabh Gandhi, Chiranjeeb Buragohain, Lili Cao, and Haitao Zheng). 1 • Best paper award for “Profiling over Adaptive Ranges," at the 4th Annual ACM/IEEE Int.
    [Show full text]
  • Contents U U U
    Contents u u u ACM Awards Reception and Banquet, June 2018 .................................................. 2 Introduction ......................................................................................................................... 3 A.M. Turing Award .............................................................................................................. 4 ACM Prize in Computing ................................................................................................. 5 ACM Charles P. “Chuck” Thacker Breakthrough in Computing Award ............. 6 ACM – AAAI Allen Newell Award .................................................................................. 7 Software System Award ................................................................................................... 8 Grace Murray Hopper Award ......................................................................................... 9 Paris Kanellakis Theory and Practice Award ...........................................................10 Karl V. Karlstrom Outstanding Educator Award .....................................................11 Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics ..........................................................12 Distinguished Service Award .......................................................................................13 ACM Athena Lecturer Award ........................................................................................14 Outstanding Contribution
    [Show full text]
  • Vickrey Prices and Shortest Paths: What Is an Edge Worth?
    Vickrey Prices and Shortest Paths: What is an edge worth? John Hershberger Subhash Suri£ Mentor Graphics Corp. Computer Science Department 8005 SW Boeckman Road University of California Wilsonville, OR 97070, USA Santa Barbara, CA 93106, USA john [email protected] [email protected] Abstract a unifying framework for many optimization problems such as knapsack, sequence alignment in molecular biology, in- We solve a shortest path problem that is motivated by scribed polygon construction, and length-limited Huffman- recent interest in pricing networks or other computational coding, etc. (Eppstein [4] is a good reference for shortest resources. Informally, how much is an edge in a network paths and their applications.) Most complex applications of worth to a user who wants to send data between two nodes the shortest path problem, however, require more than just along a shortest path? If the network is a decentralized en- the calculation of a single shortest path. In some applica- tity, such as the Internet, in which multiple self-interested tions, the desired path might be subject to additional con- agents own different parts of the network, then auction- straints that are hard to quantify. In others it might be use- based pricing seems appropriate. A celebrated result from ful to examine not just the shortest but a larger set of “short auction theory shows that the use of Vickrey pricing moti- paths.” It some applications, it is desirable to see how the vates the owners of the network resources to bid truthfully. shortest path is influenced by various system parameters, In Vickrey’s scheme, each agent is compensated in propor- through a “sensitivity analysis.” Our problem belongs to tion to the marginal utility he brings to the auction.
    [Show full text]
  • Cutting Polygons Into Small Pieces with Chords: Laser-Based Localization Esther M
    Cutting Polygons into Small Pieces with Chords: Laser-Based Localization Esther M. Arkin Rathish Das Stony Brook University, NY, USA Stony Brook University, NY, USA [email protected] [email protected] Jie Gao Mayank Goswami Rutgers University, Piscataway, NJ, USA Queens College of CUNY, New York, NY, USA [email protected] [email protected] Joseph S. B. Mitchell Valentin Polishchuk Stony Brook University, NY, USA Linköping University, Norrköping, Sweden [email protected] [email protected] Csaba D. Tóth California State University Northridge, Los Angeles, CA, USA Tufts University, Medford, MA, USA [email protected] Abstract Motivated by indoor localization by tripwire lasers, we study the problem of cutting a polygon into small-size pieces, using the chords of the polygon. Several versions are considered, depending on the definition of the “size” of a piece. In particular, we consider the area, the diameter, and the radius of the largest inscribed circle as a measure of the size of a piece. We also consider different objectives, either minimizing the maximum size of a piece for a given number of chords, or minimizing the number of chords that achieve a given size threshold for the pieces. We give hardness results for polygons with holes and approximation algorithms for multiple variants of the problem. 2012 ACM Subject Classification Theory of computation → Approximation algorithms analysis; Theory of computation → Packing and covering problems; Mathematics of computing → Combinat- orial algorithms; Theory of computation → Computational geometry Keywords and phrases Polygon partition, Arrangements, Visibility, Localization Digital Object Identifier 10.4230/LIPIcs.ESA.2020.7 Related Version A full version of the paper is available at https://arxiv.org/abs/2006.15089.
    [Show full text]
  • Vickrey Prices and Shortest Paths: What Is an Edge Worth?
    Vickrey Prices and Shortest Paths: What is an edge worth? John Hershberger Subhash Suri £ Mentor Graphics Corp. Computer Science Department 8005 SW Boeckman Road University of California Wilsonville, OR 97070, USA Santa Barbara, CA 93106, USA john [email protected] [email protected] Abstract a unifying framework for many optimization problems such as knapsack, sequence alignment in molecular biology, in- We solve a shortest path problem that is motivated by scribed polygon construction, and length-limited Huffman- recent interest in pricing networks or other computational coding, etc. (Eppstein [4] is a good reference for shortest resources. Informally, how much is an edge in a network paths and their applications.) Most complex applications of worth to a user who wants to send data between two nodes the shortest path problem, however, require more than just along a shortest path? If the network is a decentralized en- the calculation of a single shortest path. In some applica- tity, such as the Internet, in which multiple self-interested tions, the desired path might be subject to additional con- agents own different parts of the network, then auction- straints that are hard to quantify. In others it might be use- based pricing seems appropriate. A celebrated result from ful to examine not just the shortest but a larger set of “short auction theory shows that the use of Vickrey pricing moti- paths.” It some applications, it is desirable to see how the vates the owners of the network resources to bid truthfully. shortest path is influenced by various system parameters, In Vickrey’s scheme, each agent is compensated in propor- through a “sensitivity analysis.” Our problem belongs to tion to the marginal utility he brings to the auction.
    [Show full text]