English
Related papers

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

200 papers

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

We consider the (exact, minimum) $k$-cut problem: given a graph and an integer $k$, delete a minimum-weight set of edges so that the remaining graph has at least $k$ connected components. This problem is a natural generalization of the…

Data Structures and Algorithms · Computer Science 2019-10-08 Jason Li

In this paper, we initiate the study of the vertex coloring problem of a graph in the semi streaming model. In this model, the input graph is defined by a stream of edges, arriving in adversarial order and any algorithm must process the…

Data Structures and Algorithms · Computer Science 2018-07-26 Suman Kalyan Bera , Prantar Ghosh

We address the problem of reasoning on graph transformations featuring actions such as \emph{addition} and \emph{deletion} of nodes and edges, node \emph{merging} and \emph{cloning}, node or edge \emph{labelling} and edge…

Logic in Computer Science · Computer Science 2018-03-08 Jon Haël Brenas , Rachid Echahed , Martin Strecker

The Max-Cut problem is a fundamental NP-hard problem, which is attracting attention in the field of quantum computation these days. Regarding the approximation algorithm of the Max-Cut problem, algorithms based on semidefinite programming…

Data Structures and Algorithms · Computer Science 2022-03-01 Eiichiro Sato

We present $k^{O(k^2)} m$ time algorithms for various problems about decomposing a given undirected graph by edge cuts or vertex separators of size $<k$ into parts that are ``well-connected'' with respect to cuts or separators of size $<k$;…

Data Structures and Algorithms · Computer Science 2024-11-06 Tuukka Korhonen

In the PATH COVER problem, one asks to cover the vertices of a graph using the smallest possible number of (not necessarily disjoint) paths. While the variant where the paths need to be pairwise vertex-disjoint, which we call PATH…

Data Structures and Algorithms · Computer Science 2025-11-11 Florent Foucaud , Atrayee Majumder , Tobias Mömke , Aida Roshany-Tabrizi

We study the crossing-minimization problem in a layered graph drawing of planar-embedded rooted trees whose leaves have a given total order on the first layer, which adheres to the embedding of each individual tree. The task is then to…

Discrete Mathematics · Computer Science 2024-02-29 Julia Katheder , Stephen G. Kobourov , Axel Kuckuk , Maximilian Pfister , Johannes Zink

The Independent Cutset problem asks whether there is a set of vertices in a given graph that is both independent and a cutset. Such a problem is $\textsf{NP}$-complete even when the input graph is planar and has maximum degree five. In this…

Data Structures and Algorithms · Computer Science 2023-11-21 Johannes Rauch , Dieter Rautenbach , Uéverton S. Souza

We significantly improve known time bounds for solving the minimum cut problem on undirected graphs. We use a ``semi-duality'' between minimum cuts and maximum spanning tree packings combined with our previously developed random sampling…

Data Structures and Algorithms · Computer Science 2007-05-23 David R. Karger

We give almost-linear-time algorithms for approximating rooted minimum cut and maximum arborescence packing in directed graphs, two problems that are dual to each other [Edm73]. More specifically, for an $n$-vertex, $m$-edge directed graph…

Data Structures and Algorithms · Computer Science 2025-12-18 Yonggang Jiang , Yaowei Long , Thatchaphol Saranurak , Benyu Wang

In this paper, we consider distributed coloring for planar graphs with a small number of colors. We present an optimal (up to a constant factor) $O(\log{n})$ time algorithm for 6-coloring planar graphs. Our algorithm is based on a novel…

Data Structures and Algorithms · Computer Science 2018-04-03 Shiri Chechik , Doron Mukhtar

Meta-kernelization theorems are general results that provide polynomial kernels for large classes of parameterized problems. The known meta-kernelization theorems, in particular the results of Bodlaender et al. (FOCS'09) and of Fomin et al.…

Data Structures and Algorithms · Computer Science 2013-04-22 Robert Ganian , Friedrich Slivovsky , Stefan Szeider

We provide novel deterministic distributed vertex coloring algorithms. As our main result, we give a deterministic distributed algorithm to compute a $(\Delta+1)$-coloring of an $n$-node graph with maximum degree $\Delta$ in…

Data Structures and Algorithms · Computer Science 2019-07-10 Fabian Kuhn

Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r,…

Combinatorics · Mathematics 2007-05-23 Jaroslav Nesetril , Patrice Ossona De Mendez

The aim of this paper is to characterize an important class of marked digraphs, called structurally observable graphs (SOGs), and to solve two minimum realization problems. To begin with, by exploring structural observability of large-scale…

Systems and Control · Electrical Eng. & Systems 2021-06-30 Shiyong Zhu , Jianquan Lu , Daniel W. C. Ho , Jinde Cao

Over the past decade, we witness an increasing amount of interest in the design of exact exponential-time and parameterized algorithms for problems in Graph Drawing. Unfortunately, we still lack knowledge of general methods to develop such…

Data Structures and Algorithms · Computer Science 2023-10-10 Siddharth Gupta , Guy Sa'ar , Meirav Zehavi

We establish new algorithmic guarantees with matching hardness results for coloring and independent set problems in one-sided expanders and related classes of graphs. For example, given a $3$-colorable regular one-sided expander, we compute…

Data Structures and Algorithms · Computer Science 2025-11-24 Rares-Darius Buhai , Yiding Hua , David Steurer , Andor Vári-Kakas

We develop a general deterministic distributed method for locally rounding fractional solutions of graph problems for which the analysis can be broken down into analyzing pairs of vertices. Roughly speaking, the method can transform…

Data Structures and Algorithms · Computer Science 2022-09-26 Salwa Faour , Mohsen Ghaffari , Christoph Grunau , Fabian Kuhn , Václav Rozhoň

While in many graph mining applications it is crucial to handle a stream of updates efficiently in terms of {\em both} time and space, not much was known about achieving such type of algorithm. In this paper we study this issue for a…

Data Structures and Algorithms · Computer Science 2015-09-23 Sayan Bhattacharya , Monika Henzinger , Danupon Nanongkai , Charalampos E. Tsourakakis