arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Kyle Fox

28 papers · 2010–2021

2010: 12011: 22012: 22013: 42014: 12015: 32016: 42017: 12018: 32019: 52020: 12021: 1
2010peak 5 in 20192021

Frequent co-authors

Papers

showing 1–25 of 28 RSS

Computing the Gromov-Hausdorff Distance for Metric Trees

Pankaj K. Agarwal, Kyle Fox, Abhinandan Nath +2 more

cs.CG · · cited 97× · arXiv ↗ · more like this ·

The Gromov-Hausdorff (GH) distance is a natural way to measure distance between two metric spaces. We prove that it is $\mathrm{NP}$-hard to approximate the Gromov-Hausdorff distance better than a factor of $3$ for geodesic metrics on a pair of trees. We complement this result by providing a polynomial time $O(\min\{n, \sqrt{rn}\})$-approximation algorithm for computing the GH distance between a pair of metric trees, where $r$ is the ratio of the longest edge length in both trees to the shortest edge length. For metric trees with unit length edges, this yields an $O(\sqrt{n})$-approximation algorithm.

Approximating Dynamic Time Warping and Edit Distance for a Pair of Point Sequences

Pankaj K. Agarwal, Kyle Fox, Jiangwei Pan +1 more

cs.CG · · cited 46× · arXiv ↗ · more like this ·

We give the first subquadratic-time approximation schemes for dynamic time warping (DTW) and edit distance (ED) of several natural families of point sequences in $\mathbb{R}^d$, for any fixed $d \ge 1$. In particular, our algorithms compute $(1+\varepsilon)$-approximations of DTW and ED in time near-linear for point sequences drawn from k-packed or k-bounded curves, and subquadratic for backbone sequences. Roughly speaking, a curve is $κ$-packed if the length of its intersection with any ball of radius $r$ is at most $κ\cdot r$, and a curve is $κ$-bounded if the sub-curve between two curve points does not go too far from the two points compared to the distance between the two points. In backbone sequences, consecutive points are spaced at approximately equal distances apart, and no two points lie very close together. Recent results suggest that a subquadratic algorithm for DTW or ED is…

Subtrajectory Clustering

Pankaj K. Agarwal, Kyle Fox, Kamesh Munagala +3 more

Signal Processing · · cited 38× · DOI ↗ · more like this ·

We propose a model for subtrajectory clustering ---the clustering of subsequences of trajectories; each cluster of subtrajectories is represented as a pathlet, a sequence of points that is not necessarily a subsequence of an input trajectory. Given a set of trajectories, our clustering model attempts to capture the shared portions between them by assuming each trajectory is a concatenation of a small set of pathlets, with possible gaps in between. We present a single objective function for finding the optimal collection of pathlets that best represents the trajectories taking into account noise and other artifacts of the data. We show that the subtrajectory clustering problem is NP-Hard and present fast approximation algorithms for subtrajectory clustering. We further improve the running time of our algorithm if the input trajectories are "well-behaved." Finally, we present experimental…

Parallel Algorithms for Constructing Range and Nearest-Neighbor Searching Data Structures

Pankaj K. Agarwal, Kyle Fox, Kamesh Munagala +1 more

Signal Processing · · cited 26× · DOI ↗ · more like this ·

With the massive amounts of data available today, it is common to store and process data using multiple machines. Parallel programming platforms such as MapReduce and its variants are popular frameworks for handling such large data. We present the first provably efficient algorithms to compute, store, and query data structures for range queries and approximate nearest neighbor queries in a popular parallel computing abstraction that captures the salient features of MapReduce and other massively parallel communication (MPC) models. In particular, we describe algorithms for $kd$-trees, range trees, and BBD-trees that only require O(1) rounds of communication for both preprocessing and querying while staying competitive in terms of running time and workload to their classical counterparts. Our algorithms are randomized, but they can be made deterministic at some increase in their running…

An Efficient Algorithm for Computing High-Quality Paths amid Polygonal Obstacles

Pankaj K. Agarwal, Kyle Fox, Oren Salzman

cs.CG · · cited 23× · arXiv ↗ · more like this ·

We study a path-planning problem amid a set $\mathcal{O}$ of obstacles in $\mathbb{R}^2$, in which we wish to compute a short path between two points while also maintaining a high clearance from $\mathcal{O}$; the clearance of a point is its distance from a nearest obstacle in $\mathcal{O}$. Specifically, the problem asks for a path minimizing the reciprocal of the clearance integrated over the length of the path. We present the first polynomial-time approximation scheme for this problem. Let $n$ be the total number of obstacle vertices and let $\varepsilon \in (0,1]$. Our algorithm computes in time $O(\frac{n^2}{\varepsilon ^2} \log \frac{n}{\varepsilon})$ a path of total cost at most $(1+\varepsilon)$ times the cost of the optimal path.

