English
Related papers

Related papers: Recovering sparse graphs

200 papers

We study the problems of counting copies and induced copies of a small pattern graph $H$ in a large host graph $G$. Recent work fully classified the complexity of those problems according to structural restrictions on the patterns $H$. In…

Computational Complexity · Computer Science 2024-04-15 Marco Bressan , Leslie Ann Goldberg , Kitty Meeks , Marc Roth

The classic greedy coloring (first-fit) algorithm considers the vertices of an input graph $G$ in a given order and assigns the first available color to each vertex $v$ in $G$. In the {\sc Grundy Coloring} problem, the task is to find an…

Discrete Mathematics · Computer Science 2024-10-29 Akanksha Agrawal , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Shaily Verma

Graph-modification problems, where we modify a graph by adding or deleting vertices or edges or contracting edges to obtain a graph in a {\it simpler} class, is a well-studied optimization problem in all algorithmic paradigms including…

Data Structures and Algorithms · Computer Science 2021-12-24 Ashwin Jacob , Jari J. H. de Kroon , Diptapriyo Majumdar , Venkatesh Raman

We prove several negative results about first-order transducibility for classes of sparse graphs: - for every $t \in \mathbb{N}$, the class of graphs of treewidth at most $t+1$ is not transducible from the class of graphs of treewidth at…

Logic in Computer Science · Computer Science 2025-05-22 Jakub Gajarský , Jeremi Gładkowski , Jan Jedelský , Michał Pilipczuk , Szymon Toruńczyk

We present a linear-time algorithm for deciding first-order (FO) properties in classes of graphs with bounded expansion, a notion recently introduced by Nesetril and Ossona de Mendez. This generalizes several results from the literature,…

Discrete Mathematics · Computer Science 2015-03-19 Zdenek Dvorak , Daniel Kral , Robin Thomas

Graph classes of bounded tree rank were introduced recently in the context of the model checking problem for first-order logic of graphs. These graph classes are a common generalization of graph classes of bounded degree and bounded…

Discrete Mathematics · Computer Science 2025-10-08 Jakub Gajarský , Rose McCarty

We define a general variant of the graph clustering problem where the criterion of density for the clusters is (high) connectivity. In {\sc Clustering to Given Connectivities}, we are given an $n$-vertex graph $G$, an integer $k$, and a…

Data Structures and Algorithms · Computer Science 2018-04-23 Petr A. Golovach , Dimitrios M. Thilikos

An $h$-queue layout of a graph $G$ consists of a linear order of its vertices and a partition of its edges into $h$ queues, such that no two independent edges of the same queue nest. The minimum $h$ such that $G$ admits an $h$-queue layout…

Computational Geometry · Computer Science 2020-08-20 Sujoy Bhore , Robert Ganian , Fabrizio Montecchiani , Martin Nöllenburg

We present two new combinatorial tools for the design of parameterized algorithms. The first is a simple linear time randomized algorithm that given as input a $d$-degenerate graph $G$ and an integer $k$, outputs an independent set $Y$,…

Data Structures and Algorithms · Computer Science 2017-05-04 Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Roohani Sharma , Meirav Zehavi

We study the parameterized complexity of a broad class of problems called "local graph partitioning problems" that includes the classical fixed cardinality problems as max k-vertex cover, k-densest subgraph, etc. By developing a technique…

Computational Complexity · Computer Science 2013-06-11 Edouard Bonnet , Bruno Escoffier , Vangelis Th. Paschos , Emeric Tourniaire

There is substantial literature dealing with fixed parameter algorithms for the dominating set problem on various families of graphs. In this paper, we give a $k^{O(dk)} n$ time algorithm for finding a dominating set of size at most $k$ in…

Data Structures and Algorithms · Computer Science 2008-12-18 Noga Alon , Shai Gutner

We show that the following two problems are fixed-parameter tractable with parameter k: testing whether a connected n-vertex graph with m edges has a square root with at most n-1+k edges and testing whether such a graph has a square root…

Data Structures and Algorithms · Computer Science 2013-10-22 Manfred Cochefert , Jean-François Couturier , Petr A. Golovach , Dieter Kratsch , Daniël Paulusma

We say that a first order formula A distinguishes a graph G from another graph G' if A is true on G and false on G'. Provided G and G' are non-isomorphic, let D(G,G') denote the minimal quantifier rank of a such formula. We prove that, if G…

Combinatorics · Mathematics 2016-09-07 Oleg Pikhurko , Helmut Veith , Oleg Verbitsky

In this paper, we address the problem of learning the structure of a pairwise graphical model from samples in a high-dimensional setting. Our first main result studies the sparsistency, or consistency in sparsity pattern recovery,…

Machine Learning · Computer Science 2012-02-28 Ali Jalali , Chris Johnson , Pradeep Ravikumar

Frick and Grohe [J. ACM 48 (2006), 1184-1206] introduced a notion of graph classes with locally bounded tree-width and established that every first order logic property can be decided in almost linear time in such a graph class. Here, we…

Data Structures and Algorithms · Computer Science 2011-08-30 Tomas Gavenciak , Daniel Kral , Sang-il Oum

A graph is geometric 1-planar if it admits a straight-line drawing where each edge is crossed at most once. We provide the first systematic study of the parameterized complexity of recognizing geometric 1-planar graphs. By substantially…

Computational Complexity · Computer Science 2026-02-11 Alexander Firbas

The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem definable in first-order logic can be solved in linear time on bounded expansion…

Discrete Mathematics · Computer Science 2024-02-14 Jan Dreier

Let $G$ be a graph such that each vertex has its list of available colors, and assume that each list is a subset of the common set consisting of $k$ colors. For two given list colorings of $G$, we study the problem of transforming one into…

Data Structures and Algorithms · Computer Science 2017-05-23 Tatsuhiko Hatanaka , Takehiro Ito , Xiao Zhou

Given a family $\mathcal{F}$ of graphs, a graph is \emph{$\mathcal{F}$-subgraph-free} if it has no subgraph isomorphic to a member of $\mathcal{F}$. We present a fixed-parameter linear-time algorithm that decides whether a planar graph can…

Discrete Mathematics · Computer Science 2025-10-20 Shinwoo An , Seonghyuk Im , Seokbeom Kim , Myounghwan Lee

We contribute an approach to the problem of locally computing sparse connected subgraphs of dense graphs. In this setting, given an edge in a connected graph $G = (V, E)$, an algorithm locally decides its membership in a sparse connected…

Data Structures and Algorithms · Computer Science 2020-07-13 Rogers Epstein