# Strictly Localized Construction of Planar Bounded-Degree Spanners of Unit Disk Graphs

Save this PDF as:

Size: px
Start display at page:

Download "Strictly Localized Construction of Planar Bounded-Degree Spanners of Unit Disk Graphs"

## Transcription

1 Strictly Localized Construction of Planar Bounded-Degree Spanners of Unit Disk Graphs Iyad A. Kanj Ljubomir Perković Ge Xia Abstract We describe a new distributed and strictly-localized approach for constructing bounded degree planar spanners of unit disk graphs. Our results improve the best results in the literature in terms of the stretch factor and the degree bound, for both geometric and power spanners. 1 Introduction Given a set of points embedded on the Euclidean plane, a unit disk graph U is defined as the graph consisting of all edges AB connecting points A and B whose Euclidean distance AB is at most 1. The edge AB connecting points A and B is assumed to be embedded in the plane as the straight line segment AB. We define, for some fixed positive constant p, a cost function mapping each edge AB of U to the scalar AB p, The cost of a simple path A = M 0, M 1,..., M r = B in U is then: r 1 M j M j+1 p. j=0 Among all paths between A and B, a path in U with the smallest cost is defined to be a smallest cost path and we denote its cost as c p U (A, B). We define a subgraph H of U to be a spanner with respect to cost function c p if there is a constant ρ such that for every two points A, B U we have: c p H (A, B) ρcp U (A, B). The constant ρ is called the stretch factor of H. The two edge-cost functions most often used in the topology control literature are the geometric cost function with p = 1, in which case the spanner is called a geometric spanner, and the power cost function with p [2, 5], in which case the spanner is called a power spanner. We focus here only on geometric and power spanners. We consider the following fundamental network topology problem. Given a unit disk graph U modeling a network, construct a bounded-degree, planar spanner of U with small stretch factor. We require that the spanner construction be distributed and strictly localized in the following sense: the computation at each point depends solely on the computation of its 1-hop or 2-hop neighbors, and is independent of the computation at other points. This strict requirement makes the algorithm very applicable in ad-hoc sensor networks, as well as very robust: if a point is deleted, for example, School of CTI, DePaul University, 243 S. Wabash Avenue, Chicago, IL School of CTI, DePaul University, 243 S. Wabash Avenue, Chicago, IL Department of Computer Science, Lafayette College, Easton, PA

2 only the points within the vicinity of the deleted point will need to recompute their spanner links. We will show that even with the strict requirement, we are able to obtain near-optimal spanners. The problem we are considering is motivated by the issue of topology control of ad-hoc and sensor networks [8, 9, 10]. Topology control is used, for example, to construct a topology of the original network that is amenable to routing or other networking applications. Some desirable properties of the resulting topology include (1) planarity: the underlying graph should be planar to allow, for example, guaranteed and efficient routing such as geometric routing ([1, 5]); (2) small stretch factor: for any two devices in the network there should be a path connecting them in the topology whose length is close to the length of the shortest path connecting the pair in the original network; (3) bounded degree: each device maintains links to only a constant number of devices in its communication range, thus minimizing interference and saving energy; and (4) constructible locally: the construction of the network topology should be distributed, simple, and strictly-localized as explained above (see [2] for a formal definition). Our approach to this problem improves all previous approaches in several ways (see Section 2). Our approach gives the best bounds on the stretch factor and the point-degree combination in some cases these bounds are near-optimal. Our approach is also strictly localized, and hence very robust: the computation at a point depends only on the coordinates of the point and its 1-hop (for power spanners) or 2-hop neighbors (for geometric spanners), and no propagation of information is needed. We note here that even though the previous approaches were localized in the sense that each point only communicates with its neighbors, a close examination shows that some of these algorithms process the points in some implicit order and require information propagation. In particular, the best previous approaches (in terms of stretch factor and degree bound) for computing power spanners relied on an acyclic orientation of the planar graph (see [4, 11]), which cannot be done locally without propagation of information. To be able to achieve these bounds, we introduce a set of new geometric notions and tools that are of independent interest. 2 Comparison between our results and the previous best results In terms of the computation of geometric spanners, Li et al. [6, 7] gave a distributed algorithm that constructs a planar geometric spanner of a unit disk graph with stretch factor C del 2.42; however, the spanner constructed can have unbounded degree. Wang and Li [12, 13] then showed how to construct a bounded-degree planar spanner of a unit disk graph with stretch factor max{π/2, 1 + π sin (α/2)} C del and degree bounded by π/α, where 0 < α < 2π/3 is a parameter. Very recently, Bose et. al [1] showed how to construct a planar geometric spanner of a unit disk graph with stretch factor max{π/2, 1 + π sin (α/2)} C del and degree bounded by π/α, for any 0 < α π/3. This was the best bound on the stretch factor and the degree. In our work we present a very simple and strictly-localized distributed algorithm that constructs a planar geometric spanner of the unit disk graph with stretch factor (1 + 2π(k cos (π/k)) 1 ) C del and degree bounded by k, for any integer parameter k 14. These results, in turn, significantly improve all the previous results of [1, 12, 13] on this problem in terms of: the upper bound on the stretch factor, the upper bound on the degree, and the simplicity and locality of the algorithm. In terms of efficiency, the presented algorithm exchanges no more than O(n) messages in total, and 2

