An Ω(n2 Log N) Lower Bound to the Shortest Paths Problem

Andrew Chi-Chih Yao,David Avis,Ronald L. Rivest

DOI: https://doi.org/10.1145/800105.803391

1977-01-01

Abstract:Let P be a polyhedron with f s s-dimensional faces. We show that Ω(log f s ) linear comparisons are needed to determine if a point lies in P. This is used to establish an Ω(n 2 log n) lower bound to the all-pairs shortest path problem between n points.

What problem does this paper attempt to address?

Information Bounds Are Weak in the Shortest Distance Problem

RL GRAHAM,AC YAO,FF YAO

DOI: https://doi.org/10.1145/322203.322206

1980-01-01

Abstract:In the all-pair shortest distance problem, one computes the matrix D = ($d_{ij}$) where $d_{ij}$ is the minimum weighted length of any path from vertex i to vertex j in a directed complete graph with a weight on each edge. In all the known algorithms, a shortest path $p_{ij}$ achieving $d_{ij}$ is also implicitly computed. In fact, $\log_3$ f(n) is an information-theoretic lower bound where f(n) is the total number of distinct patterns ($p_{ij}$) for n-vertex graphs. As f(n) potentially can be as large as $2^{n^3}$, it is hopeful that a non-trivial lower bound can be derived this way in the decision tree model. We study the characterization and enumeration of realizable patterns, and show that f(n) $\leq C^{n^2}$. Thus no lower bound greater than C$n^2$ can be derived from this approach. We prove as a corollary that the Triangular polyhedron $T^{(n)}$, defined in $E^{(n\choose 2)}$ by $d_{ij} \geq 0$ and the triangle inequalities $d_{ij} + d_{jk} \geq d_{ik}$, has at most $C^{n^2}$ faces of all dimensions, thus resolving an open question in a similar information bound approach to the shortest distance problem.
On the Polyhedral Decision Problem

AC YAO,RL RIVEST

DOI: https://doi.org/10.1137/0209028

1980-01-01

SIAM Journal on Computing

Abstract:Computational problems sometimes can be cast in the following form: Given a point ${\bf x}$ in $R^n $, determine if ${\bf x}$ lies in some fixed polyhedron. In this paper we give a general lower bound to the complexity of such problems, showing that $\frac{1}{2}\log _2 f_s $ linear comparisons are needed in the worst case, for any polyhedron with $f_s$ s -dimensional faces. For polyhedra with abundant faces, this leads to lower bounds nonlinear in n , the number of variables.
Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain

Sarita de Berg,Tillmann Miltzow,Frank Staals

2024-02-21

Abstract:We devise a data structure that can answer shortest path queries for two query points in a polygonal domain $P$ on $n$ vertices. For any $\varepsilon > 0$, the space complexity of the data structure is $O(n^{10+\varepsilon })$ and queries can be answered in $O(\log n)$ time. Alternatively, we can achieve a space complexity of $O(n^{9+\varepsilon })$ by relaxing the query time to $O(\log^2 n)$. This is the first improvement upon a conference paper by Chiang and Mitchell from 1999. They present a data structure with $O(n^{11})$ space complexity and $O(\log n)$ query time. Our main result can be extended to include a space-time trade-off. Specifically, we devise data structures with $O(n^{9+\varepsilon}/\hspace{1pt} \ell^{4 + O(\varepsilon )})$ space complexity and $O(\ell \log^2 n )$ query time, for any integer $1 \leq \ell \leq n$. Furthermore, we present improved data structures with $O(\log n)$ query time for the special case where we restrict one (or both) of the query points to lie on the boundary of $P$. When one of the query points is restricted to lie on the boundary, and the other query point is unrestricted, the space complexity becomes $O(n^{6+\varepsilon})$. When both query points are on the boundary, the space complexity is decreased further to $O(n^{4+\varepsilon })$, thereby improving an earlier result of Bae and Okamoto.

Computational Geometry,Data Structures and Algorithms
Inapproximability of shortest paths on perfect matching polytopes

Jean Cardinal,Raphael Steiner

DOI: https://doi.org/10.48550/arXiv.2210.14608

2022-10-26

