Publications (79)12.7 Total impact
 [Show abstract] [Hide abstract]
ABSTRACT: We revisit the problem of searching for a target at an unknown location on a line when given upper and lower bounds on the distance D that separates the initial position of the searcher from the target. Prior to this work, only asymptotic bounds were known for the optimal competitive ratio achievable by any search strategy in the worst case. We present the first tight bounds on the exact optimal competitive ratio achievable, parameterized in terms of the given bounds on D, along with an optimal search strategy that achieves this competitive ratio. We prove that this optimal strategy is unique. We characterize the conditions under which an optimal strategy can be computed exactly and, when it cannot, we explain how numerical methods can be used efficiently. In addition, we answer several related open questions, including the maximal reach problem, and we discuss how to generalize these results to m rays, for any .Theoretical Computer Science 03/2015; 569. · 0.52 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: We consider several variations of the problems of covering a set of barriers (modeled as line segments) using sensors that can detect any intruder crossing any of the barriers. Sensors are initially located in the plane and they can relocate to the barriers. We assume that each sensor can detect any intruder in a circular area centered at the sensor. Given a set of barriers and a set of sensors located in the plane, we study three problems: the feasibility of barrier coverage, the problem of minimizing the largest relocation distance of a sensor (MinMax), and the problem of minimizing the sum of relocation distances of sensors (MinSum). When sensors are permitted to move to arbitrary positions on the barrier, the problems are shown to be NPcomplete. We also study the case when sensors use perpendicular movement to one of the barriers. We show that when the barriers are parallel, both the MinMax and MinSum problems can be solved in polynomial time. In contrast, we show that even the feasibility problem is NPcomplete if two perpendicular barriers are to be covered, even if the sensors are located at integer positions, and have only two possible sensing ranges. On the other hand, we give an O(n 3 2 ) algorithm for a natural special case of this last problem.Theoretical Computer Science. 02/2015; 
Article: On graphs that are not pcgs
[Show abstract] [Hide abstract]
ABSTRACT: Let T be an edge weighted tree and let d min ,d max be two nonnegative real numbers. Then the pairwise compatibility graph (PCG) of T is a graph G such that each vertex of G corresponds to a distinct leaf of T and two vertices are adjacent in G if and only if the weighted distance between their corresponding leaves in T is in the interval [d min ,d max ]. Similarly, a given graph G is a PCG if there exist suitable T,d min ,d max , such that G is a PCG of T. Yanhaona, Bayzid and Rahman proved that there exists a graph with 15 vertices that is not a PCG. On the other hand, Calamoneri, Frascaria and Sinaimeri proved that every graph with at most seven vertices is a PCG. In this paper we construct a graph of eight vertices that is not a PCG, which strengthens the result of Yanhaona, Bayzid and Rahman, and implies optimality of the result of Calamoneri, Frascaria and Sinaimeri. We then construct a planar graph with sixteen vertices that is not a PCG. Finally, we prove a variant of the PCG recognition problem to be NPcomplete.Theoretical Computer Science. 01/2015; 
Conference Paper: Low Space Data Structures for Geometric Range Mode Query
[Show abstract] [Hide abstract]
ABSTRACT: Let $\set$ be a set of $n$ points in an $[n]^d$ grid, such that each point is assigned a color. Given a query range $\Q= [a_1, b_1] \times [a_2, b_2] \times \ldots \times [a_d, b_d]$, the geometric range mode query problem asks to report the most frequent color (i.e., a mode) of the multiset of colors corresponding to points in $\set \cap \Q$. When $d=1$, Chan et al.~(STACS 2012 \cite{chan2012linear}) gave a data structure that requires $O(n+(n/\Delta)^2/w)$ words of space and supports range mode queries in $O(\Delta)$ time for any $\Delta \geq 1$, where $w = \Omega(\log n)$ is the word size. Chan et al.\ also proposed a data structures for higher dimensions (i.e., $d \geq 2$) with $O(s_n+(n/\Delta)^{2d})$ space and $O(\Delta\cdot t_n)$ query time, where $s_n$ and $t_n$ denote the space and query time of a data structure that supports orthogonal range counting queries on the set $\set$. In this paper we show that the space can be improved without any increase to the query time, by presenting an $O(s_n+(n/\Delta)^{2d}/w)$space data structure that supports orthogonal range mode queries on a set of $n$ points in $d$ dimensions in $O(\Delta \cdot t_n)$ time, for any $\Delta \geq 1$. When $d=1$, these space and query time costs match those achieved by the current best known onedimensional data structure.TwentySixth Canadian Conference on Computational Geometry (CCCG 2014).; 08/2014 
Conference Paper: Drawing Plane Triangulations with Few Segments
[Show abstract] [Hide abstract]
ABSTRACT: Dujmovi, Eppstein, Suderman, and Wood showed that every 3connected plane graph G with n vertices admits a straightline drawing with at most 2.5n − 3 segments, which is also the best known upper bound when restricted to plane triangulations. On the other hand, they showed that there exist triangulations requiring 2n − 6 segments. In this paper we show that every plane triangulation admits a straightline drawing with at most (7n − 2∆ 0 − 10)/3 ≤ 2.33n segments, where ∆ 0 is the number of cyclic faces in the minimum realizer of G. If the input triangulation is 4connected, then our algorithm computes a drawing with at most (9n − 9)/4 ≤ 2.25n segments. For general plane graphs with n vertices and m edges, our algorithm requires at most (16n − 3m − 28)/3 ≤ 5.33n − m segments, which is smaller than 2.5n − 3 for all m ≥ 2.84n.The 26th Canadian Conference on Computational Geometry (CCCG); 08/2014  01/2014; 5(1):1440.
 International Journal of Computational Geometry & Applications 01/2014; 23(06). · 0.08 Impact Factor