3 Table 1: Degree bounds ( ) and stretch factors (ρ) of the algorithms with power exponent p = 2. k = ρ ρ ρ ρ ρ Lower Bounds OurALGO SWLF-I SWLF-II runs in O( lg ) local time at a point of degree. To compare our bounds to the previous best bounds in the literature, for a degree bound k = 14, our results imply a bound of at most 3.54 on the stretch factor, and as k approaches, our bound on the stretch factor approaches C del. The smallest degree bound derived by Bose et al. [1] is 20, and that corresponds to a stretch factor of at least If Bose et al. [1] allow the degree bound to be arbitrarily large, then their bound on the stretch factor approaches (π/2) C del > On the other hand, the smallest degree bound derived in Wang et al. [12, 13] is 25, and that corresponds to a bound of 6.19 on the stretch factor. If Wang et al. [12, 13] allow the degree bound to be arbitrarily large, then their bound on the stretch factor approaches (π/2) C del > Therefore, even the worst bound of at most 3.54 on the stretch factor corresponding to our lowest bound on the degree k = 14, beats the best bound on the stretch factor of at least 3.75 corresponding to arbitrarily large degree in both Bose et al. [1] and Wang et al. [12, 13]! For the problem of constructing power spanners of unit disk graphs, Wattenhofer et al. [14] derived algorithms with arbitrarily small stretch factor but unbounded degree. To bound the degree, their stretch factor needs to be at least 2. The best previous bounds (with respect to minimizing both the stretch factor and degree) are by Song, Wang, Li, and Frieder who proposed distributed localized algorithms [11] with guarantees on the maximum degree and stretch factors. Given a parameter k > 6, their first algorithm (referred to as SWLF-I) computes a power spanner of maximum degree k + 5 and maximum stretch factor ρ = 1/(1 (2 sin π k )p ). In their second algorithm (referred to as SWLF-II), given a parameter k > 8, they obtain a bound of k for the maximum degree and ρ = ( 2) p /(1 (2 2 sin π k )p ) for the stretch factor. In our work we show how to construct a planar power spanner of maximum degree k and with stretch factor ρ = 1 + (2 sin π k )p. For the same degree bound, this bound on the stretch factor improves the previous best bounds by Song et al. [11] significantly; see Table 1 for a comparison between these bounds. Furthermore, we show that the upper bound on the stretch factor proved is tight by proving that constructing a power spanner of a unit disk graph with degree bound of k and a stretch factor smaller than ρ = 1 + (2 sin not possible. π k+1 )p is 3 Our techniques and contributions The basic idea is to start by constructing a sparse subgraph G of the unit disk graph U, not necessarily of bounded degree, and then to bound the degree of each point in this subgraph, without hurting the stretch factor by much. We give below an intuitive summary of the main techniques and contributions of our results. We omit the technical details and intermediate results for lack of space. 3

