English
Related papers

Related papers: Is dynamic dedicated path protection tractable?

200 papers

Standard algorithms for finding the shortest path in a graph require that the cost of a path be additive in edge costs, and typically assume that costs are deterministic. We consider the problem of uncertain edge costs, with potential…

Artificial Intelligence · Computer Science 2013-02-21 Michael P. Wellman , Matthew Ford , Kenneth Larson

Reachability and shortest path problems are NL-complete for general graphs. They are known to be in L for graphs of tree-width 2 [JT07]. However, for graphs of tree-width larger than 2, no bound better than NL is known. In this paper, we…

Computational Complexity · Computer Science 2010-02-03 Bireswar Das , Samir Datta , Prajakta Nimbhorkar

We study the classical problem of computing geometric thickness, i.e., finding a straight-line drawing of an input graph and a partition of its edges into as few parts as possible so that each part is crossing-free. Since the problem is…

Computational Complexity · Computer Science 2024-11-26 Thomas Depian , Simon Dominik Fink , Alexander Firbas , Robert Ganian , Martin Nöllenburg

A central decision problem in Petri net theory is reachability asking whether a given marking can be reached from the initial marking. Related is the covering problem (or sub-marking reachbility), which decides whether there is a reachable…

Formal Languages and Automata Theory · Computer Science 2026-02-03 Thomas M. Prinz , Christopher T. Schwanen , Wil M. P. van der Aalst

We investigate the computational complexity of finding temporally disjoint paths or walks in temporal graphs. There, the edge set changes over discrete time steps and a temporal path (resp. walk) uses edges that appear at monotonically…

Data Structures and Algorithms · Computer Science 2021-05-25 Nina Klobas , George B. Mertzios , Hendrik Molter , Rolf Niedermeier , Philipp Zschoche

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

In a minimal binary constraint network, every tuple of a constraint relation can be extended to a solution. The tractability or intractability of computing a solution to such a minimal network was a long standing open question. Dechter…

Artificial Intelligence · Computer Science 2012-07-26 Georg Gottlob

The reachable sets of nonlinear control systems can in general only be numerically approximated, and are often very expensive to calculate. In this paper, we propose an algorithm that tracks only the boundaries of the reachable sets and…

Numerical Analysis · Mathematics 2025-02-20 Janosch Rieger , Kyria Wawryk

In this paper the robust recoverable spanning tree problem with interval edge costs is considered. The complexity of this problem has remained open to date. It is shown that the problem is polynomially solvable, by using an iterative…

Data Structures and Algorithms · Computer Science 2016-03-08 Mikita Hradovich , Adam Kasperski , Pawel Zielinski

We study the worst-case communication complexity of distributed algorithms computing a path problem based on stationary distributions of random walks in a network $G$ with the caveat that $G$ is also the communication network. The problem…

Data Structures and Algorithms · Computer Science 2008-10-30 Rahul Sami , Andy Twigg

Given two points in the plane, a set of obstacles defined by closed curves, and an integer $k$, does there exist a path between the two designated points intersecting at most $k$ of the obstacles? This is a fundamental and well-studied…

Data Structures and Algorithms · Computer Science 2020-02-05 Eduard Eiben , Daniel Lokshtanov

Reachability analysis of hybrid systems has been used as a safety verification tool to assess offline whether the state of a system is capable of remaining within a designated safe region for a given time horizon. Although it has been…

Optimization and Control · Mathematics 2014-04-24 Kendra Lesser , Meeko Oishi

The \textsc{Housing Market} problem is a widely studied resource allocation problem. In this problem, each agent can only receive a single object and has preferences over all objects. Starting from an initial endowment, we want to reach a…

Data Structures and Algorithms · Computer Science 2020-07-23 Sen Huang , Mingyu Xiao

The determination of the computational complexity of multi-agent pathfinding on directed graphs has been an open problem for many years. For undirected graphs, solvability can be decided in polynomial time, as has been shown already in the…

Artificial Intelligence · Computer Science 2022-09-20 Bernhard Nebel

This paper introduces a framework to capture previously intractable optimization constraints and transform them to a mixed-integer linear program, through the use of neural networks. We encode the feasible space of optimization problems…

Systems and Control · Electrical Eng. & Systems 2022-07-15 Ilgiz Murzakhanov , Andreas Venzke , George S. Misyris , Spyros Chatzivasileiadis

The $k$-vertex disjoint paths problem is one of the most studied problems in algorithmic graph theory. In 1994, Schrijver proved that the problem can be solved in polynomial time for every fixed $k$ when restricted to the class of planar…

Computational Complexity · Computer Science 2013-12-06 Saeed Amiri , Ali Golshani , Stephan Kreutzer , Sebastian Siebertz

In this paper we show a new algorithm for the decremental single-source reachability problem in directed planar graphs. It processes any sequence of edge deletions in $O(n\log^2{n}\log\log{n})$ total time and explicitly maintains the set of…

Data Structures and Algorithms · Computer Science 2017-06-01 Giuseppe F. Italiano , Adam Karczmarz , Jakub Łącki , Piotr Sankowski

In this work, we consider the dynamic unsplittable flow problem. This variation of the unsplittable flow problem has received little attention so far. The unsplittable flow problem is an NP-hard extension of the multi-commodity flow problem…

Optimization and Control · Mathematics 2023-03-29 François Lamothe , Emmanuel Rachelson , Alain Haït , Cédric Baudoin , Jean-Baptiste Dupé

Path finding is a well-studied problem in AI, which is often framed as graph search. Any-angle path finding is a technique that augments the initial graph with additional edges to build shorter paths to the goal. Indeed, optimal algorithms…

Artificial Intelligence · Computer Science 2021-04-15 Konstantin Yakovlev , Anton Andreychuk

A modified version of the Dijkstra algorithm using an inventive contraction hierarchy is proposed. The algorithm considers a directed acyclic graph with a conical or semi-circular structure for which a pair of edges is chosen iteratively…

Data Structures and Algorithms · Computer Science 2015-03-20 Ugochi A. Okengwu , Enoch O. Nwachukwu , Emmanuel N. Osegi
‹ Prev 1 3 4 5 6 7 10 Next ›