中文
相关论文

相关论文: Dynamic complexity of Reachability: How many chang…

200 篇论文

We study dynamic planar graphs with $n$ vertices, subject to edge deletion, edge contraction, edge insertion across a face, and the splitting of a vertex in specified corners. We dynamically maintain a combinatorial embedding of such a…

数据结构与算法 · 计算机科学 2022-09-29 Jacob Holm , Ivor van der Hoog , Eva Rotenberg

In this paper we show that every graph of pathwidth less than $k$ that has a path of order $n$ also has an induced path of order at least $\frac{1}{3} n^{1/k}$. This is an exponential improvement and a generalization of the polylogarithmic…

离散数学 · 计算机科学 2023-01-04 Claire Hilaire , Jean-Florent Raymond

We give improved algorithms for maintaining edge-orientations of a fully-dynamic graph, such that the out-degree of each vertex is bounded. On one hand, we show how to orient the edges such that the out-degree of each vertex is proportional…

We obtain faster expander decomposition algorithms for directed graphs, matching the guarantees of Saranurak and Wang (SODA 2019) for expander decomposition on undirected graphs. Our algorithms are faster than prior work and also generalize…

数据结构与算法 · 计算机科学 2025-11-11 Henry Fleischmann , George Z. Li , Jason Li

We identify a sufficient condition, treewidth-pliability, that gives a polynomial-time algorithm for an arbitrarily good approximation of the optimal value in a large class of Max-2-CSPs parameterised by the class of allowed constraint…

离散数学 · 计算机科学 2024-01-04 Miguel Romero , Marcin Wrochna , Stanislav Živný

Dynamic Connectivity is a fundamental algorithmic graph problem, motivated by a wide range of applications to social and communication networks and used as a building block in various other algorithms, such as the bi-connectivity and the…

数据结构与算法 · 计算机科学 2021-05-19 Alexander Fedorov , Nikita Koval , Dan Alistarh

To answer database queries over incomplete data the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can be found efficiently for conjunctive queries and their…

数据库 · 计算机科学 2023-10-20 Amélie Gheerbrant , Leonid Libkin , Alexandra Rogova , Cristina Sirangelo

We consider dynamic algorithms for maintaining Single-Source Reachability (SSR) and approximate Single-Source Shortest Paths (SSSP) on $n$-node $m$-edge directed graphs under edge deletions (decremental algorithms). The previous fastest…

数据结构与算法 · 计算机科学 2018-03-02 Monika Henzinger , Sebastian Krinninger , Danupon Nanongkai

We report progress on the \NL vs \UL problem. [-] We show unconditionally that the complexity class $\ReachFewL\subseteq\UL$. This improves on the earlier known upper bound $\ReachFewL \subseteq \FewL$. [-] We investigate the complexity of…

计算复杂性 · 计算机科学 2010-01-14 Aduri Pavan , Raghunath Tewari , N. V. Vinodchandran

In this paper, we study controllability of a network of linear single-integrator agents when the network size goes to infinity. We first investigate the effect of increasing size by injecting an input at every node and requiring that…

系统与控制 · 计算机科学 2016-11-17 Chinwendu Enyioha , Mohammad Amin Rahimian , George J. Pappas , Ali Jadbabaie

In this work, we prove a $\tilde{\Omega}(\lg^{3/2} n )$ unconditional lower bound on the maximum of the query time and update time for dynamic data structures supporting reachability queries in $n$-node directed acyclic graphs under edge…

数据结构与算法 · 计算机科学 2023-04-19 Kasper Green Larsen , Huacheng Yu

Simplifying line charts for responsive displays typically applies a single algorithm uniformly across devices, despite the availability of multiple techniques that preserve different signal characteristics (e.g., peaks, trends,…

人机交互 · 计算机科学 2026-05-19 Rifat Ara Proma , Paul Rosen

We introduce new broadcast and receive communicability indices that can be used as global measures of how effectively information is spread in a directed network. Furthermore, we describe fast and effective criteria for the selection of…

社会与信息网络 · 计算机科学 2015-11-19 Francesca Arrigo , Michele Benzi

A modulator of a graph G to a specified graph class H is a set of vertices whose deletion puts G into H. The cardinality of a modulator to various tractable graph classes has long been used as a structural parameter which can be exploited…

数据结构与算法 · 计算机科学 2015-07-21 Eduard Eiben , Robert Ganian , Stefan Szeider

Temporal networks are a class of time-varying networks, which change their topology according to a given time-ordered sequence of static networks (known as subsystems). This paper investigates the reachability and controllability of…

系统与控制 · 电气工程与系统科学 2024-05-27 Yuan Zhang , Yuanqing Xia , Long Wang

We present two on-line algorithms for maintaining a topological order of a directed $n$-vertex acyclic graph as arcs are added, and detecting a cycle when one is created. Our first algorithm handles $m$ arc additions in $O(m^{3/2})$ time.…

数据结构与算法 · 计算机科学 2011-05-13 Bernhard Haeupler , Telikepalli Kavitha , Rogers Mathew , Siddhartha Sen , Robert Endre Tarjan

Recent years have seen extensive research on directed graph sparsification. In this work, we initiate the study of fast fully dynamic spectral and cut sparsification algorithms for directed graphs. We introduce a new notion of spectral…

数据结构与算法 · 计算机科学 2025-07-29 Yibin Zhao

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…

计算复杂性 · 计算机科学 2012-05-28 Bernard Mans , Luke Mathieson

By generalizing a recent result of Hong, Liu, and Lai on characterizing the degree-sequences of simple strongly connected directed graphs, a characterization is provided for degree-sequences of simple $k$-node-connected digraphs. More…

组合数学 · 数学 2017-09-05 Kristóf Bérczi , András Frank

We present a labeling scheme that assigns labels of size $\tilde O(1)$ to the vertices of a directed weighted planar graph $G$, such that for any fixed $\varepsilon>0$ from the labels of any three vertices $s$, $t$ and $f$ one can determine…

数据结构与算法 · 计算机科学 2025-03-25 Itai Boneh , Shiri Chechik , Shay Golan , Shay Mozes , Oren Weimann