4 3.1 The underlying sparse subgraph of U For the case of geometric spanners, the underlying subgraph is a version of the unit Delaunay graph introduced by [12, 13], called the 2-localized Delaunay subgraph or shortly LDel (2). We let G = LDel (2) (U) in this case, and note that G has stretch factor C del 2.42 [12, 13]. For the case of power spanners, it turns out that the Gabriel graphs [3] used in the literature to obtain power spanners [11] do not lead to tight results. We introduce the notion of generalized Gabriel graphs, prove some elegant non-trivial structural results about them, and then use them as the underlying sparse subgraphs. Let A and B be two points in U. Define the region D p (A, B) to be the set of all points M in the plane satisfying MA p + MB p AB p. Note that D 2 (A, B) is the closed disk of diameter AB. We prove that D p (A, B) is a closed convex set and that every point M D p (A, B)\{A, B} satisfies AMB arccos(1 2 3/5 ). Definition 3.1 The generalized Gabriel graph of U with parameter p [2, 5], denoted G p, is defined to be the subgraph of U having the same point set as U, and such that an edge AB U is also an edge in G p if and only if there does not exist a point M D p (A, B) \ {A, B}. Theorem 3.2 Let U be a unit disk graph, p [2, 5] a constant, and G p the generalized Gabriel graph of U with parameter p. Then G p is a connected planar subgraph of U with stretch factor of 1. In the case of power spanners, we let G = G p, and we note that by the above theorem G has stretch factor 1. Furthermore, both LDel (2) (U) and the generalized Gabriel graphs can be easily constructed using a strictly-localized distributed algorithm. 3.2 Canonical paths Let G be the sparse subgraph of U constructed above. Let BC and CA be edges of G such that BCA 2π/k, where k is the parameter used to bound the degree. Suppose further that BC is the shortest edge in G within the angular sector BCA. In our work we show that either edge AB G, or there exists a canonical path P in G from A to B of small cost. This path is constructed recursively. For the case of geometric spanners, this path is the concatenation of several paths, called the outward paths, between points on the convex hull of the set of points residing in ABC. For the case of geometric spanners, we bound the length of P by 2π(k cos π k ) 1 CB. For the case of power spanners, we bound the length of P by (2 sin π k )p CB. We prove that the region determined by edges BC, CA and the path P is very simple: It is closed region of the plane in which the only possible edges join C to vertices on P. More importantly, we prove that the internal angles on the path P are large, which is an essential property for our results to carry through. 4

5 3.3 The modified Yao construction To construct a bounded-degree subgraph G of G with small stretch factor, we try to select the edges on the canonical paths and include them in G. Our results show that it is always possible to select at most k edges out of every point such that the edges on the canonical paths are selected as well. The crucial argument to why this works is that the angles on the canonical paths are large. Almost all the approaches to bound the spanner degree are based on constructing a Yao subgraph of some planar subgraph of U. Given integer parameter k > 6, the Yao subgraph [15] of a directed graph G (embedded in the plane) is constructed as follows. At every point M in G, place k equallyseparated rays out of M (arbitrarily defined), thus creating k closed cones of size 2π/k each. Then, the shortest edge in G out of M (if any) in each cone is added to the Yao subgraph of G. It is well-known that the Yao construction as is does not yield a bounded degree subgraph. More importantly, the Yao construction does not always guarantee that edges forming large angles on the canonical paths are always selected. We give below an intuitive description of how we modify the Yao construction to achieve these goals. First, every point selects the edges incident on it that form large angles. Then, the standard Yao construction is applied to the set of remaining incident edges. Finally, edges selected by both endpoints are kept in G. For geometric spanners, we can show that every point selects at most k edges, and that for every edge CB that was not selected in G there is a selected edge CA G with BCA 2π/k, and such that the path CA followed by the canonical path from A to B has length at most (1 + 2π(k cos π k ) 1 ) CB, giving us a stretch factor of (1 + 2π(k cos π k ) 1 ) C del for k 14. For power spanners, we modify the construction a little bit by first selecting incident edges that make large angles, then removing every edge with a certain small buffer angle from the selected edges, and finally applying the standard Yao construction to the remaining set of edges. With this modification, and using the notion of buffer angles, we can show that every point selects at most k edges, and that for every edge CB that was not selected in G there is a selected edge CA G with BCA 2π/k, and such that the path CA followed by the canonical path from A to B has cost at most (1 + (2 sin π k )p ) CB, giving a stretch factor of 1 + (2 sin π k )p for k 10. We show that this ratio is near optimal by showing that the slightly smaller ratio of 1 + (2 sin π (k+1) )p is unattainable. 3.4 Simplicity, locality, and robustness Besides improving all the previous results in terms of the stretch factor and degree bound, our algorithms are very simple and strictly localized: each point decides on the set of edges to keep based on the coordinates of its 1-hop neighbors (power spanner) and 2-hop neighbors (geometric spanner), and edges kept by both endpoints are selected in the spanner. The best previous algorithms (in terms of the stretch factor and degree bound) in the literature for power spanners required an acyclic orientation of the planar graph G before the edges in G could be selected [11, 4]. Clearly, such an orientation cannot be done is such a strictly localized way. This simplicity and strictly-localized nature of our algorithms make them very suitable for mobile networks, and very robust against topological changes, which we prove formally. 5

