English
Related papers

Related papers: A Coalgebraic Dijkstra Algorithm

200 papers

Considering a graph with unknown weights, can we find the shortest path for a pair of nodes if we know the minimal Steiner trees associated with some subset of nodes? That is, with respect to a fixed latent decision-making system (e.g., a…

Machine Learning · Computer Science 2024-02-06 Guangmo Tong , Peng Zhao , Mina Samizadeh

The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components according to their limiting behavior with respect to the…

Logic in Computer Science · Computer Science 2018-05-01 Christel Baier , Nathalie Bertrand , Clemens Dubslaff , Daniel Gburek , Ocan Sankur

Single Source Shortest Paths ($\textrm{SSSP}$) is among the most well-studied problems in computer science. In the incremental (resp. decremental) setting, the goal is to maintain distances from a fixed source in a graph undergoing edge…

Data Structures and Algorithms · Computer Science 2024-07-16 Barna Saha , Virginia Vassilevska Williams , Yinzhan Xu , Christopher Ye

In the k-Disjoint Shortest Paths problem, a set of terminal pairs of vertices $\{(s_i,t_i)\mid 1\le i\le k\}$ is given and we are asked to find paths $P_1,\ldots,P_k$ such that each path $P_i$ is a shortest path from $s_i$ to $t_i$ and…

Data Structures and Algorithms · Computer Science 2021-07-08 Saeed Akhoondian Amiri , Julian Wargalla

We show how to combine two techniques for efficiently computing shortest paths in directed planar graphs. The first is the linear-time shortest-path algorithm of Henzinger, Klein, Subramanian, and Rao [STOC'94]. The second is Fakcharoenphol…

Data Structures and Algorithms · Computer Science 2014-04-04 Shay Mozes , Yahav Nussbaum , Oren Weimann

The purpose of this work is to introduce and characterize the Bounded Acceleration Shortest Path (BASP) problem, a generalization of the Shortest Path (SP) problem. This problem is associated to a graph: the nodes represent positions of a…

Data Structures and Algorithms · Computer Science 2024-04-10 Stefano Ardizzoni , Luca Consolini , Mattia Laurini , Marco Locatelli

In this paper, we study the single-source shortest-path (SSSP) problem with positive edge weights, which is a notoriously hard problem in the parallel context. In practice, the $\Delta$-stepping algorithm proposed by Meyer and Sanders has…

Data Structures and Algorithms · Computer Science 2021-12-16 Xiaojun Dong , Yan Gu , Yihan Sun , Yunming Zhang

Safety is extremely important for urban flights of autonomous Unmanned Aerial Vehicles (UAVs). Risk-aware path planning is one of the most effective methods to guarantee the safety of UAVs. This type of planning can be represented as a…

Robotics · Computer Science 2024-11-22 Jun Xiang , Jun Chen

Color-constrained subgraph problems are those where we are given an edge-colored (directed or undirected) graph and the task is to find a specific type of subgraph, like a spanning tree, an arborescence, a single-source shortest path tree,…

Data Structures and Algorithms · Computer Science 2024-07-24 P. S. Ardra , Jasine Babu , Kritika Kashyap , R. Krithika , Sreejith K. Pallathumadam , Deepak Rajendraprasad

In undirected graphs with real non-negative weights, we give a new randomized algorithm for the single-source shortest path (SSSP) problem with running time $O(m\sqrt{\log n \cdot \log\log n})$ in the comparison-addition model. This is the…

Data Structures and Algorithms · Computer Science 2023-10-05 Ran Duan , Jiayi Mao , Xinkai Shu , Longhui Yin

The family of graphs that can be constructed from isolated vertices by disjoint union and graph join operations are called cographs. These graphs can be represented in a tree-like representation termed parse tree or cotree. In this paper,…

Data Structures and Algorithms · Computer Science 2018-08-29 Kona Harshita , N. Sadagopan

The Multiobjective Minimum Spanning Tree (MO-MST) problem is a variant of the Minimum Spanning Tree problem, in which the costs associated with every edge of the input graph are vectors. In this paper, we design a new dynamic programming…

Discrete Mathematics · Computer Science 2023-06-29 Pedro Maristany de las Casas , Antonio Sedeño-Noda , Ralf Borndörfer

The Minimum Path Cover problem on directed acyclic graphs (DAGs) is a classical problem that provides a clear and simple mathematical formulation for several applications in different areas and that has an efficient algorithmic solution. In…

Data Structures and Algorithms · Computer Science 2014-03-06 Niko Beerenwinkel , Stefano Beretta , Paola Bonizzoni , Riccardo Dondi , Yuri Pirola

This paper investigates the complexity of finding secluded paths in graphs. We focus on the \textsc{Short Secluded Path} problem and a natural new variant we introduce, \textsc{Shortest Secluded Path}. Formally, given an undirected graph…

Data Structures and Algorithms · Computer Science 2026-04-07 Tesshu Hanaka , Daisuke Tsuru

We present a message-passing algorithm to solve the edge disjoint path problem (EDP) on graphs incorporating under a unique framework both traffic optimization and path length minimization. The min-sum equations for this problem present an…

Disordered Systems and Neural Networks · Physics 2016-01-21 Fabrizio Altarelli , Alfredo Braunstein , Luca Dall'Asta , Caterina De Bacco , Silvio Franz

The graph partition problem (GPP) aims at clustering the vertex set of a graph into a fixed number of disjoint subsets of given sizes such that the sum of weights of edges joining different sets is minimized. This paper investigates the…

Optimization and Control · Mathematics 2023-08-02 Frank de Meijer , Renata Sotirov , Angelika Wiegele , Shudian Zhao

In the Minimum Common String Partition Problem (MCSP), we are given two strings on input, and we want to partition both into the same collection of substrings, minimizing the number of the substrings in the partition. This combinatorial…

Data Structures and Algorithms · Computer Science 2021-10-12 Miloš Chromý , Markus Sinnl

A drawback of the classic approach for complexity analysis of distributed graph problems is that it mostly informs about the complexity of notorious classes of ``worst case'' graphs. Algorithms that are used to prove a tight (existential)…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-06-12 Philipp Schneider

In this paper, how to efficiently find the optimal path in complex warehouse layout and make real-time decision is a key problem. This paper proposes a new method of Proximal Policy Optimization (PPO) and Dijkstra's algorithm, Proximal…

Robotics · Computer Science 2024-11-12 Keqin Li , Lipeng Liu , Jiajing Chen , Dezhi Yu , Xiaofan Zhou , Ming Li , Congyu Wang , Zhao Li

Graphs have been commonly used to model many applications. A natural problem which abstracts applications such as itinerary planning, playlist recommendation, and flow analysis in information networks is that of finding the heaviest path(s)…

Databases · Computer Science 2015-03-19 Mohammad Khabbaz , Smriti Bhagat , Laks V. S. Lakshmanan