English
Related papers

Related papers: Subexponential algorithms for variants of homomorp…

200 papers

We investigate the List $H$-Coloring problem, the generalization of graph coloring that asks whether an input graph $G$ admits a homomorphism to the undirected graph $H$ (possibly with loops), such that each vertex $v \in V(G)$ is mapped to…

Computational Complexity · Computer Science 2020-09-18 Hubie Chen , Bart M. P. Jansen , Karolina Okrasa , Astrid Pieterse , Paweł Rzążewski

In this paper, we show that any $B_2$-VPG graph (i.e., an intersection graph of orthogonal curves with at most 2 bends) can be decomposed into $O(\log n)$ outerstring graphs or $O(\log^3 n)$ permutation graphs. This leads to better…

Computational Geometry · Computer Science 2016-12-22 Martin Derka , Therese Biedl

There has recently been much progress on exact algorithms for the (un)weighted graph (bi)partitioning problem using branch-and-bound and related methods. In this note we present and improve an easily computable, purely combinatorial lower…

Data Structures and Algorithms · Computer Science 2014-10-03 Jesper Larsson Träff , Martin Wimmer

Graph homomorphism has been studied intensively. Given an m x m symmetric matrix A, the graph homomorphism function is defined as \[Z_A (G) = \sum_{f:V->[m]} \prod_{(u,v)\in E} A_{f(u),f(v)}, \] where G = (V,E) is any undirected graph. The…

Computational Complexity · Computer Science 2011-10-10 Jin-Yi Cai , Xi Chen , Pinyan Lu

Fine-grained reductions have established equivalences between many core problems with $\tilde{O}(n^3)$-time algorithms on $n$-node weighted graphs, such as Shortest Cycle, All-Pairs Shortest Paths (APSP), Radius, Replacement Paths, Second…

Data Structures and Algorithms · Computer Science 2020-05-07 Andrea Lincoln , Virginia Vassilevska Williams , Ryan Williams

We give a quasipolynomial time algorithm for the graph matching problem (also known as noisy or robust graph isomorphism) on correlated random graphs. Specifically, for every $\gamma>0$, we give a $n^{O(\log n)}$ time algorithm that given a…

Data Structures and Algorithms · Computer Science 2019-02-01 Boaz Barak , Chi-Ning Chou , Zhixian Lei , Tselil Schramm , Yueqi Sheng

A graph $G$ is contractible to a graph $H$ if there is a set $X \subseteq E(G)$, such that $G/X$ is isomorphic to $H$. Here, $G/X$ is the graph obtained from $G$ by contracting all the edges in $X$. For a family of graphs $\cal F$, the…

Data Structures and Algorithms · Computer Science 2025-05-21 Akanksha Agrawal , Fedor V. Fomin , Daniel Lokshtanov , Saket Saurabh , Prafullkumar Tale

We initiate the algorithmic study of the following "structured augmentation" question: is it possible to increase the connectivity of a given graph G by superposing it with another given graph H? More precisely, graph F is the superposition…

Data Structures and Algorithms · Computer Science 2017-06-15 Fedor V. Fomin , Petr A. Golovach , Dimitrios M. Thilikos

Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs:…

Computational Complexity · Computer Science 2021-08-04 Marc Roth , Philip Wellnitz

A homomorphism from a graph G to a graph H is a function from the vertices of G to the vertices of H that preserves edges. A homomorphism is surjective if it uses all of the vertices of H and it is a compaction if it uses all of the…

Computational Complexity · Computer Science 2019-06-28 Jacob Focke , Leslie Ann Goldberg , Stanislav Zivny

The problem of matching a query string to a directed graph, whose vertices are labeled by strings, has application in different fields, from data mining to computational biology. Several variants of the problem have been considered,…

Data Structures and Algorithms · Computer Science 2020-01-08 Riccardo Dondi , Giancarlo Mauri , Italo Zoppis

For a graph class $\Pi$, the $\Pi$-Vertex Deletion problem has as input an undirected graph $G=(V,E)$ and an integer $k$ and asks whether there is a set of at most $k$ vertices that can be deleted from $G$ such that the resulting graph is a…

Data Structures and Algorithms · Computer Science 2016-05-18 Christian Komusiewicz

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

For a positive integer $r$ and graphs $G$ and $H$, we denote by $G+H$ the disjoint union of $G$ and $H$, and by $rH$ the union of $r$ mutually disjoint copies of $H$. Also, we say $G$ is $H$-free if $H$ is not isomorphic to an induced…

Combinatorics · Mathematics 2023-09-06 Sepehr Hajebi , Yanjia Li , Sophie Spirkl

We study Clustered Planarity with Linear Saturators, which is the problem of augmenting an $n$-vertex planar graph whose vertices are partitioned into independent sets (called clusters) with paths - one for each cluster - that connect all…

Data Structures and Algorithms · Computer Science 2024-10-01 Giordano Da Lozzo , Robert Ganian , Siddharth Gupta , Bojan Mohar , Sebastian Ordyniak , Meirav Zehavi

We resolve the computational complexity of Graph Isomorphism for classes of graphs characterized by two forbidden induced subgraphs $H_1$ and $H_2$ for all but six pairs $(H_1,H_2)$. Schweitzer had previously shown that the number of open…

Discrete Mathematics · Computer Science 2019-09-04 Marthe Bonamy , Nicolas Bousquet , Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma , Théo Pierron

The notion of graph covers is a discretization of covering spaces introduced and deeply studied in topology. In discrete mathematics and theoretical computer science, they have attained a lot of attention from both the structural and…

Discrete Mathematics · Computer Science 2023-06-13 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl , Michaela Seifrtová

This paper shows the weighted matching problem on general graphs can be solved in time $O(n(m + n\log n))$ for $n$ and $m$ the number of vertices and edges, respectively. This was previously known only for bipartite graphs. The crux is a…

Data Structures and Algorithms · Computer Science 2016-11-24 Harold N. Gabow

We study the two inference problems of detecting and recovering an isolated community of \emph{general} structure planted in a random graph. The detection problem is formalized as a hypothesis testing problem, where under the null…

Data Structures and Algorithms · Computer Science 2022-01-25 Wasim Huleihel

For a (possibly infinite) fixed family of graphs F, we say that a graph G overlays F on a hypergraph H if V(H) is equal to V(G) and the subgraph of G induced by every hyperedge of H contains some member of F as a spanning subgraph.While it…

Data Structures and Algorithms · Computer Science 2017-03-16 Nathann Cohen , Frédéric Havet , Dorian Mazauric , Ignasi Sau , Rémi Watrigant