English
Related papers

Related papers: Space Complexity Dichotomies for Subgraph Finding …

200 papers

Graph embedding, especially as a subgraph of a grid, is an old topic in VLSI design and graph drawing. In this paper, we investigate related questions concerning the complexity of embedding a graph $G$ in a host graph that is the strong…

Computational Geometry · Computer Science 2026-01-21 Therese Biedl , David Eppstein , Torsten Ueckerdt

The paper deals with partitions of hypergraphs into induced subhypergraphs satisfying constraints on their degeneracy. Our hypergraphs may have multiple edges, but no loops. Given a hypergraph $H$ and a sequence $f=(f_1,f_2, \ldots, f_p)$…

Combinatorics · Mathematics 2018-04-19 Thomas Schweser , Michael Stiebitz

Reachability is the problem of deciding whether there is a path from one vertex to the other in the graph. Standard graph traversal algorithms such as DFS and BFS take linear time to decide reachability however their space complexity is…

Computational Complexity · Computer Science 2019-02-06 Rahul Jain , Raghunath Tewari

We study the problem #IndSub(P) of counting all induced subgraphs of size k in a graph G that satisfy the property P. This problem was introduced by Jerrum and Meeks and shown to be #W[1]-hard when parameterized by k for some families of…

Computational Complexity · Computer Science 2019-04-25 Julian Dörfler , Marc Roth , Johannes Schmitt , Philip Wellnitz

We prove a complexity dichotomy theorem for Holant Problems on 3-regular graphs with an arbitrary complex-valued edge function. Three new techniques are introduced: (1) higher dimensional iterations in interpolation; (2) Eigenvalue Shifted…

Computational Complexity · Computer Science 2011-08-09 Michael Kowalczyk , Jin-Yi Cai

In the Feedback Vertex Set problem, we aim to find a small set $S$ of vertices in a graph intersecting every cycle. The Subset Feedback Vertex Set problem requires $S$ to intersect only those cycles that include a vertex of some specified…

Data Structures and Algorithms · Computer Science 2022-07-19 Giacomo Paesani , Daniël Paulusma , Paweł Rzążewski

The Multicut problem asks for a minimum cut separating certain pairs of vertices: formally, given a graph $G$ and demand graph $H$ on a set $T\subseteq V(G)$ of terminals, the task is to find a minimum-weight set $C$ of edges of $G$ such…

Computational Complexity · Computer Science 2025-04-16 Jacob Focke , Florian Hörsch , Shaohua Li , Dániel Marx

We consider the classical problems (Edge) Steiner Tree and Vertex Steiner Tree after restricting the input to some class of graphs characterized by a small set of forbidden induced subgraphs. We show a dichotomy for the former problem…

Data Structures and Algorithms · Computer Science 2020-12-17 Hans Bodlaender , Nick Brettell , Matthew Johnson , Giacomo Paesani , Daniel Paulusma , Erik Jan van Leeuwen

Immersion minor is an important variant of graph minor, defined through an injective mapping from vertices in a smaller graph $H$ to vertices in a larger graph $G$ where adjacent elements of the former are connected in the latter by…

Discrete Mathematics · Computer Science 2024-11-26 Xiangyi Meng , Yu Tian

We prove that any two-pass graph streaming algorithm for the $s$-$t$ reachability problem in $n$-vertex directed graphs requires near-quadratic space of $n^{2-o(1)}$ bits. As a corollary, we also obtain near-quadratic space lower bounds for…

Data Structures and Algorithms · Computer Science 2023-04-17 Sepehr Assadi , Ran Raz

We investigate the following problem: Given two embeddings G_1 and G_2 of the same abstract graph G on an orientable surface S, decide whether G_1 and G_2 are isotopic; in other words, whether there exists a continuous family of embeddings…

Computational Geometry · Computer Science 2013-10-11 Éric Colin de Verdière , Arnaud de Mesmay

We initiate the investigation of the parameterized complexity of Diameter and Connectivity in the streaming paradigm. On the positive end, we show that knowing a vertex cover of size $k$ allows for algorithms in the Adjacency List (AL)…

Data Structures and Algorithms · Computer Science 2024-07-19 Jelle J. Oostveen , Erik Jan van Leeuwen

Graph clustering is a fundamental technique in data analysis with applications in many different fields. While there is a large body of work on clustering undirected graphs, the problem of clustering directed graphs is much less understood.…

Physics and Society · Physics 2025-01-31 James Martin , Tim Rogers , Luca Zanetti

In the graph stream model of computation, an algorithm processes the edges of an input graph in one or more sequential passes while using a memory sublinear in the input size. This model poses significant challenges for constructing long…

Data Structures and Algorithms · Computer Science 2025-08-25 Christian Konrad , Chhaya Trehan

An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one mapping of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line…

Computational Geometry · Computer Science 2025-02-25 Martin Balko , Steven Chaplick , Robert Ganian , Siddharth Gupta , Michael Hoffmann , Pavel Valtr , Alexander Wolff

Let $H$ be a fixed undirected graph on $k$ vertices. The $H$-hitting set problem asks for deleting a minimum number of vertices from a given graph $G$ in such a way that the resulting graph has no copies of $H$ as a subgraph. This problem…

Data Structures and Algorithms · Computer Science 2020-12-01 Noah Brüstle , Tal Elbaz , Hamed Hatami , Onur Kocer , Bingchan Ma

Let $G$ be a simple graph of order $n$ with degree sequence $(d)=(d_1,d_2,\ldots,d_n)$ and conjugate degree sequence $(d^*)=(d_1^*,d_2^*,\ldots,d_n^*)$. In \cite{AkbariGhorbaniKoolenObudi2010,DasMojallalGutman2017} it was proven that…

Combinatorics · Mathematics 2018-08-17 Ercan Altınışık , Nurşah Mutlu Varlıoglu

We study the complexity of the Graph Isomorphism problem on graph classes that are characterized by a finite number of forbidden induced subgraphs, focusing mostly on the case of two forbidden subgraphs. We show hardness results and develop…

Data Structures and Algorithms · Computer Science 2015-03-20 Stefan Kratsch , Pascal Schweitzer

In this survey we describe progress over the last decade or so in understanding the complexity of solving constraint satisfaction problems (CSPs) approximately in the streaming and sketching models of computation. After surveying some of…

Computational Complexity · Computer Science 2022-05-06 Madhu Sudan

Given two graphs $G$ and $H$, we say that $G$ contains $H$ as an induced minor if a graph isomorphic to $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. We study the complexity of Graph Isomorphism on…

Discrete Mathematics · Computer Science 2016-05-30 Rémy Belmonte , Yota Otachi , Pascal Schweitzer