English
Related papers

Related papers: Planar Reachability in Linear Space and Constant T…

200 papers

We introduce and study level-planar straight-line drawings with a fixed number $\lambda$ of slopes. For proper level graphs, we give an $O(n \log^2 n / \log \log n)$-time algorithm that either finds such a drawing or determines that no such…

Data Structures and Algorithms · Computer Science 2019-08-02 Guido Brückner , Nadine Davina Krisam , Tamara Mchedlidze

In this paper we analyze a continuous version of the maximal covering location problem, in which the facilities are required to be interconnected by means of a graph structure in which two facilities are allowed to be linked if a given…

Optimization and Control · Mathematics 2020-05-08 Víctor Blanco , Ricardo Gázquez

Finding unambiguous diagrammatic representations for first-order logical formulas and relational queries with arbitrarily nested disjunctions has been a surprisingly long-standing unsolved problem. We refer to this problem as the…

Databases · Computer Science 2024-12-12 Wolfgang Gatterbauer

We introduce an algorithm which can be directly used to feasible and optimum search in linear programming. Starting from an initial point the algorithm iteratively moves a point in a direction to resolve the violated constraints. At the…

Optimization and Control · Mathematics 2023-12-05 Denys Shcherbak , Natalya Pya Arnqvist

Temporal logic is a concise way of specifying complex tasks. But motion planning to achieve temporal logic specifications is difficult, and existing methods struggle to scale to complex specifications and high-dimensional system dynamics.…

Robotics · Computer Science 2023-06-02 Vince Kurtz , Hai Lin

We prove that triangulated IC-planar and NIC-planar graphs can be recognized in cubic time. A graph is 1-planar if it can be drawn in the plane with at most one crossing per edge. A drawing is IC-planar if, in addition, each vertex is…

Discrete Mathematics · Computer Science 2016-10-28 Franz J. Brandenburg

We investigate straight-line drawings of topological graphs that consist of a planar graph plus one edge, also called almost-planar graphs. We present a characterization of such graphs that admit a straight-line drawing. The…

Computational Geometry · Computer Science 2015-07-01 Peter Eades , Seok-Hee Hong , Giuseppe Liotta , Naoki Katoh , Sheung-Hung Poon

Continuous-time quantum walks can be used to solve the spatial search problem, which is an essential component for many quantum algorithms that run quadratically faster than their classical counterpart, in $\mathcal O(\sqrt n)$ time for $n$…

Quantum Physics · Physics 2021-06-18 Dylan Lewis , Asmae Benhemou , Natasha Feinstein , Leonardo Banchi , Sougato Bose

Given a simple polygon P in the plane, we present new algorithms and data structures for computing the weak visibility polygon from any query line segment in P. We build a data structure in O(n) time and O(n) space that can compute the…

Computational Geometry · Computer Science 2012-12-27 Danny Z. Chen , Haitao Wang

The Nearest Neighbor Search (NNS) problem asks to design a data structure that preprocesses an $n$-point dataset $X$ lying in a metric space $\mathcal{M}$, so that given a query point $q \in \mathcal{M}$, one can quickly return a point of…

Data Structures and Algorithms · Computer Science 2026-03-24 Robert Krauthgamer , Nir Petruschka

We present an in-place depth first search (DFS) and an in-place breadth first search (BFS) that runs on a word RAM in linear time such that, if the adjacency arrays of the input graph are given in a sorted order, the input is restored after…

Data Structures and Algorithms · Computer Science 2019-01-30 Frank Kammer , Andrej Sajenko

This paper deals with the problem of point-to-point reachability in multi-linear systems. These systems consist of a partition of the Euclidean space into a finite number of regions and a constant derivative assigned to each region in the…

Logic in Computer Science · Computer Science 2011-06-08 Olga Tveretina , Daniel Funke

The free space diagram is a popular tool to compute the well-known Fr\'echet distance. As the Fr\'echet distance is used in many different fields, many variants have been established to cover the specific needs of these applications. Often,…

Computational Geometry · Computer Science 2023-11-14 Hugo A. Akitaya , Maike Buchin , Majid Mirzanezhad , Leonie Ryvkin , Carola Wenk

We give an algorithm which for an input planar graph $G$ of $n$ vertices and integer $k$, in $\min\{O(n\log^3n),O(nk^2)\}$ time either constructs a branch-decomposition of $G$ with width at most $(2+\delta)k$, $\delta>0$ is a constant, or a…

Data Structures and Algorithms · Computer Science 2016-08-23 Qian-Ping Gu , Gengchun Xu

Let $\mathcal{S}$ be a connected planar polygonal subdivision with $n$ edges that we want to preprocess for point-location queries, and where we are given the probability $\gamma_i$ that the query point lies in a polygon $P_i$ of…

Computational Geometry · Computer Science 2016-04-20 Boris Aronov , Mark de Berg , David Eppstein , Marcel Roeloffzen , Bettina Speckmann

We develop the data structure PReaCH (for Pruned Reachability Contraction Hierarchies) which supports reachability queries in a directed graph, i.e., it supports queries that ask whether two nodes in the graph are connected by a directed…

Data Structures and Algorithms · Computer Science 2014-04-18 Florian Merz , Peter Sanders

$\renewcommand{\Re}{\mathbb{R}}$Given a set $P$ of $n$ points in $\Re^d$, and a parameter $\varepsilon \in (0,1)$, we present a new construction of a directed graph $G$, of size $O(n/\varepsilon^d)$, such that $(1+\varepsilon)$-ANN queries…

Computational Geometry · Computer Science 2025-10-30 Sariel Har-Peled , Benjamin Raichel , Eliot W. Robson

Let $\mathcal{P}$ be a set of $h$ pairwise-disjoint polygonal obstacles with a total of $n$ vertices in the plane. We consider the problem of building a data structure that can quickly compute an $L_1$ shortest obstacle-avoiding path…

Computational Geometry · Computer Science 2014-03-17 Danny Z. Chen , Rajasekhar Inkulu , Haitao Wang

We examine the problem of maximizing the reachability of a given source in temporal graphs that are given as the union of k temporal paths, i.e., every given path is a sequence of edges with strictly increasing labels that denote…

Data Structures and Algorithms · Computer Science 2026-05-13 Argyrios Deligkas , Michelle Döring , Eduard Eiben , George Skretas , Georg Tennigkeit

This short note provides space-efficient linear time algorithms for computing bridges, topological sorting, and strongly connected components improving on several recent results of Elmasry et al. [STACS'15], Banerjee et al. [COCOON'16] and…

Data Structures and Algorithms · Computer Science 2017-12-12 Sankardeep Chakraborty , Seungbum Jo , Srinivasa Rao Satti