Conference Paper: Drawing HVRestricted Planar Graphs
[Show abstract] [Hide abstract]
ABSTRACT: A strict orthogonal drawing of a graph G=(V,E) in ℝ 2 is a drawing of G such that each vertex is mapped to a distinct point and each edge is mapped to a horizontal or vertical line segment. A graph G is HVrestricted if each of its edges is assigned a horizontal or vertical orientation. A strict orthogonal drawing of an HVrestricted graph G is good if it is planar and respects the edge orientations of G. In this paper we give a polynomialtime algorithm to check whether a given HVrestricted plane graph (i.e., a planar graph with a fixed combinatorial embedding) admits a good orthogonal drawing preserving the input embedding, which settles an open question posed by Maňuch, Patterson, Poon and Thachuk (GD 2010). We then examine HVrestricted planar graphs (i.e., when the embedding is not fixed). Here we completely characterize the 2connected maximumdegreethree HVrestricted outerplanar graphs that admit good orthogonal drawings.11th Latin American Symposium on Theoretical Informatics (LATIN 2014), Montevideo, Uruguay; 01/2014 
Conference Paper: Indexed Geometric Jumbled Pattern Matching
[Show abstract] [Hide abstract]
ABSTRACT: We consider how to preprocess n colored points in the plane such that later, given a multiset of colors, we can quickly find an axisaligned rectangle containing a subset of the points with exactly those colors, if one exists. We first give an index that uses o(n 4 ) space and o(n) query time when there are O(1) distinct colors. We then restrict our attention to the case in which there are only two distinct colors. We give an index that uses O(n) bits and O(1) query time to detect whether there exists a matching rectangle. Finally, we give a O(n)space index that returns a matching rectangle, if one exists, in O(lg 2 n/lglgn) time.25th Annual Symposium on Combinatorial Pattern Matching (CPM 2014), Moscow, Russia, June 1618, 2014; 01/2014 
Article: Cyclemaximal trianglefree graphs
[Show abstract] [Hide abstract]
ABSTRACT: We conjecture that the balanced complete bipartite graph $K_{\lfloor n/2 \rfloor,\lceil n/2 \rceil}$ contains more cycles than any other $n$vertex trianglefree graph, and we make some progress toward proving this. We give equivalent conditions for cyclemaximal trianglefree graphs; show bounds on the numbers of cycles in graphs depending on numbers of vertices and edges, girth, and homomorphisms to small fixed graphs; and use the bounds to show that among regular graphs, the conjecture holds. We also consider graphs that are close to being regular, with the minimum and maximum degrees differing by at most a positive integer $k$. For $k=1$, we show that any such counterexamples have $n\le 91$ and are not homomorphic to $C_5$; and for any fixed $k$ there exists a finite upper bound on the number of vertices in a counterexample. Finally, we describe an algorithm for efficiently computing the matrix permanent (a $#P$complete problem in general) in a special case used by our bounds.Discrete Mathematics 10/2013; 338(2). · 0.57 Impact Factor  [Show abstract] [Hide abstract]
ABSTRACT: We revisit the problem of searching for a target at an unknown location on a line when given upper and lower bounds on the distance D that separates the initial position of the searcher from the target. Prior to this work, only asymptotic bounds were known for the optimal competitive ratio achievable by any search strategy in the worst case. We present the first tight bounds on the exact optimal competitive ratio achievable, parameterized in terms of the given bounds on D, along with an optimal search strategy that achieves this competitive ratio. We prove that this optimal strategy is unique. We characterize the conditions under which an optimal strategy can be computed exactly and, when it cannot, we explain how numerical methods can be used efficiently. In addition, we answer several related open questions, including the maximal reach problem, and we discuss how to generalize these results to m rays, for any m >= 2.10/2013;  [Show abstract] [Hide abstract]
ABSTRACT: Consider a sliding camera that travels back and forth along an orthogonal line segment $s$ inside an orthogonal polygon $P$ with $n$ vertices. The camera can see a point $p$ inside $P$ if and only if there exists a line segment containing $p$ that crosses $s$ at a right angle and is completely contained in $P$. In the minimum sliding cameras (MSC) problem, the objective is to guard $P$ with the minimum number of sliding cameras. In this paper, we give an $O(n^{5/2})$time $(7/2)$approximation algorithm to the MSC problem on any simple orthogonal polygon with $n$ vertices, answering a question posed by Katz and Morgenstern (2011). To the best of our knowledge, this is the first constantfactor approximation algorithm for this problem.08/2013; 
Conference Paper: Plane 3trees: embeddability and approximation
[Show abstract] [Hide abstract]
ABSTRACT: We give an O(nlog3n)time linearspace algorithm that, given a plane 3tree G with n vertices and a set S of n points in the plane, determines whether G has a pointset embedding on S (i.e., a planar straightline drawing of G where each vertex is mapped to a distinct point of S), improving the O(n4/3+ε)time O(n4/3)space algorithm of Moosa and Rahman. Given an arbitrary plane graph G and a point set S, Di Giacomo and Liotta gave an algorithm to compute 2bend pointset embeddings of G on S using O(W3) area, where W is the length of the longest edge of the bounding box of S. Their algorithm uses O(W3) area even when the input graphs are restricted to plane 3trees. We introduce new techniques for computing 2bend pointset embeddings of plane 3trees that takes only O(W2) area. We also give approximation algorithms for pointset embeddings of plane 3trees. Our results on 2bend pointset embeddings and approximate pointset embeddings hold for partial plane 3trees (e.g., seriesparallel graphs and Halin graphs).Proceedings of the 13th international conference on Algorithms and Data Structures; 08/2013 
Conference Paper: Guarding Orthogonal Art Galleries Using Sliding Cameras: Algorithmic and Hardness Results
[Show abstract] [Hide abstract]
ABSTRACT: Let P be an orthogonal polygon. Consider a sliding camera that travels back and forth along an orthogonal line segment s⊆P as its trajectory. The camera can see a point p∈P if there exists a point q∈s such that pq is a line segment normal to s that is completely contained in P. In the minimumcardinality sliding cameras problem, the objective is to find a set S of sliding cameras of minimum cardinality to guard P (i.e., every point in P can be seen by some sliding camera in S) while in the minimumlength sliding cameras problem the goal is to find such a set S so as to minimize the total length of trajectories along which the cameras in S travel. In this paper, we first settle the complexity of the minimumlength sliding cameras problem by showing that it is polynomial tractable even for orthogonal polygons with holes, answering a question posed by Katz and Morgenstern [9]. Next we show that the minimumcardinality sliding cameras problem is NPhard when P is allowed to have holes, which partially answers another question posed by Katz and Morgenstern [9].38th International Symposium on Mathematical Foundations of Computer Science (MFCS 2013), Klosterneuburg, Austria; 08/2013  [Show abstract] [Hide abstract]
ABSTRACT: Let $P$ be an orthogonal polygon. Consider a sliding camera that travels back and forth along an orthogonal line segment $s\in P$ as its \emph{trajectory}. The camera can see a point $p\in P$ if there exists a point $q\in s$ such that $pq$ is a line segment normal to $s$ that is completely inside $P$. In the \emph{minimumcardinality sliding cameras problem}, the objective is to find a set $S$ of sliding cameras of minimum cardinality to guard $P$ (i.e., every point in $P$ can be seen by some sliding camera) while in the \emph{minimumlength sliding cameras problem} the goal is to find such a set $S$ so as to minimize the total length of trajectories along which the cameras in $S$ travel. In this paper, we first settle the complexity of the minimumlength sliding cameras problem by showing that it is polynomial tractable even for orthogonal polygons with holes, answering a question asked by Katz and Morgenstern (2011). We next show that the minimumcardinality sliding cameras problem is \textsc{NP}hard when $P$ is allowed to have holes, which partially answers another question asked by Katz and Morgenstern (2011).03/2013; 
Article: Editorial: Foreword
[Show abstract] [Hide abstract]
ABSTRACT: The TwentySecond Annual Canadian Conference on Computational Geometry (CCCG 2010) was held at the University of Manitoba in Winnipeg, Canada, from August 911, 2010, and cochaired by Stephane Durocher and Jason Morrison. This was the first time this conference was hosted in the province of Manitoba. As in previous years, the focus of the conference was on current topics in discrete and computational geometry, including both theoretical and applied results. Submitted manuscripts were refereed by a program committee, which in 2010 consisted of twentysix international researchers. The conference included three invited plenary lectures, presented respectively by David Avis (who gave the annual Erdos Memorial Lecture), David Eppstein, and David Kirkpatrick. The conference had 99 attendees and received 90 paper submissions, of which three were withdrawn and 68 were accepted. Accepted papers were published in the conference proceedings (available electronically at cccg.ca). Authors of exceptional papers were invited to submit a revised version to this special issue of Computational Geometry: Theory and Applications. The conference organizers would like to thank the program committee for their meticulous reviews and discussion of submitted papers, and for promoting the conference. As well, the guest editors of this issue would like to thank the authors for carefully preparing and revising submissions and the referees for their efforts in providing thorough and prompt reviews of the submitted manuscripts.Computational Geometry: Theory and Applications. 02/2013; 46(2). 
Conference Paper: Top$k$ Color Queries On Tree Paths
[Show abstract] [Hide abstract]
ABSTRACT: We present a data structure for the following problem: Given a tree $\mathcal{T}$, with each of its nodes assigned a color in a totally ordered set, preprocess $\mathcal{T}$ to efficiently answer queries for the top $k$ distinct colors on the path between two nodes, reporting the colors sorted in descending order. Our data structure requires linear space of $O(n)$ words and answers queries in $O(k)$ time.20th String Processing and Information Retrieval Symposium (SPIRE 2013), Jerusalem, Israel, October 79, 2013; 01/2013 
Conference Paper: Robust Solvers for Square Jigsaw Puzzles
[Show abstract] [Hide abstract]
ABSTRACT: A jigsaw puzzle solver reconstructs the original image from a given collection of nonoverlapping image fragments using their color and shape information. In this paper we introduce new techniques for solving square jigsaw puzzles (with no prior knowledge of the initial image) that improves the accuracy of the stateoftheart jigsaw puzzle solvers. While the current puzzle solving techniques are based on finding enhanced compatibility metrics across piece boundaries, we combine the existing techniques to achieve higher accuracy and robustness, i.e., our solver outperforms the known solvers even when the piece boundaries are imprecise. Unlike the most successful puzzle solvers that use greedy pairwise compatibility metrics among puzzle boundaries, we incorporate global information that enhances performance. As a step towards the future goal of developing an automated assembler for reallife corrupted image fragments or shredded documents, we examine puzzles that are corrupted by noise. Our proposed compatibility metrics shows robustness even in such scenarios.Computer and Robot Vision (CRV), 2013 International Conference on; 01/2013 
Conference Paper: Thickness and Colorability of Geometric Graphs
[Show abstract] [Hide abstract]
ABSTRACT: The geometric thickness θ(G) of a graph G is the smallest integer t such that there exist a straightline drawing Γ of G and a partition of its straightline edges into t subsets, where each subset induces a planar drawing in Γ . Over a decade ago, Hutchinson, Shermer, and Vince proved that any nvertex graph with geometric thickness two can have at most 6n − 18 edges, and for every n ≥ 8 they constructed a geometric thickness two graph with 6n − 20 edges. In this paper, we construct geometric thickness two graphs with 6n − 19 edges for every n ≥ 9, which improves the previously known 6n − 20 lower bound. We then construct a thickness two graph with 10 vertices that has geometric thickness three, and prove that the problem of recognizing geometric thickness two graphs is NPhard, answering two questions posed by Dillencourt, Eppstein and Hirschberg. Finally, we prove the NPhardness of coloring graphs of geometric thickness t with 4t − 1 colors, which strengthens a result of McGrae and Zito, when t = 2.Thirtyninth International Workshop on GraphTheoretic Concepts in Computer Science (WG 2013); 01/2013  [Show abstract] [Hide abstract]
ABSTRACT: The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1230.52004].Computational Geometry 01/2013; 46(2). · 0.57 Impact Factor
Publication Stats
222  Citations  
12.70  Total Impact Points  
Top Journals
Institutions

2008–2015

University of Manitoba
 Department of Computer Science
Winnipeg, Manitoba, Canada


2007–2011

University of Waterloo
 David R. Cheriton School of Computer Science
Waterloo, Ontario, Canada 
McGill University
 School of Computer Science
Montréal, Quebec, Canada


2000–2003

University of British Columbia  Vancouver
 Department of Computer Science
Vancouver, British Columbia, Canada
