English
Related papers

Related papers: FO and MSO approach to Some Graph Problems: Approx…

200 papers

We study deterministic algorithms for computing graph cuts, with focus on two fundamental problems: balanced sparse cut and $k$-vertex connectivity for small $k$ ($k=O(\polylog n)$). Both problems can be solved in near-linear time with…

Data Structures and Algorithms · Computer Science 2019-10-21 Yu Gao , Jason Li , Danupon Nanongkai , Richard Peng , Thatchaphol Saranurak , Sorrachai Yingchareonthawornchai

Graph coloring is a fundamental problem in computer science. We study the fully dynamic version of the problem in which the graph is undergoing edge insertions and deletions and we wish to maintain a vertex-coloring with small update time…

Data Structures and Algorithms · Computer Science 2020-02-25 Monika Henzinger , Stefan Neumann , Andreas Wiese

In this paper we show a new algorithm for the decremental single-source reachability problem in directed planar graphs. It processes any sequence of edge deletions in $O(n\log^2{n}\log\log{n})$ total time and explicitly maintains the set of…

Data Structures and Algorithms · Computer Science 2017-06-01 Giuseppe F. Italiano , Adam Karczmarz , Jakub Łącki , Piotr Sankowski

Nowadays, analysing data from different classes or over a temporal grid has attracted a great deal of interest. As a result, various multiple graphical models for learning a collection of graphical models simultaneously have been derived by…

Optimization and Control · Mathematics 2021-04-23 Ning Zhang , Yangjing Zhang , Defeng Sun , Kim-Chuan Toh

This paper is centered on the complexity of graph problems in the well-studied LOCAL model of distributed computing, introduced by Linial [FOCS '87]. It is widely known that for many of the classic distributed graph problems (including…

Data Structures and Algorithms · Computer Science 2017-10-31 Mohsen Ghaffari , Fabian Kuhn , Yannic Maus

Many combinatorial optimization problems can be formulated as the search for a subgraph that satisfies certain properties and minimizes the total weight. We assume here that the vertices correspond to points in a metric space and can take…

Data Structures and Algorithms · Computer Science 2024-12-25 Marin Bougeret , Jérémy Omer , Michael Poss

We study a family of closely-related distributed graph problems, which we call degree splitting, where roughly speaking the objective is to partition (or orient) the edges such that each node's degree is split almost uniformly. Our findings…

Data Structures and Algorithms · Computer Science 2016-08-11 Mohsen Ghaffari , Hsin-Hao Su

"Classical" First Order (FO) algorithms of convex optimization, such as Mirror Descent algorithm or Nesterov's optimal algorithm of smooth convex optimization, are well known to have optimal (theoretical) complexity estimates which do not…

Optimization and Control · Mathematics 2013-08-27 Bruce Cox , Anatoli Juditsky , Arkadi Nemirovski

We give a number of approximation metatheorems for monotone maximization problems expressible in the first-order logic, in substantially more general settings than the previously known. We obtain * constant-factor approximation algorithm in…

Discrete Mathematics · Computer Science 2021-10-12 Zdeněk Dvořák

For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation…

Data Structures and Algorithms · Computer Science 2022-09-27 Pierre Bergé , Édouard Bonnet , Hugues Déprés , Rémi Watrigant

We study fundamental graph parameters such as the Diameter and Radius in directed graphs, when distances are measured using a somewhat unorthodox but natural measure: the distance between $u$ and $v$ is the minimum of the shortest path…

Data Structures and Algorithms · Computer Science 2019-06-18 Mina Dalirrooyfard , Virginia Vassilevska Williams , Nikhil Vyas , Nicole Wein , Yinzhan Xu , Yuancheng Yu

In the past few years, a successful line of research has lead to lower bounds for several fundamental local graph problems in the distributed setting. These results were obtained via a technique called round elimination. On a high level,…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-29 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti , Joonatan Saarhelo

We introduce and study level-planar straight-line drawings with a fixed number $\lambda$ of slopes. For proper level graphs, we give an $O(n \log^2 n / \log \log n)$-time algorithm that either finds such a drawing or determines that no such…

Data Structures and Algorithms · Computer Science 2019-08-02 Guido Brückner , Nadine Davina Krisam , Tamara Mchedlidze

Graph coloring is fundamental to distributed computing. We give the first sub-logarithmic distributed algorithm for coloring cluster graphs. These graphs are obtained from the underlying communication network by contracting nodes and edges,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-17 Maxime Flin , Magnus M. Halldorsson , Alexandre Nolin

We present a general method of designing fast approximation algorithms for cut-based minimization problems in undirected graphs. In particular, we develop a technique that given any such problem that can be approximated quickly on trees,…

Data Structures and Algorithms · Computer Science 2010-11-09 Aleksander Madry

Vizing's celebrated theorem states that every simple graph with maximum degree $\Delta$ admits a $(\Delta+1)$ edge coloring which can be found in $O(m \cdot n)$ time on $n$-vertex $m$-edge graphs. This is just one color more than the…

Data Structures and Algorithms · Computer Science 2024-05-24 Sepehr Assadi

We study the edge-coloring problem in simple $n$-vertex $m$-edge graphs with maximum degree $\Delta$. This is one of the most classical and fundamental graph-algorithmic problems. Vizing's celebrated theorem provides…

Data Structures and Algorithms · Computer Science 2024-07-10 Michael Elkin , Ariel Khuzman

We give an algorithm for finding the arboricity of a weighted, undirected graph, defined as the minimum number of spanning forests that cover all edges of the graph, in $\sqrt{n} m^{1+o(1)}$ time. This improves on the previous best bound of…

Data Structures and Algorithms · Computer Science 2025-07-22 Ruoxu Cen , Henry Fleischmann , George Z. Li , Jason Li , Debmalya Panigrahi

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

Dynamically maintaining the minimum cut in a graph $G$ under edge insertions and deletions is a fundamental problem in dynamic graph algorithms for which no conditional lower bound on the time per operation exists. In an $n$-node graph the…

Data Structures and Algorithms · Computer Science 2025-01-07 Antoine El-Hayek , Monika Henzinger , Jason Li
‹ Prev 1 3 4 5 6 7 10 Next ›