English
Related papers

Related papers: Modular counting of subgraphs: Matchings, matching…

200 papers

Given non-negative weights w_S on the k-subsets S of a km-element set V, we consider the sum of the products w_{S_1} ... w_{S_m} for all partitions V = S_1 cup ... cup S_m into pairwise disjoint k-subsets S_i. When the weights w_S are…

Combinatorics · Mathematics 2011-09-06 Alexander Barvinok , Alex Samorodnitsky

We present a deterministic algorithm that given any directed graph on n vertices computes the parity of its number of Hamiltonian cycles in O(1.619^n) time and polynomial space. For bipartite graphs, we give a 1.5^n poly(n) expected time…

Data Structures and Algorithms · Computer Science 2013-08-09 Andreas Björklund , Thore Husfeldt

Let $T(G;X,Y)$ be the Tutte polynomial for graphs. We study the sequence $t_{a,b}(n) = T(K_n;a,b)$ where $a,b$ are non-negative integers, and show that for every $\mu \in \N$ the sequence $t_{a,b}(n)$ is ultimately periodic modulo $\mu$…

Combinatorics · Mathematics 2023-06-22 Tomer Kotek , Johann A. Makowsky

In this paper we study a natural generalization of both {\sc $k$-Path} and {\sc $k$-Tree} problems, namely, the {\sc Subgraph Isomorphism} problem. In the {\sc Subgraph Isomorphism} problem we are given two graphs $F$ and $G$ on $k$ and $n$…

Data Structures and Algorithms · Computer Science 2009-12-15 Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , B. V. Raghavendra Rao , Saket Saurabh

We investigate the complexity of several fundamental polynomial-time solvable problems on graphs and on matrices, when the given instance has low treewidth; in the case of matrices, we consider the treewidth of the graph formed by non-zero…

Data Structures and Algorithms · Computer Science 2015-11-05 Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk , Saket Saurabh , Marcin Wrochna

The Subgraph Isomorphism problem asks, given a host graph G on n vertices and a pattern graph P on k vertices, whether G contains a subgraph isomorphic to P. The restriction of this problem to planar graphs has often been considered. After…

Discrete Mathematics · Computer Science 2015-03-19 Paul Bonsma

Motivated by hybrid graph representations, we introduce and study the following beyond-planarity problem, which we call $h$-Clique2Path Planarity: Given a graph $G$, whose vertices are partitioned into subsets of size at most $h$, each…

Data Structures and Algorithms · Computer Science 2018-08-29 Patrizio Angelini , Peter Eades , Seok-Hee Hong , Karsten Klein , Stephen Kobourov , Giuseppe Liotta , Alfredo Navarra , Alessandra Tappini

The GRAPH MOTIF problem asks whether a given multiset of colors appears on a connected subgraph of a vertex-colored graph. The fastest known parameterized algorithm for this problem is based on a reduction to the $k$-Multilinear Detection…

Data Structures and Algorithms · Computer Science 2012-08-24 Ioannis Koutis

A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable…

Combinatorics · Mathematics 2022-02-03 Shmuel Onn

We find a new approach to computing the remainder of a polynomial modulo $x^n-1$; such a computation is called modular enumeration. Given a polynomial with coefficients from a commutative $\mathbb{Q}$-algebra, our first main result…

Combinatorics · Mathematics 2014-03-06 William Kuszmaul

Lokshtanov, Marx, and Saurabh SODA 2011 proved that there is no $(k-\epsilon)^{\operatorname{pw}(G)}\operatorname{poly}(n)$ time algorithm for deciding if an $n$-vertex graph $G$ with pathwidth $\operatorname{pw}(G)$ admits a proper vertex…

Data Structures and Algorithms · Computer Science 2015-07-10 Andreas Björklund

We study the fine-grained complexity of counting the number of colorings and connected spanning edge sets parameterized by the cutwidth and treewidth of the graph. While decompositions of small treewidth decompose the graph with small…

Data Structures and Algorithms · Computer Science 2023-08-01 Carla Groenland , Jesper Nederlof , Isja Mannens , Krisztina Szilágyi

We propose an efficient algorithm for graph matching based on similarity scores constructed from counting a certain family of weighted trees rooted at each vertex. For two Erd\H{o}s-R\'enyi graphs $\mathcal{G}(n,q)$ whose edges are…

Data Structures and Algorithms · Computer Science 2023-02-15 Cheng Mao , Yihong Wu , Jiaming Xu , Sophie H. Yu

We employ techniques from group theory to show that, in many cases, counting problems on graphs are almost as hard to solve in a small number of instances as they are in all instances. Specifically, we show the following results. 1.…

Computational Complexity · Computer Science 2024-11-15 Tejas Nareddy , Abhishek Mishra

Given a graph property $\Phi$, the problem $\#\mathsf{IndSub}(\Phi)$ asks, on input a graph $G$ and a positive integer $k$, to compute the number of induced subgraphs of size $k$ in $G$ that satisfy $\Phi$. The search for explicit criteria…

Computational Complexity · Computer Science 2021-05-14 Marc Roth , Johannes Schmitt , Philip Wellnitz

We prove a complexity dichotomy theorem for counting planar graph homomorphisms of domain size 3. Given any 3 by 3 real valued symmetric matrix $H$ defining a graph homomorphism from all planar graphs $G \mapsto Z_H(G)$, we completely…

Computational Complexity · Computer Science 2023-02-20 Jin-Yi Cai , Ashwin Maran

In Graph Theory a number of results were devoted to studying the computational complexity of the number modulo 2 of a graph's edge set decompositions of various kinds, first of all including its Hamiltonian decompositions, as well as the…

Discrete Mathematics · Computer Science 2010-05-14 Greg Cohen

We consider the NP-complete problem of tracking paths in a graph, first introduced by Banik et. al. [3]. Given an undirected graph with a source $s$ and a destination $t$, find the smallest subset of vertices whose intersection with any…

Discrete Mathematics · Computer Science 2019-10-01 David Eppstein , Michael T. Goodrich , James A. Liu , Pedro Matias

Given an integer $k$ and a graph where every edge is colored either red or blue, the goal of the exact matching problem is to find a perfect matching with the property that exactly $k$ of its edges are red. Soon after Papadimitriou and…

Data Structures and Algorithms · Computer Science 2023-10-02 Nicolas {El Maalouly} , Raphael Steiner , Lasse Wulf

Given a graph $F$, let $I(F)$ be the class of graphs containing $F$ as an induced subgraph. Let $W[F]$ denote the minimum $k$ such that $I(F)$ is definable in $k$-variable first-order logic. The recognition problem of $I(F)$, known as…

Computational Complexity · Computer Science 2023-06-22 Oleg Verbitsky , Maksim Zhukovskii