English
Related papers

Related papers: Incremental Cycle Detection, Topological Ordering,…

200 papers

We give the first almost-linear time algorithms for several problems in incremental graphs including cycle detection, strongly connected component maintenance, $s$-$t$ shortest path, maximum flow, and minimum-cost flow. To solve these…

Data Structures and Algorithms · Computer Science 2023-12-01 Li Chen , Rasmus Kyng , Yang P. Liu , Simon Meierhans , Maximilian Probst Gutenberg

In this paper we present the first deterministic polynomial time algorithm for determining the existence of a Hamiltonian cycle and finding a Hamiltonian cycle in general graphs. Our algorithm can also solve the Hamiltonian path problem in…

Data Structures and Algorithms · Computer Science 2022-07-12 Aimin Hou

Graph analytics attract much attention from both research and industry communities. Due to the linear time complexity, the $k$-core decomposition is widely used in many real-world applications such as biology, social networks, community…

Databases · Computer Science 2022-01-19 Bin Guo , Emil Sekerinski

Graph pattern matching algorithms to handle million-scale dynamic graphs are widely used in many applications such as social network analytics and suspicious transaction detections from financial networks. On the other hand, the computation…

Databases · Computer Science 2019-07-10 Hiroki Kanezashi , Toyotaro Suzumura , Dario Garcia-Gasulla , Min-hwan Oh , Satoshi Matsuoka

Graphs have been widely used in many applications such as social networks, collaboration networks, and biological networks. One important graph analytics is to explore cohesive subgraphs in a large graph. Among several cohesive subgraphs…

Databases · Computer Science 2016-10-19 Yikai Zhang , Jeffrey Xu Yu , Ying Zhang , Lu Qin

An extremity is a vertex such that the removal of its closed neighbourhood does not increase the number of connected components. Let $Ext_{\alpha}$ be the class of all connected graphs whose quotient graph obtained from modular…

Data Structures and Algorithms · Computer Science 2023-02-28 Guillaume Ducoffe

We present improved algorithms for short cycle decomposition of a graph. Short cycle decompositions were introduced in the recent work of Chu et al, and were used to make progress on several questions in graph sparsification. For all…

Data Structures and Algorithms · Computer Science 2019-01-15 Yang P. Liu , Sushant Sachdeva , Zejun Yu

We study dynamic algorithms in the model of algorithms with predictions. We assume the algorithm is given imperfect predictions regarding future updates, and we ask how such predictions can be used to improve the running time. This can be…

Data Structures and Algorithms · Computer Science 2023-12-11 Jan van den Brand , Sebastian Forster , Yasamin Nazari , Adam Polak

The fastest algorithms for edge coloring run in time $2^m n^{O(1)}$, where $m$ and $n$ are the number of edges and vertices of the input graph, respectively. For dense graphs, this bound becomes $2^{\Theta(n^2)}$. This is a somewhat unique…

Data Structures and Algorithms · Computer Science 2018-04-10 Łukasz Kowalik , Arkadiusz Socała

Recently, \citeauthor*{akbari2021locality}~(ICALP 2023) studied the locality of graph problems in distributed, sequential, dynamic, and online settings from a {unified} point of view. They designed a novel $O(\log n)$-locality deterministic…

Data Structures and Algorithms · Computer Science 2024-05-02 Yi-Jun Chang , Gopinath Mishra , Hung Thuan Nguyen , Mingyang Yang , Yu-Cheng Yeh

We show a fully dynamic algorithm for maintaining $(1+\epsilon)$-approximate \emph{size} of maximum matching of the graph with $n$ vertices and $m$ edges using $m^{0.5-\Omega_{\epsilon}(1)}$ update time. This is the first polynomial…

Data Structures and Algorithms · Computer Science 2024-04-30 Sayan Bhattacharya , Peter Kiss , Thatchaphol Saranurak

We combine integer linear programming and recent advances in Monadic Second-Order model checking to obtain two new algorithmic meta-theorems for graphs of bounded vertex-cover. The first shows that cardMSO1, an extension of the well-known…

Data Structures and Algorithms · Computer Science 2013-06-25 Robert Ganian , Jan Obdržálek

In this paper, we present two main results. First, by only one conjecture (Conjecture 2.9) for recognizing a vertex symmetric graph, which is the hardest task for our problem, we construct an algorithm for finding an isomorphism between two…

Data Structures and Algorithms · Computer Science 2017-06-29 Caishi Fang

This paper addresses the problem of online network topology inference for expanding graphs from a stream of spatiotemporal signals. Online algorithms for dynamic graph learning are crucial in delay-sensitive applications or when changes in…

Machine Learning · Computer Science 2024-09-16 Samuel Rey , Bishwadeep Das , Elvin Isufi

In this paper, we present enumeration algorithms to list all preferred extensions of an argumentation framework. This task is equivalent to enumerating all maximal semikernels of a directed graph. For directed graphs on $n$ vertices, all…

Data Structures and Algorithms · Computer Science 2019-07-03 Serge Gaspers , Ray Li

We resolve a number of long-standing open problems in online graph coloring. More specifically, we develop tight lower bounds on the performance of online algorithms for fundamental graph classes. An important contribution is that our…

Data Structures and Algorithms · Computer Science 2017-07-04 Susanne Albers , Sebastian Schraink

Motivated by recent applications of dominator computations, we consider the problem of dynamically maintaining the dominators of flow graphs through a sequence of insertions and deletions of edges. Our main theoretical contribution is a…

Data Structures and Algorithms · Computer Science 2016-04-12 Loukas Georgiadis , Giuseppe F. Italiano , Luigi Laura , Federico Santaroni

We consider directed graphs where each edge is labeled with an integer weight and study the fundamental algorithmic question of computing the value of a cycle with minimum mean weight. Our contributions are twofold: (1) First we show that…

Data Structures and Algorithms · Computer Science 2013-07-18 Krishnendu Chatterjee , Monika Henzinger , Sebastian Krinninger , Veronika Loitzenbauer

In this paper, we begin the exploration of vertex-ordering problems through the lens of exponential-time approximation algorithms. In particular, we ask the following question: Can we simultaneously beat the running times of the fastest…

Data Structures and Algorithms · Computer Science 2025-02-18 Matthias Bentert , Fedor V. Fomin , Tanmay Inamdar , Saket Saurabh

We consider the problem of maintaining a proper $(\Delta + 1)$-vertex coloring in a graph on $n$-vertices and maximum degree $\Delta$ undergoing edge insertions and deletions. We give a randomized algorithm with amortized update time…

Data Structures and Algorithms · Computer Science 2025-07-08 Maxime Flin , Magnús M. Halldórsson