English
Related papers

Related papers: Dynamic complexity of Reachability: How many chang…

200 papers

An instance of the Connected Maximum Cut problem consists of an undirected graph G = (V, E) and the goal is to find a subset of vertices S $\subseteq$ V that maximizes the number of edges in the cut \delta(S) such that the induced graph…

Data Structures and Algorithms · Computer Science 2015-07-03 MohammadTaghi Hajiaghayi , Guy Kortsarz , Robert MacDavid , Manish Purohit , Kanthi Sarpatwar

Autonomous reconfiguration of agent-based systems is a key challenge in the study of programmable matter, distributed robotics, and molecular self-assembly. While substantial prior work has focused on size-preserving transformations, much…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-04-29 Nada Almalki , Siddharth Gupta , Othon Michail , Andreas Padalkin

Dynamic networks are a complex subject. Not only do they inherit the complexity of static networks (as a particular case); they are also sensitive to definitional subtleties that are a frequent source of confusion and incomparability of…

Discrete Mathematics · Computer Science 2024-09-02 Arnaud Casteigts , Timothée Corsini , Writika Sarkar

Graphs are widespread data structures used to model a wide variety of problems. The sheer amount of data to be processed has prompted the creation of a myriad of systems that help us cope with massive scale graphs. The pressure to deliver…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-10-09 Luis M. Vaquero , Felix Cuadrado , Matei Ripeanu

We show that on graphs with n vertices, the 2-dimensional Weisfeiler-Leman algorithm requires at most O(n^2/log(n)) iterations to reach stabilization. This in particular shows that the previously best, trivial upper bound of O(n^2) is…

Logic in Computer Science · Computer Science 2023-06-22 Sandra Kiefer , Pascal Schweitzer

The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…

Let $P \subset \mathbb{R}^d$ be a set of $n$ points in $d$ dimensions such that each point $p \in P$ has an associated radius $r_p > 0$. The transmission graph $G$ for $P$ is the directed graph with vertex set $P$ such that there is an edge…

Computational Geometry · Computer Science 2020-03-13 Haim Kaplan , Wolfgang Mulzer , Liam Roditty , Paul Seiferth

The notion of directed treewidth was introduced by Johnson, Robertson, Seymour and Thomas [Journal of Combinatorial Theory, Series B, Vol 82, 2001] as a first step towards an algorithmic metatheory for digraphs. They showed that some…

Data Structures and Algorithms · Computer Science 2015-10-09 Mateus de Oliveira Oliveira

We introduce a general class of algorithms and supply a number of general results useful for analysing these algorithms when applied to regular graphs of large girth. As a result, we can transfer a number of results proved for random…

Combinatorics · Mathematics 2017-03-06 Carlos Hoppen , Nicholas Wormald

Reachability and other path-based measures on temporal graphs can be used to understand spread of infection, information, and people in modelled systems. Due to delays and errors in reporting, temporal graphs derived from data are unlikely…

Discrete Mathematics · Computer Science 2025-05-23 Jessica Enright , Laura Larios-Jones , Kitty Meeks , William Pettersson

Graphs are used in almost every scientific discipline to express relations among a set of objects. Algorithms that compare graphs, and output a closeness score, or a correspondence among their nodes, are thus extremely important. Despite…

Discrete Mathematics · Computer Science 2020-11-17 Sam Safavi , José Bento

We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new…

Combinatorics · Mathematics 2025-02-26 Jan Dreier , Szymon Toruńczyk

We introduce a new parameter, called stretch-width, that we show sits strictly between clique-width and twin-width. Unlike the reduced parameters [BKW '22], planar graphs and polynomial subdivisions do not have bounded stretch-width. This…

Discrete Mathematics · Computer Science 2023-05-23 Édouard Bonnet , Julien Duron

We show a flow-augmentation algorithm in directed graphs: There exists a randomized polynomial-time algorithm that, given a directed graph $G$, two vertices $s,t \in V(G)$, and an integer $k$, adds (randomly) to $G$ a number of arcs such…

Data Structures and Algorithms · Computer Science 2023-02-16 Eun Jung Kim , Stefan Kratsch , Marcin Pilipczuk , Magnus Wahlström

In fully dynamic graphs, we know how to maintain a 2-approximation of maximum matching extremely fast, that is, in polylogarithmic update time or better. In a sharp contrast and despite extensive studies, all known algorithms that maintain…

Data Structures and Algorithms · Computer Science 2019-11-06 Soheil Behnezhad , Jakub Łącki , Vahab Mirrokni

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

Emerging reconfigurable optical communication technologies allow to enhance datacenter topologies with demand-aware links optimized towards traffic patterns. This paper studies the algorithmic problem of jointly optimizing topology and…

Performance · Computer Science 2024-01-10 Wenkai Dai , Michael Dinitz , Klaus-Tycho Foerster , Long Luo , Stefan Schmid

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

Designing dynamic graph algorithms against an adaptive adversary is a major goal in the field of dynamic graph algorithms. While a few such algorithms are known for spanning trees, matchings, and single-source shortest paths, very little…

Data Structures and Algorithms · Computer Science 2020-11-11 Aaron Bernstein , Jan van den Brand , Maximilian Probst Gutenberg , Danupon Nanongkai , Thatchaphol Saranurak , Aaron Sidford , He Sun

In this note we describe an application of low-high orders in fault-tolerant network design. Baswana et al. [DISC 2015] study the following reachability problem. We are given a flow graph $G = (V, A)$ with start vertex $s$, and a spanning…

Data Structures and Algorithms · Computer Science 2015-11-25 Loukas Georgiadis , Robert E. Tarjan