English
Related papers

Related papers: A simple lower bound for ARRIVAL

200 papers

Graph routing problems have been investigated extensively in operations research, computer science and engineering due to their ubiquity and vast applications. In this paper, we study constant approximation algorithms for some variations of…

Data Structures and Algorithms · Computer Science 2020-06-24 Xiaoyan Zhang , Donglei Du , Gregory Gutin , Qiaoxia Ming , Jian Sun

A metro-line crossing minimization problem is to draw multiple lines on an underlying graph that models stations and rail tracks so that the number of crossings of lines becomes minimum. It has several variations by adding restrictions on…

Data Structures and Algorithms · Computer Science 2013-06-18 Yoshio Okamoto , Yuichi Tatsu , Yushi Uno

A decade ago, a beautiful paper by Wagner developed a ``toolkit'' that in certain cases allows one to prove problems hard for parallel access to NP. However, the problems his toolkit applies to most directly are not overly natural. During…

Computational Complexity · Computer Science 2007-05-23 Edith Hemaspaandra , Lane A. Hemaspaandra , Joerg Rothe

We consider the a priori traveling repairman problem, which is a stochastic version of the classic traveling repairman problem (also called the traveling deliveryman or minimum latency problem). Given a metric $(V,d)$ with a root $r\in V$,…

Data Structures and Algorithms · Computer Science 2019-01-23 Inge Li Gørtz , Viswanath Nagarajan , Fatemeh Navidi

The following geometric vehicle scheduling problem has been considered: given continuous curves $f_1, \ldots, f_n : \mathbb{R} \rightarrow \mathbb{R}^2$, find non-negative delays $t_1, \ldots, t_n$ minimizing $\max \{ t_1, \ldots, t_n \}$…

Computational Geometry · Computer Science 2021-07-13 Jean-Lou De Carufel , Darryl Hill , Anil Maheshwari , Sasanka Roy , Luís Fernando Schultz Xavier da Silveira

In the Upper Degree-Constrained Partial Orientation problem we are given an undirected graph $G=(V,E)$, together with two degree constraint functions $d^-,d^+ : V \to \mathbb{N}$. The goal is to orient as many edges as possible, in such a…

Data Structures and Algorithms · Computer Science 2014-10-13 Marek Cygan , Tomasz Kociumaka

In this paper we study the fine-grained complexity of the CFL reachability problem. We first present one of the existing algorithms for the problem and an overview of conditional lower bounds based on widely believed hypotheses. We then use…

Computational Complexity · Computer Science 2023-06-29 Aleksandra Istomina , Semyon Grigorev , Ekaterina Shemetova

We investigate the complexity of the reachability problem for (deep) neural networks: does it compute valid output given some valid input? It was recently claimed that the problem is NP-complete for general neural networks and conjunctive…

Computational Complexity · Computer Science 2022-03-16 Marco Sälzer , Martin Lange

We prove the first nontrivial worst-case lower bounds for two closely related problems. First, $\Omega(n^{3/2})$ degree-1 reductions, series-parallel reductions, and $\Delta$Y transformations are required in the worst case to reduce an…

Computational Geometry · Computer Science 2015-10-05 Hsien-Chih Chang , Jeff Erickson

The 1-2-3 Conjecture, introduced by Karo\'nski, {\L}uczak, and Thomason in 2004, was recently solved by Keusch. This implies that, for any connected graph $G$ different from $K_2$, we can turn $G$ into a locally irregular multigraph $M(G)$,…

Discrete Mathematics · Computer Science 2025-06-27 Julien Bensmail , Romain Bourneuf , Paul Colinot , Samuel Humeau , Timothée Martinod

Many problems in static program analysis can be modeled as the context-free language (CFL) reachability problem on directed labeled graphs. The CFL reachability problem can be generally solved in time $O(n^3)$, where $n$ is the number of…

Formal Languages and Automata Theory · Computer Science 2023-08-21 Paraschos Koutris , Shaleen Deep

In the Minimum Clique Routing Problem on Cycles \textsc{MCRPC} we are given a cycle together with a set of demands (weighted origin-destination pairs) and the goal is to route all the pairs minimizing the maximum weighted clique of the…

Data Structures and Algorithms · Computer Science 2023-11-17 Mariana Escalante , Martín Matamala , Iván Rapaport , Paola Tolomei , Luis Miguel Torres

We consider a variant of the clustering problem for a complete weighted graph. The aim is to partition the nodes into clusters maximizing the sum of the edge weights within the clusters. This problem is known as the clique partitioning…

Social and Information Networks · Computer Science 2023-09-15 Alexander Belyi , Stanislav Sobolevsky , Alexander Kurbatski , Carlo Ratti

Reachability questions are one of the most fundamental algorithmic primitives in temporal graphs -- graphs whose edge set changes over discrete time steps. A core problem here is the NP-hard Short Restless Temporal Path: given a temporal…

Data Structures and Algorithms · Computer Science 2022-03-31 Philipp Zschoche

We aim to find orientations of mixed graphs optimizing the total reachability, a problem that has applications in causality and biology. For given a digraph $D$, we use $P(D)$ for the set of ordered pairs of distinct vertices in $V(D)$ and…

Computational Complexity · Computer Science 2025-09-24 Florian Hörsch

In the Stackelberg Network Pricing problem, one has to assign tariffs to a certain subset of the arcs of a given transportation network. The aim is to maximize the amount paid by the user of the network, knowing that the user will take a…

Data Structures and Algorithms · Computer Science 2011-03-07 Gwenaël Joret

In this paper, we study the complexity of the periodic temporal graph realization problem with respect to upper bounds on the fastest path durations among its vertices. This constraint with respect to upper bounds appears naturally in…

Data Structures and Algorithms · Computer Science 2025-04-22 George B. Mertzios , Hendrik Molter , Nils Morawietz , Paul G. Spirakis

Given a temporal graph G, a source vertex s, and a departure time at source vertex t_s, the earliest arrival time problem EAT is to start from s on or after t_s and reach all the vertices in G as early as possible. Ni et al. have proposed a…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-03 Chirayu Anant Haryan , G. Ramakrishna , Rupesh Nasre , Allam Dinesh Reddy

This paper formalises the Canadian Traveller problem as a positional two-player game on graphs. We consider two variants depending on whether an edge is blocked. In the locally-informed variant, the traveller learns if an edge is blocked…

Data Structures and Algorithms · Computer Science 2024-07-24 Thomas Bellitto , Johanne Cohen , Bruno Escoffier , Minh-Hang Nguyen , Mikael Rabie

We consider the two dimensional BV least gradient problem on an annulus with given boundary data $g \in BV(\partial\Omega)$. Firstly, we prove that this problem is equivalent to the optimal transport problem with source and target measures…

Analysis of PDEs · Mathematics 2019-08-27 Samer Dweik , Wojciech Górny