Energy Efficient Scheduling of Parallelizable Jobs

Kyle Fox, Sungjin Im, Benjamin Moseley

Computer Networks and Communications · · cited 23× · OpenAlex ↗ · more like this ·

In this paper, we consider scheduling parallelizable jobs in the non-clairvoyant speed scaling setting to minimize the objective of weighted flow time plus energy. Previously, strong lower bounds were shown on this model in the unweighted setting even when the algorithm is given a constant amount of resource augmentation over the optimal solution. However, these lower bounds were given only for certain families of algorithms that do not recognize the parallelizability of alive jobs. In this work, we circumvent previous lower bounds shown and give a scalable algorithm under the natural assumption that the algorithm can know the current parallelizability of a job. When a general power function is considered, this is also the first algorithm that has a constant competitive ratio for the problem using any amount of resource augmentation. 1

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs

Kyle Fox

cs.CG · · cited 20× · arXiv ↗ · more like this ·

Let G be a graph embedded on a surface of genus g with b boundary cycles. We describe algorithms to compute multiple types of non-trivial cycles in G, using different techniques depending on whether or not G is an undirected graph. If G is undirected, then we give an algorithm to compute a shortest non-separating cycle in 2^O(g) n log log n time. Similar algorithms are given to compute a shortest non-contractible or non-null-homologous cycle in 2^O(g+b) n log log n time. Our algorithms for undirected G combine an algorithm of Kutz with known techniques for efficiently enumerating homotopy classes of curves that may be shortest non-trivial cycles. Our main technical contributions in this work arise from assuming G is a directed graph with possibly asymmetric edge weights. For this case, we give an algorithm to compute a shortest non-contractible cycle in G in O((g^3 + g b)n log n) time.…

Global minimum cuts in surface embedded graphs

Jeff Erickson, Kyle Fox, Amir Nayyeri

Computational Theory and Mathematics · Symposium on Discrete Algorithms · · cited 18× · DOI ↗ · more like this ·

We give a deterministic algorithm to find the minimum cut in a surface-embedded graph in near-linear time. Given an undirected graph embedded on an orientable surface of genus g, our algorithm computes the minimum cut in g O(g) n log log n time, matching the running time of the fastest algorithm known for planar graphs, due to Ł ˛acki and Sankowski, for any constant g. Indeed, our algorithm calls Ł ˛acki and Sankowski’s recent O(n log log n) time planar algorithm as a subroutine. Previously, the best time bounds known for this problem followed from two algorithms for general sparse graphs: a randomized algorithm of Karger that runs in O(n log³ n) time and succeeds with high probability, and a deterministic algorithm of Nagamochi and Ibaraki that runs in O(n² log n) time. We can also achieve a deterministic g O(g) n² log log n time bound by repeatedly applying the best known algorithm…

A simple efficient approximation algorithm for dynamic time warping

Rex Ying, Jiangwei Pan, Kyle Fox +1 more

Signal Processing · · cited 14× · DOI ↗ · more like this ·

Dynamic time warping (DTW) is a widely used curve similarity measure. We present a simple and efficient (1 + ε)- approximation algorithm for DTW between a pair of point sequences, say, P and Q, each of which is sampled from a curve. We prove that the running time of the algorithm is O([EQUATION]n log σ) for a pair of k-packed curves with a total of n points, assuming that the spreads of P and Q are bounded by σ. The spread of a point set is the ratio of the maximum to the minimum pairwise distance, and a curve is called K- packed if the length of its intersection with any disk of radius r is at most Kr. Although an algorithm with similar asymptotic time complexity was presented in [1], our algorithm is considerably simpler and more efficient in practice.

Weighted flowtime on capacitated machines

Kyle Fox, Madhukar Korupolu

Computer Networks and Communications · Symposium on Discrete Algorithms · · cited 9× · DOI ↗ · more like this ·

It is well-known that SRPT is optimal for minimizing flow time on machines that run one job at a time. However, running one job at a time is a big under-utilization for modern systems where sharing, simultaneous execution, and virtualization-enabled consolidation are a common trend to boost utilization. Such machines, used in modern large data centers and clouds, are powerful enough to run multiple jobs/VMs at a time subject to overall CPU, memory, network, and disk capacity constraints.Motivated by this prominent trend and need, in this work, we give the first scheduling algorithms to minimize weighted flow time on such capacitated machines. To capture the difficulty of the problem, we show that without resource augmentation, no online algorithm can achieve a bounded competitive ratio. We then investigate algorithms with a small resource augmentation in speed and/or capacity. Our first…

Minimum cycle and homology bases of surface embedded graphs

Glencora Borradaile, Erin Wolf Chambers, Kyle Fox +1 more

cs.DS · · cited 8× · arXiv ↗ · more like this ·

We study the problems of finding a minimum cycle basis (a minimum weight set of cycles that form a basis for the cycle space) and a minimum homology basis (a minimum weight set of cycles that generates the $1$-dimensional ($\mathbb{Z}_2$)-homology classes) of an undirected graph embedded on a surface. The problems are closely related, because the minimum cycle basis of a graph contains its minimum homology basis, and the minimum homology basis of the $1$-skeleton of any graph is exactly its minimum cycle basis. For the minimum cycle basis problem, we give a deterministic $O(n^ω+2^{2g}n^2+m)$-time algorithm for graphs embedded on an orientable surface of genus $g$. The best known existing algorithms for surface embedded graphs are those for general graphs: an $O(m^ω)$ time Monte Carlo algorithm and a deterministic $O(nm^2/\log n + n^2 m)$ time algorithm. For the minimum homology basis…

Massively parallel algorithms for computing TIN DEMs and contour trees for large terrains

Abhinandan Nath, Kyle Fox, Pankaj K. Agarwal +1 more

Computational Theory and Mathematics · · cited 7× · DOI ↗ · more like this ·

We propose parallel algorithms in the massively parallel communication (MPC) model (e.g. MapReduce) for processing large terrain elevation data (represented as a 3D point cloud) that are too big to fit on one machine. In particular, given a set S of 3D points that is distributed across multiple machines, we present a simple randomized algorithm to construct a TIN DEM of S by computing the Delaunay triangulation of the xy-projections of points in S, which is also stored across multiple machines. With high probability, the algorithm works in O(1) rounds and the total work performed is O(n log n). Next, we describe an efficient algorithm in the MPC model for computing the contour tree of the resulting DEM. Under some assumptions on the input, the algorithm works in O(1) rounds and the total work performed is O(n log n).

Minimum Cut and Minimum <i>k</i>-Cut in Hypergraphs via Branching Contractions

Kyle Fox, Debmalya Panigrahi, Fred Zhang

Computational Theory and Mathematics · Society for Industrial and Applied Mathematics eBooks · · cited 6× · DOI ↗ · more like this ·

On hypergraphs with m hyperedges and n vertices, where p denotes the total size of the hyperedges, we provide the following results: We give an algorithm that runs in Õ(mn2k–2) time for finding a minimum k-cut in hypergraphs of arbitrary rank. This algorithm betters the previous best running time for the minimum k-cut problem, for k > 2. We give an algorithm that runs in Õ(nmax{r, 2k–2}) time for finding a minimum k-cut in hypergraphs of constant rank r. This algorithm betters the previous best running times for both the minimum cut and minimum k-cut problems for dense hypergraphs. Both of our algorithms are Monte Carlo, i.e., they return a minimum k-cut (or minimum cut) with high probability. These algorithms are obtained as instantiations of a generic branching randomized contraction technique on hypergraphs, which extends the celebrated work of Karger and Stein on recursive…

Upper Bounds for Maximally Greedy Binary Search Trees

Kyle Fox

cs.DS · · cited 6× · arXiv ↗ · more like this ·

At SODA 2009, Demaine et al. presented a novel connection between binary search trees (BSTs) and subsets of points on the plane. This connection was independently discovered by Derryberry et al. As part of their results, Demaine et al. considered GreedyFuture, an offline BST algorithm that greedily rearranges the search path to minimize the cost of future searches. They showed that GreedyFuture is actually an online algorithm in their geometric view, and that there is a way to turn GreedyFuture into an online BST algorithm with only a constant factor increase in total search cost. Demaine et al. conjectured this algorithm was dynamically optimal, but no upper bounds were given in their paper. We prove the first non-trivial upper bounds for the cost of search operations using GreedyFuture including giving an access lemma similar to that found in Sleator and Tarjan's classic paper on…

Counting and sampling minimum cuts in genus g graphs

Erin Wolf Chambers, Kyle Fox, Amir Nayyeri

Computational Theory and Mathematics · · cited 4× · DOI ↗ · more like this ·

Let $G$ be a directed graph with n vertices embedded on an orientable surface of genus g with two designated vertices s and t. We show that counting the minimum (s,t)-cuts in G is fixed parameter tractable in g. Specially, we give a 2O(g) n2 time algorithm for this problem. Our algorithm requires counting sets of cycles in a particular integer homology class. That we can count these cycles is an interesting result in itself as there are few prior results that are fixed parameter tractable and deal directly with integer homology. We also describe an algorithm which, after running our algorithm to count minimum cuts once, can sample a minimum cut uniformly at random in O(gn) time per sample.

Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities

