English
Related papers

Related papers: Improved Algorithms for Parity and Streett objecti…

200 papers

Given an $n$-vertex $m$-edge graph $G$ with non negative edge-weights, the girth of $G$ is the weight of a shortest cycle in $G$. For any graph $G$ with polynomially bounded integer weights, we present a deterministic algorithm that…

Data Structures and Algorithms · Computer Science 2018-10-25 Guillaume Ducoffe

In this paper, we provide faster algorithms for computing various fundamental quantities associated with random walks on a directed graph, including the stationary distribution, personalized PageRank vectors, hitting times, and escape…

Data Structures and Algorithms · Computer Science 2016-11-03 Michael B. Cohen , Jon Kelner , John Peebles , Richard Peng , Aaron Sidford , Adrian Vladu

A visibility algorithm maps time series into complex networks following a simple criterion. The resulting visibility graph has recently proven to be a powerful tool for time series analysis. However its straightforward computation is…

Data Structures and Algorithms · Computer Science 2020-04-29 Delia Fano Yela , Florian Thalmann , Vincenzo Nicosia , Dan Stowell , Mark Sandler

The Max-Cut problem is known to be NP-hard on general graphs, while it can be solved in polynomial time on planar graphs. In this paper, we present a fixed-parameter tractable algorithm for the problem on `almost' planar graphs: Given an…

Data Structures and Algorithms · Computer Science 2019-05-27 Yasuaki Kobayashi , Yusuke Kobayashi , Shuichi Miyazaki , Suguru Tamaki

Random walk based distributed algorithms make use of a token that circulates in the system according to a random walk scheme to achieve their goal. To study their efficiency and compare it to one of the deterministic solutions, one is led…

Distributed, Parallel, and Cluster Computing · Computer Science 2008-07-24 Alain Bui , Devan Sohier

The semi-random graph process is a single player game in which the player is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the player independently and uniformly at random. The player then…

Combinatorics · Mathematics 2022-02-21 Pu Gao , Calum MacRury , Pawel Pralat

The paper focuses on two problems: (i) how to orient the edges of an undirected graph in order to maximize the number of ordered vertex pairs (x,y) such that there is a directed path from x to y, and (ii) how to orient the edges so as to…

Data Structures and Algorithms · Computer Science 2015-06-02 S. L. Hakimi , E. Schmeichel , Neal E. Young

We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero…

Data Structures and Algorithms · Computer Science 2015-11-05 Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk , Saket Saurabh , Marcin Wrochna

We implement and test the performances of several approximation algorithms for computing the minimum dominating set of a graph. These algorithms are the standard greedy algorithm, the recent LP rounding algorithms and a hybrid algorithm…

Data Structures and Algorithms · Computer Science 2020-09-11 Jonathan S. Li , Rohan Potru , Farhad Shahrokhi

We present streaming algorithms for the graph $k$-matching problem in both the insert-only and dynamic models. Our algorithms, with space complexity matching the best upper bounds, have optimal or near-optimal update time, significantly…

Data Structures and Algorithms · Computer Science 2023-10-18 Jianer Chen , Qin Huang , Iyad Kanj , Qian Li , Ge Xia

In this paper, we deepen the study of two-player Stackelberg games played on graphs in which Player $0$ announces a strategy and Player $1$, having several objectives, responds rationally by following plays providing him Pareto-optimal…

Computer Science and Game Theory · Computer Science 2025-09-10 Thomas Brihaye , Véronique Bruyère , Gaspard Reghem

We consider a generalized version of the (weighted) one-center problem on graphs. Given an undirected graph $G$ of $n$ vertices and $m$ edges and a positive integer $k\leq n$, the problem aims to find a point in $G$ so that the maximum…

Data Structures and Algorithms · Computer Science 2025-01-22 Jingru Zhang

The family of $(k,\ell)$-sparse graphs, introduced by Lorea, plays a central role in combinatorial optimization and has a wide range of applications, particularly in rigidity theory. A key algorithmic problem is to decide whether a given…

Data Structures and Algorithms · Computer Science 2026-04-15 Bence Deák , Péter Madarasi

We present a novel method to compute \emph{permissive winning strategies} in two-player games over finite graphs with $ \omega $-regular winning conditions. Given a game graph $G$ and a parity winning condition $\Phi$, we compute a…

Computer Science and Game Theory · Computer Science 2024-01-23 Ashwani Anand , Satya Prakash Nayak , Anne-Kathrin Schmuck

We consider two-player games played in real time on game structures with clocks where the objectives of players are described using parity conditions. The games are \emph{concurrent} in that at each turn, both players independently propose…

Logic in Computer Science · Computer Science 2019-03-14 Krishnendu Chatterjee , Thomas A. Henzinger , Vinayak S. Prabhu

This paper addresses complexity problems in rational verification and synthesis for multi-player games played on weighted graphs, where the objective of each player is to minimize the cost of reaching a specific set of target vertices. In…

Computer Science and Game Theory · Computer Science 2025-02-11 Véronique Bruyère , Christophe Grandmont , Jean-François Raskin

We investigate the interrelation between graph searching games and games with imperfect information. As key consequence we obtain that parity games with bounded imperfect information can be solved in PTIME on graphs of bounded DAG-width…

Computer Science and Game Theory · Computer Science 2015-03-19 Bernd Puchala , Roman Rabinovich

A graph $G$ is said to be a $(k,\ell)$-graph if its vertex set can be partitioned into $k$ independent sets and $\ell$ cliques. It is well established that the recognition problem for $(k,\ell)$-graphs is NP-complete whenever $k \geq 3$ or…

Discrete Mathematics · Computer Science 2025-10-21 Flavia Bonomo-Braberman , Min Chih Lin , Ignacio Maqueda

It is well-known that the winning region of a parity game with $n$ nodes and $k$ priorities can be computed as a $k$-nested fixpoint of a suitable function; straightforward computation of this nested fixpoint requires…

Computational Complexity · Computer Science 2021-03-23 Daniel Hausmann , Lutz Schröder

In bi-criteria optimization problems, the goal is typically to compute the set of Pareto-optimal solutions. Many algorithms for these types of problems rely on efficient merging or combining of partial solutions and filtering of dominated…

Data Structures and Algorithms · Computer Science 2024-09-17 Daniel Funke , Demian Hespe , Peter Sanders , Sabine Storandt , Carina Truschel
‹ Prev 1 3 4 5 6 7 10 Next ›