### Improved Local Algorithms for Spanner Construction

Improved Local Algorithms for Spanner Construction Iyad A. Kanj Ge Xia Abstract Let S be a set of n points in the plane, let E be the complete Euclidean graph whose point-set is S, and let G be the Delaunay

### Divide-and-Conquer. Three main steps : 1. divide; 2. conquer; 3. merge.

Divide-and-Conquer Three main steps : 1. divide; 2. conquer; 3. merge. 1 Let I denote the (sub)problem instance and S be its solution. The divide-and-conquer strategy can be described as follows. Procedure

### Computational Geometry. Lecture 1: Introduction and Convex Hulls

Lecture 1: Introduction and convex hulls 1 Geometry: points, lines,... Plane (two-dimensional), R 2 Space (three-dimensional), R 3 Space (higher-dimensional), R d A point in the plane, 3-dimensional space,

### Well-Separated Pair Decomposition for the Unit-disk Graph Metric and its Applications

Well-Separated Pair Decomposition for the Unit-disk Graph Metric and its Applications Jie Gao Department of Computer Science Stanford University Joint work with Li Zhang Systems Research Center Hewlett-Packard

### Competitive Analysis of On line Randomized Call Control in Cellular Networks

Competitive Analysis of On line Randomized Call Control in Cellular Networks Ioannis Caragiannis Christos Kaklamanis Evi Papaioannou Abstract In this paper we address an important communication issue arising

### Finding and counting given length cycles

Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected

### On the independence number of graphs with maximum degree 3

On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs

### 2.3 Scheduling jobs on identical parallel machines

2.3 Scheduling jobs on identical parallel machines There are jobs to be processed, and there are identical machines (running in parallel) to which each job may be assigned Each job = 1,,, must be processed

### INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

### Power Efficiency Metrics for Geographical Routing In Multihop Wireless Networks

Power Efficiency Metrics for Geographical Routing In Multihop Wireless Networks Gowthami.A, Lavanya.R Abstract - A number of energy-aware routing protocols are proposed to provide the energy efficiency

### Energy-efficient communication in multi-interface wireless networks

Energy-efficient communication in multi-interface wireless networks Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis, and Evi Papaioannou Research Academic Computer Technology Institute

### Determinants, Areas and Volumes

Determinants, Areas and Volumes Theodore Voronov Part 2 Areas and Volumes The area of a two-dimensional object such as a region of the plane and the volume of a three-dimensional object such as a solid

### Lattice Point Geometry: Pick s Theorem and Minkowski s Theorem. Senior Exercise in Mathematics. Jennifer Garbett Kenyon College

Lattice Point Geometry: Pick s Theorem and Minkowski s Theorem Senior Exercise in Mathematics Jennifer Garbett Kenyon College November 18, 010 Contents 1 Introduction 1 Primitive Lattice Triangles 5.1

### Distributed Coordinate-free Hole Recovery

Distributed Coordinate-free Hole Recovery Xiaoyun Li Department of Computing and Electronic Systems University of Essex Colchester, UK CO4 3SQ xliw@essex.ac.uk Abstract This paper proposes a distributed

### Distributed Computing over Communication Networks: Topology. (with an excursion to P2P)

Distributed Computing over Communication Networks: Topology (with an excursion to P2P) Some administrative comments... There will be a Skript for this part of the lecture. (Same as slides, except for today...

### Homework Exam 1, Geometric Algorithms, 2016

Homework Exam 1, Geometric Algorithms, 2016 1. (3 points) Let P be a convex polyhedron in 3-dimensional space. The boundary of P is represented as a DCEL, storing the incidence relationships between the

### Solving Geometric Problems with the Rotating Calipers *

Solving Geometric Problems with the Rotating Calipers * Godfried Toussaint School of Computer Science McGill University Montreal, Quebec, Canada ABSTRACT Shamos [1] recently showed that the diameter of

### Angle Bisectors in a Triangle

346/ ANGLE BISECTORS IN A TRIANGLE Angle Bisectors in a Triangle I. F. Sharygin In this article, we have collected some geometric facts which are directly or tangentially related to the angle bisectors

### Shortest Inspection-Path. Queries in Simple Polygons

Shortest Inspection-Path Queries in Simple Polygons Christian Knauer, Günter Rote B 05-05 April 2005 Shortest Inspection-Path Queries in Simple Polygons Christian Knauer, Günter Rote Institut für Informatik,

### The Goldberg Rao Algorithm for the Maximum Flow Problem

The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }

### Applied Algorithm Design Lecture 5

Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design

### Arrangements And Duality

Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,

### The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

### THREE DIMENSIONAL GEOMETRY

Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

### A Log-Star Distributed Maximal Independent Set Algorithm for Growth-Bounded Graphs

A Log-Star Distributed Maximal Independent Set Algorithm for Growth-Bounded Graphs Johannes Schneider, Roger Wattenhofer {jschneid, wattenhofer}@tik.ee.ethz.ch Computer Engineering and Networks Laboratory

### Decentralized Utility-based Sensor Network Design

Decentralized Utility-based Sensor Network Design Narayanan Sadagopan and Bhaskar Krishnamachari University of Southern California, Los Angeles, CA 90089-0781, USA narayans@cs.usc.edu, bkrishna@usc.edu

### . 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9

Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a

### New Distributed Algorithm for Connected Dominating Set in Wireless Ad Hoc Networks

0-7695-1435-9/0 \$17.00 (c) 00 IEEE 1 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS-35 0) 0-7695-1435-9/0 \$17.00 00 IEEE Proceedings of the 35th Hawaii International

### Quality of Service Routing in Ad-Hoc Networks Using OLSR

Quality of Service Routing in Ad-Hoc Networks Using OLSR Ying Ge Communications Research Centre ying.ge@crc.ca Thomas Kunz Carleton University tkunz@sce.carleton.ca Louise Lamont Communications Research

### Bargaining Solutions in a Social Network

Bargaining Solutions in a Social Network Tanmoy Chakraborty and Michael Kearns Department of Computer and Information Science University of Pennsylvania Abstract. We study the concept of bargaining solutions,

### A Graph-Center-Based Scheme for Energy-Efficient Data Collection in Wireless Sensor Networks

A Graph-Center-Based Scheme for Energy-Efficient Data Collection in Wireless Sensor Networks Dajin Wang Department of Computer Science Montclair State University, Upper Montclair, NJ 07043, USA wang@pegasus.montclair.edu

### CMSC 858T: Randomized Algorithms Spring 2003 Handout 8: The Local Lemma

CMSC 858T: Randomized Algorithms Spring 2003 Handout 8: The Local Lemma Please Note: The references at the end are given for extra reading if you are interested in exploring these ideas further. You are

### INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

### A Dynamically Configurable Topology Control for Hybrid Ad Hoc Networks with Internet Gateways