Julian Enoch, Kyle Fox, Dor Mesica +1 more

cs.DS · · cited 2× · arXiv ↗ · more like this ·

We give an $O(k^3 n \log n \min(k,\log^2 n) \log^2(nC))$-time algorithm for computing maximum integer flows in planar graphs with integer arc {\em and vertex} capacities bounded by $C$, and $k$ sources and sinks. This improves by a factor of $\max(k^2,k\log^2 n)$ over the fastest algorithm previously known for this problem [Wang, SODA 2019]. The speedup is obtained by two independent ideas. First we replace an iterative procedure of Wang that uses $O(k)$ invocations of an $O(k^3 n \log^3 n)$-time algorithm for maximum flow algorithm in a planar graph with $k$ apices [Borradaile et al., FOCS 2012, SICOMP 2017], by an alternative procedure that only makes one invocation of the algorithm of Borradaile et al. Second, we show two alternatives for computing flows in the $k$-apex graphs that arise in our modification of Wang's procedure faster than the algorithm of Borradaile et al. In doing…

Holiest Minimum-Cost Paths and Flows in Surface Graphs

Jeff Erickson, Kyle Fox, Luvsandondov Lkhamsuren

cs.DS · · cited 2× · arXiv ↗ · more like this ·

Let $G$ be an edge-weighted directed graph with $n$ vertices embedded on an orientable surface of genus $g$. We describe a simple deterministic lexicographic perturbation scheme that guarantees uniqueness of minimum-cost flows and shortest paths in $G$. The perturbations take $O(gn)$ time to compute. We use our perturbation scheme in a black box manner to derive a deterministic $O(n \log \log n)$ time algorithm for minimum cut in \emph{directed} edge-weighted planar graphs and a deterministic $O(g^2 n \log n)$ time proprocessing scheme for the multiple-source shortest paths problem of computing a shortest path oracle for all vertices lying on a common face of a surface embedded graph. The latter result yields faster deterministic near-linear time algorithms for a variety of problems in constant genus surface embedded graphs. Finally, we open the black box in order to generalize a recent…

Spanning Paths in Fibonacci-Sum Graphs

Kyle Fox, William B. Kinnersley, Daniel C. McDonald +2 more

Computational Theory and Mathematics · ˜The œFibonacci quarterly · · cited 2× · DOI ↗ · more like this ·

Motivated by a problem posed by Barwell, we apply graph theory to determine all n for which the numbers 1, . . . , n can be ordered so that the sum of any two consecutive terms is a Fibonacci number. We prove that such an ordering exists if and only if n is 9, 11, a Fibonacci number, or one less than a Fibonacci number. For each such n, we also prove that at most two such orderings exist, up to symmetry.

Maintaining Reeb Graphs of Triangulated 2-Manifolds

Pankaj K. Agarwal, Kyle Fox, Abhinandan Nath

Computational Theory and Mathematics · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · · cited 1× · DOI ↗ · more like this ·

Let M be a triangulated, orientable 2-manifold of genus g without boundary, and let h be a height function over M that is linear within each triangle. We present a kinetic data structure (KDS) for maintaining the Reeb graph R of h as the heights of M's vertices vary continuously with time. Assuming the heights of two vertices of M become equal only O(1) times, the KDS processes O((k + g) n \polylog n) events; n is the number of vertices in M, and k is the number of external events which change the combinatorial structure of R. Each event is processed in O(\log^2 n) time, and the total size of our KDS is O(gn). The KDS can be extended to maintain an augmented Reeb graph as well.

Approximating the (Continuous) Fréchet Distance

Connor Colombe, Kyle Fox

cs.CG · · cited 0× · arXiv ↗ · more like this ·

We describe the first strongly subquadratic time algorithm with subexponential approximation ratio for approximately computing the Fréchet distance between two polygonal chains. Specifically, let $P$ and $Q$ be two polygonal chains with $n$ vertices in $d$-dimensional Euclidean space, and let $α\in [\sqrt{n}, n]$. Our algorithm deterministically finds an $O(α)$-approximate Fréchet correspondence in time $O((n^3 / α^2) \log n)$. In particular, we get an $O(n)$-approximation in near-linear $O(n \log n)$ time, a vast improvement over the previously best know result, a linear time $2^{O(n)}$-approximation. As part of our algorithm, we also describe how to turn any approximate decision procedure for the Fréchet distance into an approximate optimization algorithm whose approximation ratio is the same up to arbitrarily small constant factors. The transformation into an approximate optimization…

Minimum Cuts in Surface Graphs

Erin W. Chambers, Jeff Erickson, Kyle Fox +1 more

cs.DS · · cited 0× · arXiv ↗ · more like this ·

We describe algorithms to efficiently compute minimum $(s,t)$-cuts and global minimum cuts of undirected surface-embedded graphs. Given an edge-weighted undirected graph $G$ with $n$ vertices embedded on an orientable surface of genus $g$, our algorithms can solve either problem in $g^{O(g)} n \log \log n$ or $2^{O(g)} n \log n$ time, whichever is better. When $g$ is a constant, our $g^{O(g)} n \log \log n$ time algorithms match the best running times known for computing minimum cuts in planar graphs. Our algorithms for minimum cuts rely on reductions to the problem of finding a minimum-weight subgraph in a given $\mathbb{Z}_2$-homology class, and we give efficient algorithms for this latter problem as well. If $G$ is embedded on a surface with $b$ boundary components, these algorithms run in $(g + b)^{O(g + b)} n \log \log n$ and $2^{O(g + b)} n \log n$ time. We also prove that finding…

Approximating the Geometric Edit Distance

Kyle Fox, Xinyi Li

cs.CG · · cited 0× · arXiv ↗ · more like this ·

Edit distance is a measurement of similarity between two sequences such as strings, point sequences, or polygonal curves. Many matching problems from a variety of areas, such as signal analysis, bioinformatics, etc., need to be solved in a geometric space. Therefore, the geometric edit distance (GED) has been studied. In this paper, we describe the first strictly sublinear approximate near-linear time algorithm for computing the GED of two point sequences in constant dimensional Euclidean space. Specifically, we present a randomized (O(n\log^2n)) time (O(\sqrt n))-approximation algorithm. Then, we generalize our result to give a randomized $α$-approximation algorithm for any $α\in [\sqrt{\log n}, \sqrt{n / \log n}]$, running in time $O(n^2/α^2 \log n)$. Both algorithms are Monte Carlo and return approximately optimal solutions with high probability.

A Polynomial-time Bicriteria Approximation Scheme for Planar Bisection

Kyle Fox, Philip N. Klein, Shay Mozes

cs.DS · · cited 0× · arXiv ↗ · more like this ·

Given an undirected graph with edge costs and node weights, the minimum bisection problem asks for a partition of the nodes into two parts of equal weight such that the sum of edge costs between the parts is minimized. We give a polynomial time bicriteria approximation scheme for bisection on planar graphs. Specifically, let $W$ be the total weight of all nodes in a planar graph $G$. For any constant $\varepsilon > 0$, our algorithm outputs a bipartition of the nodes such that each part weighs at most $W/2 + \varepsilon$ and the total cost of edges crossing the partition is at most $(1+\varepsilon)$ times the total cost of the optimal bisection. The previously best known approximation for planar minimum bisection, even with unit node weights, was $O(\log n)$. Our algorithm actually solves a more general problem where the input may include a target weight for the smaller side of the…

Fast algorithms for surface embedded graphs via homology

Kyle Fox

Computational Theory and Mathematics · · cited 0× · OpenAlex ↗ · more like this ·

We describe several results on combinatorial optimization problems for graphs where the input comes with an embedding on an orientable surface of small genus. While the specific techniques used differ between problems, all the algorithms we describe share one common feature in that they rely on the al-gebraic topology construct of homology. We describe algorithms to compute global minimum cuts and count minimum s, t-cuts. We describe new algo-rithms to compute short cycles that are topologically non-trivial. Finally, we describe ongoing work in designing a new algorithm for computing maximum s, t-flows in surface embedded graphs. We begin by describing an algorithm to compute global minimum cuts in edge weighted genus g graphs in gO(g)n log log n time. When the genus is a constant, our algorithm’s running time matches the best time bound known for planar graphs due to La̧cki and…

Adviser:

Kyle J. Fox

Safety Research · · cited 0× · OpenAlex ↗ · more like this ·

Due to its optimality on a single machine for the problem of minimizing average flow time, Shortest-Remaining-Processing-Time (SRPT) appears to be the most natural algorithm to consider for the problem of minimizing average flow time on multiple identical machines. It is known that SRPT achieves the best possible competitive ratio on multiple machines up to a constant factor. Using resource augmentation, SRPT is known to achieve total flow time at most that of the optimal solution when given machines of speed 2 − 1 m. Further, it is known that SRPT’s competitive ratio improves as the speed increases; SRPT is s-speed 1