Abstract:We consider the computational problem of finding short paths in the skeleton of the perfect matching polytope of a bipartite graph. We prove that unless $P=NP$, there is no polynomial-time algorithm that computes a path of constant length between two vertices at distance two of the perfect matching polytope of a bipartite graph. Conditioned on $P\neq NP$, this disproves a conjecture by Ito, Kakimura, Kamiyama, Kobayashi and Okamoto [SIAM Journal on Discrete Mathematics, 36(2), pp. 1102-1123 (2022)]. Assuming the Exponential Time Hypothesis we prove the stronger result that there exists no polynomial-time algorithm computing a path of length at most $\left(\frac{1}{4}-o(1)\right)\frac{\log N}{\log \log N}$ between two vertices at distance two of the perfect matching polytope of an $N$-vertex bipartite graph. These results remain true if the bipartite graph is restricted to be of maximum degree three. The above has the following interesting implication for the performance of pivot rules for the simplex algorithm on simply-structured combinatorial polytopes: If $P\neq NP$, then for every simplex pivot rule executable in polynomial time and every constant $k \in \mathbb{N}$ there exists a linear program on a perfect matching polytope and a starting vertex of the polytope such that the optimal solution can be reached in two monotone steps from the starting vertex, yet the pivot rule will require at least $k$ steps to reach the optimal solution. This result remains true in the more general setting of pivot rules for so-called circuit-augmentation algorithms.

Optimization and Control,Discrete Mathematics,Data Structures and Algorithms,Combinatorics
A Lower Bound to Finding Convex Hulls

Andrew Chi-Chih Yao

DOI: https://doi.org/10.1145/322276.322289

1981-01-01