ynamically onfigurable Topology ontrol for Hybrid d Hoc Networks with Internet ateways eun-hee ho and Young-ae Ko raduate School of Information & ommunication, jou University, Republic of Korea {khzho,

### 10. Graph Matrices Incidence Matrix

10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a

### Chapter 5 Polar Coordinates; Vectors 5.1 Polar coordinates 1. Pole and polar axis

Chapter 5 Polar Coordinates; Vectors 5.1 Polar coordinates 1. Pole and polar axis 2. Polar coordinates A point P in a polar coordinate system is represented by an ordered pair of numbers (r, θ). If r >

### Sample Test Questions

mathematics College Algebra Geometry Trigonometry Sample Test Questions A Guide for Students and Parents act.org/compass Note to Students Welcome to the ACT Compass Sample Mathematics Test! You are about

### On the k-path cover problem for cacti

On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we

### discuss how to describe points, lines and planes in 3 space.

Chapter 2 3 Space: lines and planes In this chapter we discuss how to describe points, lines and planes in 3 space. introduce the language of vectors. discuss various matters concerning the relative position

### Efficient Throughput for Wireless Mesh Networks by CDMA/OVSF Code Assignment

Ad Hoc & Sensor Wireless Networks Vol. 00, pp. 1 27 Reprints available directly from the publisher Photocopying permitted by license only 2008 Old City Publishing, Inc. Published by license under the OCP

### Offline sorting buffers on Line

Offline sorting buffers on Line Rohit Khandekar 1 and Vinayaka Pandit 2 1 University of Waterloo, ON, Canada. email: rkhandekar@gmail.com 2 IBM India Research Lab, New Delhi. email: pvinayak@in.ibm.com

### Shortcut sets for plane Euclidean networks (Extended abstract) 1

Shortcut sets for plane Euclidean networks (Extended abstract) 1 J. Cáceres a D. Garijo b A. González b A. Márquez b M. L. Puertas a P. Ribeiro c a Departamento de Matemáticas, Universidad de Almería,

### MA 323 Geometric Modelling Course Notes: Day 02 Model Construction Problem

MA 323 Geometric Modelling Course Notes: Day 02 Model Construction Problem David L. Finn November 30th, 2004 In the next few days, we will introduce some of the basic problems in geometric modelling, and

### Three Effective Top-Down Clustering Algorithms for Location Database Systems

Three Effective Top-Down Clustering Algorithms for Location Database Systems Kwang-Jo Lee and Sung-Bong Yang Department of Computer Science, Yonsei University, Seoul, Republic of Korea {kjlee5435, yang}@cs.yonsei.ac.kr

### SMT 2014 Algebra Test Solutions February 15, 2014

1. Alice and Bob are painting a house. If Alice and Bob do not take any breaks, they will finish painting the house in 20 hours. If, however, Bob stops painting once the house is half-finished, then the

### x 2 f 2 e 1 e 4 e 3 e 2 q f 4 x 4 f 3 x 3

Karl-Franzens-Universitat Graz & Technische Universitat Graz SPEZIALFORSCHUNGSBEREICH F 003 OPTIMIERUNG und KONTROLLE Projektbereich DISKRETE OPTIMIERUNG O. Aichholzer F. Aurenhammer R. Hainz New Results

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### CIRCLE COORDINATE GEOMETRY

CIRCLE COORDINATE GEOMETRY (EXAM QUESTIONS) Question 1 (**) A circle has equation x + y = 2x + 8 Determine the radius and the coordinates of the centre of the circle. r = 3, ( 1,0 ) Question 2 (**) A circle

### Partitioning edge-coloured complete graphs into monochromatic cycles and paths

arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edge-coloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political

### Fairness in Routing and Load Balancing

Fairness in Routing and Load Balancing Jon Kleinberg Yuval Rabani Éva Tardos Abstract We consider the issue of network routing subject to explicit fairness conditions. The optimization of fairness criteria

### Section 9.5: Equations of Lines and Planes

Lines in 3D Space Section 9.5: Equations of Lines and Planes Practice HW from Stewart Textbook (not to hand in) p. 673 # 3-5 odd, 2-37 odd, 4, 47 Consider the line L through the point P = ( x, y, ) that

### Baltic Way 1995. Västerås (Sweden), November 12, 1995. Problems and solutions

Baltic Way 995 Västerås (Sweden), November, 995 Problems and solutions. Find all triples (x, y, z) of positive integers satisfying the system of equations { x = (y + z) x 6 = y 6 + z 6 + 3(y + z ). Solution.

### 3. INNER PRODUCT SPACES

. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

### 6.2 Permutations continued

6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

### HOLES 5.1. INTRODUCTION

HOLES 5.1. INTRODUCTION One of the major open problems in the field of art gallery theorems is to establish a theorem for polygons with holes. A polygon with holes is a polygon P enclosing several other

### Removing Even Crossings

EuroComb 2005 DMTCS proc. AE, 2005, 105 110 Removing Even Crossings Michael J. Pelsmajer 1, Marcus Schaefer 2 and Daniel Štefankovič 2 1 Department of Applied Mathematics, Illinois Institute of Technology,

### Topology-based network security

Topology-based network security Tiit Pikma Supervised by Vitaly Skachek Research Seminar in Cryptography University of Tartu, Spring 2013 1 Introduction In both wired and wireless networks, there is the

### Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics

### An Optimization Approach for Cooperative Communication in Ad Hoc Networks

An Optimization Approach for Cooperative Communication in Ad Hoc Networks Carlos A.S. Oliveira and Panos M. Pardalos University of Florida Abstract. Mobile ad hoc networks (MANETs) are a useful organizational

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### IEQGOR to Increase the Quality of Service in Wireless Sensor Network

IEQGOR to Increase the Quality of Service in Wireless Sensor Network K.Mythilipriya 1, B.Arunkumar 2 III M.E., Dept of CSE, Karpagam University, Coimbatore, India 1 Assistant Professor, Dept of CSE, Karpagam

### NP-Hardness Results Related to PPAD

NP-Hardness Results Related to PPAD Chuangyin Dang Dept. of Manufacturing Engineering & Engineering Management City University of Hong Kong Kowloon, Hong Kong SAR, China E-Mail: mecdang@cityu.edu.hk Yinyu

### Geometry in a Nutshell

Geometry in a Nutshell Henry Liu, 26 November 2007 This short handout is a list of some of the very basic ideas and results in pure geometry. Draw your own diagrams with a pencil, ruler and compass where

### Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs

Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs Yong Zhang 1.2, Francis Y.L. Chin 2, and Hing-Fung Ting 2 1 College of Mathematics and Computer Science, Hebei University,

### 4. How many integers between 2004 and 4002 are perfect squares?

5 is 0% of what number? What is the value of + 3 4 + 99 00? (alternating signs) 3 A frog is at the bottom of a well 0 feet deep It climbs up 3 feet every day, but slides back feet each night If it started

### Connected Identifying Codes for Sensor Network Monitoring

Connected Identifying Codes for Sensor Network Monitoring Niloofar Fazlollahi, David Starobinski and Ari Trachtenberg Dept. of Electrical and Computer Engineering Boston University, Boston, MA 02215 Email:

### M-Degrees of Quadrangle-Free Planar Graphs

M-Degrees of Quadrangle-Free Planar Graphs Oleg V. Borodin, 1 Alexandr V. Kostochka, 1,2 Naeem N. Sheikh, 2 and Gexin Yu 3 1 SOBOLEV INSTITUTE OF MATHEMATICS NOVOSIBIRSK 630090, RUSSIA E-mail: brdnoleg@math.nsc.ru

### Solutions to Practice Problems

Higher Geometry Final Exam Tues Dec 11, 5-7:30 pm Practice Problems (1) Know the following definitions, statements of theorems, properties from the notes: congruent, triangle, quadrilateral, isosceles

### This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination.

IEEE/ACM TRANSACTIONS ON NETWORKING 1 A Greedy Link Scheduler for Wireless Networks With Gaussian Multiple-Access and Broadcast Channels Arun Sridharan, Student Member, IEEE, C Emre Koksal, Member, IEEE,

### An Energy Efficient Location Service for Mobile Ad Hoc Networks

An Energ Efficient Location Service for Mobile Ad Hoc Networks Zijian Wang 1, Euphan Bulut 1 and Boleslaw K. Szmanski 1, 1 Department of Computer Science, Rensselaer Poltechnic Institute, Tro, NY 12180

### Efficient Interference-Aware TDMA Link Scheduling for Static Wireless Networks

Efficient Interference-Aware TDMA Link Scheduling for Static Wireless Networks Weizhao Wang Yu Wang Xiang-Yang Li Wen-Zhan Song Ophir Frieder Department of Computer Science, Illinois Institute of Technology,

### Mining Social Network Graphs

Mining Social Network Graphs Debapriyo Majumdar Data Mining Fall 2014 Indian Statistical Institute Kolkata November 13, 17, 2014 Social Network No introduc+on required Really? We s7ll need to understand

### Greedy Routing on Hidden Metric Spaces as a Foundation of Scalable Routing Architectures

Greedy Routing on Hidden Metric Spaces as a Foundation of Scalable Routing Architectures Dmitri Krioukov, kc claffy, and Kevin Fall CAIDA/UCSD, and Intel Research, Berkeley Problem High-level Routing is

### 2.3 Convex Constrained Optimization Problems

42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions

### UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE ANDREW LUM ADVISOR: DAVID GUICHARD ABSTRACT. L(2,1)-labeling was first defined by Jerrold Griggs [Gr, 1992] as a way to use graphs

### Extreme Intersection Points in Arrangements of Lines

Extreme Intersection Points in Arrangements of Lines Rom Pinchasi August 1, 01 Abstract We provide a strengthening of the classical theorem of Erdős [3] saing that n lines in the plane, no two of which

### A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS

A QUIK GUIDE TO THE FOMULAS OF MULTIVAIABLE ALULUS ontents 1. Analytic Geometry 2 1.1. Definition of a Vector 2 1.2. Scalar Product 2 1.3. Properties of the Scalar Product 2 1.4. Length and Unit Vectors

### Analysis of Minimum-Energy Path-Preserving Graphs for Ad-hoc Wireless Networks

Analysis of Minimum-Energy Path-Preserving Graphs for Ad-hoc Wireless Networks Mahmuda Ahmed, Mehrab Shariar, Shobnom Zerin and Ashikur Rahman Department of Computer Science and Engineering Bangladesh

### 1 if 1 x 0 1 if 0 x 1

Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

### PERFORMANCE STUDY AND SIMULATION OF AN ANYCAST PROTOCOL FOR WIRELESS MOBILE AD HOC NETWORKS

PERFORMANCE STUDY AND SIMULATION OF AN ANYCAST PROTOCOL FOR WIRELESS MOBILE AD HOC NETWORKS Reza Azizi Engineering Department, Bojnourd Branch, Islamic Azad University, Bojnourd, Iran reza.azizi@bojnourdiau.ac.ir

### Optimal 3D Angular Resolution for Low-Degree Graphs

Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 17, no. 3, pp. 173 200 (2013) DOI: 10.7155/jgaa.00290 Optimal 3D Angular Resolution for Low-Degree Graphs David Eppstein 1 Maarten Löffler

### Medial Axis Construction and Applications in 3D Wireless Sensor Networks

Medial Axis Construction and Applications in 3D Wireless Sensor Networks Su Xia, Ning Ding, Miao Jin, Hongyi Wu, and Yang Yang Presenter: Hongyi Wu University of Louisiana at Lafayette Outline Introduction

### Equations Involving Lines and Planes Standard equations for lines in space

Equations Involving Lines and Planes In this section we will collect various important formulas regarding equations of lines and planes in three dimensional space Reminder regarding notation: any quantity

### Network Monitoring in Multicast Networks Using Network Coding

Network Monitoring in Multicast Networks Using Network Coding Tracey Ho Coordinated Science Laboratory University of Illinois Urbana, IL 6181 Email: trace@mit.edu Ben Leong, Yu-Han Chang, Yonggang Wen

### Hierarchical Self-routing Scatternet for Multihop Bluetooth Networks

Hierarchical Self-routing Scatternet for Multihop Bluetooth Networks Wen-Zhan Song Xiang-Yang Li Abstract The paper proposes a strategy for each Bluetooth device selecting proper communication neighbors

### EXPONENTS. To the applicant: KEY WORDS AND CONVERTING WORDS TO EQUATIONS

To the applicant: The following information will help you review math that is included in the Paraprofessional written examination for the Conejo Valley Unified School District. The Education Code requires

### Approximating Average Distortion of Embeddings into Line

Approximating Average Distortion of Embeddings into Line Kedar Dhamdhere Carnegie Mellon University Joint work with Anupam Gupta, R. Ravi Finite metric spaces (V, d) is a finite metric space if V is a

### Section 1.4. Lines, Planes, and Hyperplanes. The Calculus of Functions of Several Variables

The Calculus of Functions of Several Variables Section 1.4 Lines, Planes, Hyperplanes In this section we will add to our basic geometric understing of R n by studying lines planes. If we do this carefully,

### Geometry of Vectors. 1 Cartesian Coordinates. Carlo Tomasi

Geometry of Vectors Carlo Tomasi This note explores the geometric meaning of norm, inner product, orthogonality, and projection for vectors. For vectors in three-dimensional space, we also examine the

### Fig. 1. Topological surfaces. (a) Sphere (genus=0). (b) Torus (genus=1). (c) Two-holed torus (genus=2).

Face Based Geographic Routing in Nonplanar Wireless Networks Fenghui Zhang, Hao Li, nxiao (ndrew) Jiang, Jianer Chen, and Ping Luo Dept. of Computer Science, Texas &M Univ. College Station, TX 7784 Email:

### Spherical Representation and Polyhedron Routing for Load Balancing in Wireless Sensor Networks

Spherical Representation and Polyhedron Routing for Load Balancing in Wireless Sensor Networks Xiaokang Yu Xiaomeng Ban Wei Zeng Rik Sarkar Xianfeng Gu Jie Gao Department of Computer Science, Shandong

### High-dimensional labeled data analysis with Gabriel graphs

High-dimensional labeled data analysis with Gabriel graphs Michaël Aupetit CEA - DAM Département Analyse Surveillance Environnement BP 12-91680 - Bruyères-Le-Châtel, France Abstract. We propose the use

### arxiv: v2 [math.co] 30 Nov 2015

PLANAR GRAPH IS ON FIRE PRZEMYSŁAW GORDINOWICZ arxiv:1311.1158v [math.co] 30 Nov 015 Abstract. Let G be any connected graph on n vertices, n. Let k be any positive integer. Suppose that a fire breaks out

### Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

Hindawi Publishing Corporation Journal of Inequalities and Applications Volume 2010, Article ID 510838, 15 pages doi:10.1155/2010/510838 Research Article Stability Analysis for Higher-Order Adjacent Derivative

### Stationary random graphs on Z with prescribed iid degrees and finite mean connections

Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the non-negative

### When is a graph planar?

When is a graph planar? Theorem(Euler, 1758) If a plane multigraph G with k components has n vertices, e edges, and f faces, then n e + f = 1 + k. Corollary If G is a simple, planar graph with n(g) 3,

### CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010

CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison Gomory-Hu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected