English
Related papers

Related papers: Dynamic Meta-theorems for Distance and Matching

200 papers

This paper introduces the \emph{$d$-distance matching problem}, in which we are given a bipartite graph $G=(S,T;E)$ with $S=\{s_1,\dots,s_n\}$, a weight function on the edges and an integer $d\in\mathbb Z_+$. The goal is to find a maximum…

Combinatorics · Mathematics 2023-01-24 Péter Madarasi

This paper introduces the \emph{$d$-distance $b$-matching problem}, in which we are given a bipartite graph $G=(S,T;E)$ with $S=\{s_1,\dots,s_n\}$, a weight function on the edges, an integer $d\in\mathbb{Z}_+$ and a degree bound function…

Discrete Mathematics · Computer Science 2023-11-29 Péter Madarasi

We study dynamic $(1-\epsilon)$-approximate rounding of fractional matchings -- a key ingredient in numerous breakthroughs in the dynamic graph algorithms literature. Our first contribution is a surprisingly simple deterministic rounding…

Data Structures and Algorithms · Computer Science 2024-02-26 Sayan Bhattacharya , Peter Kiss , Aaron Sidford , David Wajc

Dynamic graph theory is a novel, growing area that deals with graphs that change over time and is of great utility in modelling modern wireless, mobile and dynamic environments. As a graph evolves, possibly arbitrarily, it is challenging to…

Computational Complexity · Computer Science 2012-05-28 Bernard Mans , Luke Mathieson

We show that for each single crossing graph $H$, a polynomially bounded weight function for all $H$-minor free graphs $G$ can be constructed in Logspace such that it gives nonzero weights to all the cycles in $G$. This class of graphs…

Computational Complexity · Computer Science 2021-09-07 Samir Datta , Chetan Gupta , Rahul Jain , Anish Mukherjee , Vimal Raj Sharma , Raghunath Tewari

Dynamic graphs have emerged as an appropriate model to capture the changing nature of many modern networks, such as peer-to-peer overlays and mobile ad hoc networks. Most of the recent research on dynamic networks has only addressed the…

Data Structures and Algorithms · Computer Science 2011-02-02 Oksana Denysyuk , Luis Rodrigues

Given a directed graph and a source vertex, the fully dynamic single-source reachability problem is to maintain the set of vertices that are reachable from the given vertex, subject to edge deletions and insertions. It is one of the most…

Data Structures and Algorithms · Computer Science 2020-02-04 Kathrin Hanauer , Monika Henzinger , Christian Schulz

Graph comparison deals with identifying similarities and dissimilarities between graphs. A major obstacle is the unknown alignment of graphs, as well as the lack of accurate and inexpensive comparison metrics. In this work we introduce the…

Machine Learning · Computer Science 2021-12-09 Hermina Petric Maretic , Mireille El Gheche , Giovanni Chierchia , Pascal Frossard

Consider two planar graphs which are subject to edge insertions and deletions. We show that whether the two graphs are isomorphic can be maintained with first-order logic formulas and auxiliary data of polynomial size. This places the…

Logic in Computer Science · Computer Science 2026-04-27 Samir Datta , Asif Khan , Felix Tschirbs , Nils Vortmeier , Thomas Zeume

We present an $\tilde O(m+n^{1.5})$-time randomized algorithm for maximum cardinality bipartite matching and related problems (e.g. transshipment, negative-weight shortest paths, and optimal transport) on $m$-edge, $n$-node graphs. For…

Data Structures and Algorithms · Computer Science 2021-10-15 Jan van den Brand , Yin-Tat Lee , Danupon Nanongkai , Richard Peng , Thatchaphol Saranurak , Aaron Sidford , Zhao Song , Di Wang

Since 1997 there has been a steady stream of advances for the maximum disjoint paths problem. Achieving tractable results has usually required focusing on relaxations such as: (i) to allow some bounded edge congestion in solutions, (ii) to…

Data Structures and Algorithms · Computer Science 2021-01-05 Guyslain Naves , Bruce Shepherd , Henry Xia

One of the most fundamental problems in computer science is the reachability problem: Given a directed graph and two vertices s and t, can s reach t via a path? We revisit existing techniques and combine them with new approaches to support…

Data Structures and Algorithms · Computer Science 2021-02-02 Kathrin Hanauer , Christian Schulz , Jonathan Trummer

We consider popular matching problems in both bipartite and non-bipartite graphs with strict preference lists. It is known that every stable matching is a min-size popular matching. A subclass of max-size popular matchings called dominant…

Discrete Mathematics · Computer Science 2018-06-13 Yuri Faenza , Telikepalli Kavitha , Vladlena Powers , Xingyu Zhang

The dynamic shortest paths problem on planar graphs asks us to preprocess a planar graph $G$ such that we may support insertions and deletions of edges in $G$ as well as distance queries between any two nodes $u,v$ subject to the constraint…

Data Structures and Algorithms · Computer Science 2016-05-13 Amir Abboud , Søren Dahlgaard

We study the problem of rendezvous of two mobile agents starting at distinct locations in an unknown graph. The agents have distinct labels and walk in synchronous steps. However the graph is unlabelled and the agents have no means of…

Data Structures and Algorithms · Computer Science 2014-06-12 Shantanu Das , Dariusz Dereniowski , Adrian Kosowski , Przemyslaw Uznanski

In the sensitive distance oracle problem, there are three phases. We first preprocess a given directed graph $G$ with $n$ nodes and integer weights from $[-W,W]$. Second, given a single batch of $f$ edge insertions and deletions, we update…

Data Structures and Algorithms · Computer Science 2019-07-23 Jan van den Brand , Thatchaphol Saranurak

We introduce a logic called distance neighborhood logic with acyclicity and connectivity constraints ($\mathsf{A\&C~DN}$ for short) which extends existential $\mathsf{MSO_1}$ with predicates for querying neighborhoods of vertex sets and for…

Data Structures and Algorithms · Computer Science 2022-12-09 Benjamin Bergougnoux , Jan Dreier , Lars Jaffke

We revisit classic string problems considered in the area of parameterized complexity, and study them through the lens of dynamic data structures. That is, instead of asking for a static algorithm that solves the given instance efficiently,…

Data Structures and Algorithms · Computer Science 2022-05-03 Jędrzej Olkowski , Michał Pilipczuk , Mateusz Rychlicki , Karol Węgrzycki , Anna Zych-Pawlewicz

There has been significant recent interest in graph-based nearest neighbor search methods, many of which are centered on the construction of navigable graphs over high-dimensional point sets. A graph is navigable if we can successfully move…

Data Structures and Algorithms · Computer Science 2025-03-18 Haya Diwan , Jinrui Gou , Cameron Musco , Christopher Musco , Torsten Suel

Consider the problem of maintaining source sink reachability($st$-Reachability), single source reachability(SSR) and strongly connected component(SCC) in an edge decremental directed graph. In particular, we design a randomized algorithm…

Data Structures and Algorithms · Computer Science 2015-05-19 Manoj Gupta