Abstract:Gwen a set S of n distinct points {(x,, y,)(O _< l < n }, the convex hull problem is to determine the vertices of the convex hull H(S). All the known algorithms for solving this problem have a worst case runmng time of cn log n or higher and employ only quadratic tests, that is, tests of the formf(x0, y0, xl, yl, . , xn-~, yn-0:0, where f is any polynomial of degree not exceeding 2 It is shown here that any algorithm In the quadratic deciswn-tree model must make cn log n tests for some input
Preface: Special Issue on the Annual International Conference on Combinatorial Optimization and Applications (COCOA)

Gao Xiaofeng

DOI: https://doi.org/10.1007/s10878-021-00826-x

2021-01-01

Journal of Combinatorial Optimization

Abstract:Let P be a simple polygon of n vertices. We consider two-point L1 shortest path queries in P. We build a data structure of O(n) size in O(n) time such that given any two query points s and t, the length of an L1 shortest path from s to t in P can be computed in O(log⁡n) time, or in O(1) time if both s and t are vertices of P, and an actual shortest path can be output in additional linear time in the number of edges of the path. To achieve the result, we propose a mountain decomposition of simple polygons, which may be interesting in its own right. Most importantly, our approach is much simpler than the previous work on this problem.
On the Length of Monotone Paths in Polyhedra

Moïse Blanchard,Jesùs A. De Loera,Quentin Louveaux

DOI: https://doi.org/10.48550/arXiv.2001.09575

2020-01-27

Abstract:Motivated by the problem of bounding the number of iterations of the Simplex algorithm we investigate the possible lengths of monotone paths followed by the Simplex method inside the oriented graphs of polyhedra (oriented by the objective function). We consider both the shortest and the longest monotone paths and estimate the monotone diameter and height of polyhedra. Our analysis applies to transportation polytopes, matroid polytopes, matching polytopes, shortest-path polytopes, and the TSP, among others. We begin by showing that combinatorial cubes have monotone and Bland pivot height bounded by their dimension and that in fact all monotone paths of zonotopes are no larger than the number of edge directions of the zonotope. We later use this to show that several polytopes have polynomial-size pivot height, for all pivot rules. In contrast, we show that many well-known combinatorial polytopes have exponentially-long monotone paths. Surprisingly, for some famous pivot rules, e.g., greatest improvement and steepest edge, these same polytopes have polynomial-size simplex paths.

Optimization and Control,Combinatorics
Shortest paths on polymatroids and hypergraphic polytopes

Jean Cardinal,Raphael Steiner

2023-11-06

Abstract:Base polytopes of polymatroids, also known as generalized permutohedra, are polytopes whose edges are parallel to a vector of the form $\mathbf{e}_i - \mathbf{e}_j$. We consider the following computational problem: Given two vertices of a generalized permutohedron $P$, find a shortest path between them on the skeleton of $P$. This captures many known flip distance problems, such as computing the minimum number of exchanges between two spanning trees of a graph, the rotation distance between binary search trees, the flip distance between acyclic orientations of a graph, or rectangulations of a square. We prove that this problem is $NP$-hard, even when restricted to very simple polymatroids in $\mathbb{R}^n$ defined by $O(n)$ inequalities. Assuming $P\not= NP$, this rules out the existence of an efficient simplex pivoting rule that performs a minimum number of nondegenerate pivoting steps to an optimal solution of a linear program, even when the latter defines a polymatroid. We also prove that the shortest path problem is inapproximable when the polymatroid is specified via an evaluation oracle for a corresponding submodular function, strengthening a recent result by Ito et al. (ICALP'23). More precisely, we prove the $APX$-hardness of the shortest path problem when the polymatroid is a hypergraphic polytope, whose vertices are in bijection with acyclic orientations of a given hypergraph. The shortest path problem then amounts to computing the flip distance between two acyclic orientations of a hypergraph. On the positive side, we provide a polynomial-time approximation algorithm for the problem of computing the flip distance between two acyclic orientations of a hypergraph, where the approximation factor is the maximum codegree of the hypergraph. Our result implies an exact polynomial-time algorithm for the flip distance between two acyclic orientations of any linear hypergraph.

Data Structures and Algorithms,Discrete Mathematics,Combinatorics,Optimization and Control
Landscapes of the Tetrahedron and Cube: An Exploration of Shortest Paths on Polyhedra

Kenzie Fontenot,Erin Raign,August Sangalli,Emiko Saso,Houston Schuerger,Xin Shi,Ethan Striff-Cave

2024-04-07

Abstract:We consider the problem of determining the length of the shortest paths between points on the surfaces of tetrahedra and cubes. Our approach parallels the concept of Alexandrov's star unfolding but focuses on specific polyhedra and uses their symmetries to develop coordinate based formulae. We do so by defining a coordinate system on the surfaces of these polyhedra. Subsequently, we identify relevant regions within each polyhedron's nets and develop formulae which take as inputs the coordinates of the points and produce as an output the distance between the two points on the polyhedron being discussed.

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

Pankaj K. Agarwal,Kyle Fox,Oren Salzman

DOI: https://doi.org/10.48550/arXiv.1706.02939

2017-06-09

Abstract: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.

Computational Geometry,Data Structures and Algorithms,Robotics
Shortest Paths in Graphs of Convex Sets

Tobia Marcucci,Jack Umenberger,Pablo Parrilo,Russ Tedrake

DOI: https://doi.org/10.1137/22m1523790

IF: 2.763

2024-02-03

SIAM Journal on Optimization

Abstract:SIAM Journal on Optimization, Volume 34, Issue 1, Page 507-532, March 2024. Given a graph, the shortest-path problem requires finding a sequence of edges with minimum cumulative length that connects a source vertex to a target vertex. We consider a variant of this classical problem in which the position of each vertex in the graph is a continuous decision variable constrained in a convex set, and the length of an edge is a convex function of the position of its endpoints. Problems of this form arise naturally in many areas, from motion planning of autonomous vehicles to optimal control of hybrid systems. The price for such a wide applicability is the complexity of this problem, which is easily seen to be NP-hard. Our main contribution is a strong and lightweight mixed-integer convex formulation based on perspective operators, that makes it possible to efficiently find globally optimal paths in large graphs and in high-dimensional spaces.

mathematics, applied
On Minimum Link Monotone Path Problems

Xiangzhi Wei,Ajay Joneja

DOI: https://doi.org/10.1115/1.3615687

IF: 2.3

2011-01-01

Journal of Computing and Information Science in Engineering

Abstract:The problem of finding monotone paths between two given points has useful applications in path planning, and in particular, it is useful to look for minimum link paths. We are given a simple polygon P or a polygonal domain D with n vertices and a triplet of input parameters: (s, t, d), where s and t are two points in the plane and d is any direction. We show how to answer a query for the existence of a d-monotone path between s and t inside P (or D) in logarithmic time after preprocessing P in O(En) time, or D in O(En + ERlogR) time, where E is the size of the visibility graph of P (or D), and R is the number of reflex vertices in D. Our approach is based on the novel idea utilizing the dual graph of the trapezoidal map of P (or D). For polygonal domains, our approach uses a trapezoidal map associated with each visibility edge of D, and we show how to compute this large set of trapezoidal maps efficiently. Furthermore, we show how to output a minimum linkd-monotone path between points s and t, for an arbitrary input triplet (s, t, d).
Bicriteria Rectilinear Shortest Paths among Rectilinear Obstacles in the Plane

Haitao Wang

DOI: https://doi.org/10.48550/arXiv.1703.04466

2017-06-24

Abstract:Given a rectilinear domain $\mathcal{P}$ of $h$ pairwise-disjoint rectilinear obstacles with a total of $n$ vertices in the plane, we study the problem of computing bicriteria rectilinear shortest paths between two points $s$ and $t$ in $\mathcal{P}$. Three types of bicriteria rectilinear paths are considered: minimum-link shortest paths, shortest minimum-link paths, and minimum-cost paths where the cost of a path is a non-decreasing function of both the number of edges and the length of the path. The one-point and two-point path queries are also considered. Algorithms for these problems have been given previously. Our contributions are threefold. First, we find a critical error in all previous algorithms. Second, we correct the error in a not-so-trivial way. Third, we further improve the algorithms so that they are even faster than the previous (incorrect) algorithms when $h$ is relatively small. For example, for the minimum-link shortest paths, we obtain the following results. Our algorithm computes a minimum-link shortest $s$-$t$ path in $O(n+h\log^{3/2} h)$ time. For the one-point queries, we build a data structure of size $O(n+ h\log h)$ in $O(n+h\log^{3/2} h)$ time for a source point $s$, such that given any query point $t$, a minimum-link shortest $s$-$t$ path can be determined in $O(\log n)$ time. For the two-point queries, with $O(n+h^2\log^2 h)$ time and space preprocessing, a minimum-link shortest $s$-$t$ path can be determined in $O(\log n+\log^2 h)$ time for any two query points $s$ and $t$; alternatively, with $O(n+h^2\cdot \log^{2} h \cdot 4^{\sqrt{\log h}})$ time and $O(n+h^2\cdot \log h \cdot 4^{\sqrt{\log h}})$ space preprocessing, we can answer each two-point query in $O(\log n)$ time.

Computational Geometry,Data Structures and Algorithms
The Geometric Maximum Traveling Salesman Problem

Alexander Barvinok,Sandor P. Fekete,David S. Johnson,Arie Tamir,Gerhard J. Woeginger,Russ Woodroofe

DOI: https://doi.org/10.48550/arXiv.cs/0204024

2003-05-29

Abstract:We consider the traveling salesman problem when the cities are points in R^d for some fixed d and distances are computed according to geometric distances, determined by some norm. We show that for any polyhedral norm, the problem of finding a tour of maximum length can be solved in polynomial time. If arithmetic operations are assumed to take unit time, our algorithms run in time O(n^{f-2} log n), where f is the number of facets of the polyhedron determining the polyhedral norm. Thus for example we have O(n^2 log n) algorithms for the cases of points in the plane under the Rectilinear and Sup norms. This is in contrast to the fact that finding a minimum length tour in each case is NP-hard. Our approach can be extended to the more general case of quasi-norms with not necessarily symmetric unit ball, where we get a complexity of O(n^{2f-2} log n). For the special case of two-dimensional metrics with f=4 (which includes the Rectilinear and Sup norms), we present a simple algorithm with O(n) running time. The algorithm does not use any indirect addressing, so its running time remains valid even in comparison based models in which sorting requires Omega(n \log n) time. The basic mechanism of the algorithm provides some intuition on why polyhedral norms allow fast algorithms. Complementing the results on simplicity for polyhedral norms, we prove that for the case of Euclidean distances in R^d for d>2, the Maximum TSP is NP-hard. This sheds new light on the well-studied difficulties of Euclidean distances.

Data Structures and Algorithms,Computational Complexity
An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains

Joseph S.B. Mitchell,Valentin Polishchuk,Mikko Sysikaski,Haitao Wang

DOI: https://doi.org/10.48550/arXiv.1504.06842

2015-04-27

Abstract:We consider the problem of finding minimum-link rectilinear paths in rectilinear polygonal domains in the plane. A path or a polygon is rectilinear if all its edges are axis-parallel. Given a set $\mathcal{P}$ of $h$ pairwise-disjoint rectilinear polygonal obstacles with a total of $n$ vertices in the plane, a minimum-link rectilinear path between two points is a rectilinear path that avoids all obstacles with the minimum number of edges. In this paper, we present a new algorithm for finding minimum-link rectilinear paths among $\mathcal{P}$. After the plane is triangulated, with respect to any source point $s$, our algorithm builds an $O(n)$-size data structure in $O(n+h\log h)$ time, such that given any query point $t$, the number of edges of a minimum-link rectilinear path from $s$ to $t$ can be computed in $O(\log n)$ time and the actual path can be output in additional time linear in the number of the edges of the path. The previously best algorithm computes such a data structure in $O(n\log n)$ time.

Computational Geometry,Data Structures and Algorithms
Quickest Path Queries on Transportation Network

Radwa El Shawi,Joachim Gudmundsson,Christos Levcopoulos

DOI: https://doi.org/10.48550/arXiv.1012.0634

2011-05-29

Abstract:This paper considers the problem of finding a quickest path between two points in the Euclidean plane in the presence of a transportation network. A transportation network consists of a planar network where each road (edge) has an individual speed. A traveller may enter and exit the network at any point on the roads. Along any road the traveller moves with a fixed speed depending on the road, and outside the network the traveller moves at unit speed in any direction. We give an exact algorithm for the basic version of the problem: given a transportation network of total complexity n in the Euclidean plane, a source point s and a destination point t, and the quickest path between s and t. We also show how the transportation network can be preprocessed in time O(n^2 log n) into a data structure of size O(n^2) such that (1 + \epsilon)-approximate cheapest path cost queries between any two points in the plane can be answered in time O(1\epsilon^4 log n).

Computational Geometry
Rectilinear Shortest Paths Among Transient Obstacles

Anil Maheshwari,Arash Nouri,Jörg-Rüdiger Sack

DOI: https://doi.org/10.48550/arXiv.1809.08898

2018-09-24

Abstract:This paper presents an optimal $\Theta(n \log n)$ algorithm for determining time-minimal rectilinear paths among $n$ transient rectilinear obstacles. An obstacle is transient if it exists in the scene only for a specific time interval, i.e., it appears and then disappears at specific times. Given a point robot moving with bounded speed among transient rectilinear obstacles and a pair of points $s$, $d$, we determine a time-minimal, obstacle-avoiding path from $s$ to $d$. The main challenge in solving this problem arises as the robot may be required to wait for an obstacle to disappear, before it can continue moving toward the destination. Our algorithm builds on the continuous Dijkstra paradigm, which simulates propagating a wavefront from the source point. We also solve a query version of this problem. For this, we build a planar subdivision with respect to a fixed source point, so that minimum arrival time to any query point can be reported in $O(\log n)$ time, using point location for the query point in this subdivision.

Computational Geometry
Improved Bounds for Covering Paths and Trees in the Plane

Ahmad Biniaz

2023-03-08

Abstract:A covering path for a planar point set is a path drawn in the plane with straight-line edges such that every point lies at a vertex or on an edge of the path. A covering tree is defined analogously. Let $\pi(n)$ be the minimum number such that every set of $n$ points in the plane can be covered by a noncrossing path with at most $\pi(n)$ edges. Let $\tau(n)$ be the analogous number for noncrossing covering trees. Dumitrescu, Gerbner, Keszegh, and Tóth (Discrete & Computational Geometry, 2014) established the following inequalities: \[\frac{5n}{9} - O(1) < \pi(n) < \left(1-\frac{1}{601080391}\right)n, \quad\text{and} \quad\frac{9n}{17} - O(1) < \tau(n)\leqslant \left\lfloor\frac{5n}{6}\right\rfloor.\] We report the following improved upper bounds: \[\pi(n)\leqslant \left(1-\frac{1}{22}\right)n, \quad\text{and}\quad \tau(n)\leqslant \left\lceil\frac{4n}{5}\right\rceil.\] In the same context we study rainbow polygons. For a set of colored points in the plane, a perfect rainbow polygon is a simple polygon that contains exactly one point of each color in its interior or on its boundary. Let $\rho(k)$ be the minimum number such that every $k$-colored point set in the plane admits a perfect rainbow polygon of size $\rho(k)$. Flores-Peñaloza, Kano, Martínez-Sandoval, Orden, Tejel, Tóth, Urrutia, and Vogtenhuber (Discrete Mathematics, 2021) proved that $20k/19 - O(1) <\rho(k) < 10k/7 + O(1).$ We report the improved upper bound $\rho(k)< 7k/5 + O(1)$. To obtain the improved bounds we present simple $O(n\log n)$-time algorithms that achieve paths, trees, and polygons with our desired number of edges.

Computational Geometry,Discrete Mathematics
Observation Routes and External Watchman Routes

Adrian Dumitrescu,Csaba D. Tóth

2023-06-20

Abstract:We introduce the Observation Route Problem ($\textsf{ORP}$) defined as follows: Given a set of $n$ pairwise disjoint compact regions in the plane, find a shortest tour (route) such that an observer walking along this tour can see (observe) some point in each region from some point of the tour. The observer does \emph{not} need to see the entire boundary of an object. The tour is \emph{not} allowed to intersect the interior of any region (i.e., the regions are obstacles and therefore out of bounds). The problem exhibits similarity to both the Traveling Salesman Problem with Neighborhoods ($\textsf{TSPN}$) and the External Watchman Route Problem ($\textsf{EWRP}$). We distinguish two variants: the range of visibility is either limited to a bounding rectangle, or unlimited. We obtain the following results: (I) Given a family of $n$ disjoint convex bodies in the plane, computing a shortest observation route does not admit a $(c\log n)$-approximation unless $\textsf{P} = \textsf{NP}$ for an absolute constant $c>0$. (This holds for both limited and unlimited vision.) (II) Given a family of disjoint convex bodies in the plane, computing a shortest external watchman route is $\textsf{NP}$-hard. (This holds for both limited and unlimited vision; and even for families of axis-aligned squares.) (III) Given a family of $n$ disjoint fat convex polygons, an observation tour whose length is at most $O(\log{n})$ times the optimal can be computed in polynomial time. (This holds for limited vision.) (IV) For every $n \geq 5$, there exists a convex polygon with $n$ sides and all angles obtuse such that its perimeter is \emph{not} a shortest external watchman route. This refutes a conjecture by Absar and Whitesides (2006).

Computational Geometry
Short simplex paths in lattice polytopes

Alberto Del Pia,Carla Michini

DOI: https://doi.org/10.48550/arXiv.1912.05712

2020-04-08

Abstract:The goal of this paper is to design a simplex algorithm for linear programs on lattice polytopes that traces `short' simplex paths from any given vertex to an optimal one. We consider a lattice polytope $P$ contained in $[0,k]^n$ and defined via $m$ linear inequalities. Our first contribution is a simplex algorithm that reaches an optimal vertex by tracing a path along the edges of $P$ of length in $O(n^4 k\log(nk)$. The length of this path is independent from $m$ and it is the best possible up to a polynomial function. In fact, it is only polynomially far from the worst-case diameter, which roughly grows as a linear function in $n$ and $k$. Motivated by the fact that most known lattice polytopes are defined via $0,\pm 1$ constraint matrices, our second contribution is an iterative algorithm which exploits the largest absolute value $\alpha$ of the entries in the constraint matrix. We show that the length of the simplex path generated by the iterative algorithm is in $O(n^2k \log(nk\alpha))$. In particular, if $\alpha$ is bounded by a polynomial in $n, k$, then the length of the simplex path is in $O(n^2k \log(nk))$. For both algorithms, the number of arithmetic operations needed to compute the next vertex in the path is polynomial in $n$, $m$ and $\log k$. If $k$ is polynomially bounded by $n$ and $m$, the algorithm runs in strongly polynomial time.

Optimization and Control,Computational Geometry

An Ω(n2 Log N) Lower Bound to the Shortest Paths Problem

Information Bounds Are Weak in the Shortest Distance Problem

On the Polyhedral Decision Problem

Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain

Inapproximability of shortest paths on perfect matching polytopes

A Lower Bound to Finding Convex Hulls

Preface: Special Issue on the Annual International Conference on Combinatorial Optimization and Applications (COCOA)

On the Length of Monotone Paths in Polyhedra

Shortest paths on polymatroids and hypergraphic polytopes

Landscapes of the Tetrahedron and Cube: An Exploration of Shortest Paths on Polyhedra

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

Shortest Paths in Graphs of Convex Sets

On Minimum Link Monotone Path Problems

Bicriteria Rectilinear Shortest Paths among Rectilinear Obstacles in the Plane

The Geometric Maximum Traveling Salesman Problem

An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains

Quickest Path Queries on Transportation Network

Rectilinear Shortest Paths Among Transient Obstacles

Improved Bounds for Covering Paths and Trees in the Plane

Observation Routes and External Watchman Routes

Short simplex paths in lattice polytopes