English
Related papers

Related papers: Graph Isomorphism in Quasipolynomial Time

200 papers

Spectral partitioning is a simple, nearly-linear time, algorithm to find sparse cuts, and the Cheeger inequalities provide a worst-case guarantee for the quality of the approximation found by the algorithm. Local graph partitioning…

Data Structures and Algorithms · Computer Science 2012-11-07 Shayan Oveis Gharan , Luca Trevisan

This paper presents a new graph isomorphism invariant, called $\mathfrak{w}$-labeling, that can be used to design a polynomial-time algorithm for solving the graph isomorphism problem for various graph classes. For example, all…

Data Structures and Algorithms · Computer Science 2023-01-24 Alpár Jüttner , Péter Madarasi

The $k$-cut problem asks, given a connected graph $G$ and a positive integer $k$, to find a minimum-weight set of edges whose removal splits $G$ into $k$ connected components. We give the first polynomial-time algorithm with approximation…

Data Structures and Algorithms · Computer Science 2018-11-12 MohammadHossein Bateni , Alireza Farhadi , MohammadTaghi Hajiaghayi

Subexponential parameterized algorithms are known for a wide range of natural problems on planar graphs, but the techniques are usually highly problem specific. The goal of this paper is to introduce a framework for obtaining…

Data Structures and Algorithms · Computer Science 2021-10-29 Dániel Marx , Pranabendu Misra , Daniel Neuen , Prafullkumar Tale

In this paper we design {\sf FPT}-algorithms for two parameterized problems. The first is \textsc{List Digraph Homomorphism}: given two digraphs $G$ and $H$ and a list of allowed vertices of $H$ for every vertex of $G$, the question is…

Data Structures and Algorithms · Computer Science 2015-09-25 Eunjung Kim , Christophe Paul , Ignasi Sau , Dimitrios M. Thilikos

The focus of this paper is two fold. Firstly, we present a logical approach to graph modification problems such as minimum node deletion, edge deletion, edge augmentation problems by expressing them as an expression in first order (FO)…

Logic in Computer Science · Computer Science 2017-11-09 Kona Harshita , Sounaka Mishra , Renjith. P , N. Sadagopan

Graph sparsification underlies a large number of algorithms, ranging from approximation algorithms for cut problems to solvers for linear systems in the graph Laplacian. In its strongest form, "spectral sparsification" reduces the number of…

Quantum Physics · Physics 2023-05-09 Simon Apers , Ronald de Wolf

We propose a simple and efficient local algorithm for graph isomorphism which succeeds for a large class of sparse graphs. This algorithm produces a low-depth canonical labeling, which is a labeling of the vertices of the graph that…

Probability · Mathematics 2023-09-20 Julia Gaudio , Miklós Z. Rácz , Anirudh Sridhar

We consider a refinement of the partition function of graph homomorphisms and present a quasi-polynomial algorithm to compute it in a certain domain. As a corollary, we obtain quasi-polynomial algorithms for computing partition functions…

Combinatorics · Mathematics 2015-08-04 Alexander Barvinok , Pablo Soberón

We give an algorithm for solving unique games (UG) instances whenever low-degree sum-of-squares proofs certify good bounds on the small-set-expansion of the underlying constraint graph via a hypercontractive inequality. Our algorithm is in…

Computational Complexity · Computer Science 2021-06-29 Mitali Bafna , Boaz Barak , Pravesh Kothari , Tselil Schramm , David Steurer

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

For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation…

Data Structures and Algorithms · Computer Science 2022-09-27 Pierre Bergé , Édouard Bonnet , Hugues Déprés , Rémi Watrigant

In the Hedge Cut problem, the edges of a graph are partitioned into groups called hedges, and the question is what is the minimum number of hedges to delete to disconnect the graph. Ghaffari, Karger, and Panigrahi [SODA 2017] showed that…

Data Structures and Algorithms · Computer Science 2024-10-24 Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Daniel Lokshtanov , Saket Saurabh

For a graph $G$, let $Z(G,\lambda)$ be the partition function of the monomer-dimer system defined by $\sum_k m_k(G)\lambda^k$, where $m_k(G)$ is the number of matchings of size $k$ in $G$. We consider graphs of bounded degree and develop a…

Data Structures and Algorithms · Computer Science 2013-09-05 Marc Lelarge , Hang Zhou

The graph isomorphism problem is considered. We assign modified $n$-variable characteristic polynomials for graphs and reduce the graph isomorphism problem to the problem of the polynomials isomorphism. It is required to find out, is there…

Discrete Mathematics · Computer Science 2024-10-18 Alexander Prolubnikov

We study a broad class of graph partitioning problems, where each problem is specified by a graph $G=(V,E)$, and parameters $k$ and $p$. We seek a subset $U\subseteq V$ of size $k$, such that $\alpha_1m_1 + \alpha_2m_2$ is at most (or at…

Data Structures and Algorithms · Computer Science 2014-03-04 Hadas Shachnai , Meirav Zehavi

While most classical NP-hard graph problems cannot be solved in time $2^{o(n)}$ on general graphs under the Exponential Time Hypothesis (ETH), many exhibit the square-root phenomenon and admit optimal algorithms running in time…

Data Structures and Algorithms · Computer Science 2026-04-30 Malory Marin , Rémi Watrigant

The Optimal Polynomial Intersection (OPI) problem is the following: Given sets $S_1, \ldots, S_m \subseteq \mathbb{F}$ and evaluation points $a_1, \ldots, a_m \in \mathbb{F}$, find a polynomial $Q \in \mathbb{F}[x]$ of degree less than $n$…

Discrete Mathematics · Computer Science 2026-04-13 Yihang Sun , Mary Wootters

Let $G$ be a permutation group on a finite set $\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\Omega^k$ of $\Omega$.…

Group Theory · Mathematics 2019-09-13 Andrey V. Vasil'ev , Dmitry Churikov

The generic homomorphism problem, which asks whether an input graph $G$ admits a homomorphism into a fixed target graph $H$, has been widely studied in the literature. In this article, we provide a fine-grained complexity classification of…

Computational Complexity · Computer Science 2022-10-14 Robert Ganian , Thekla Hamm , Viktoriia Korchemna , Karolina Okrasa , Kirill Simonov