English
Related papers

Related papers: Computational complexity of reconstruction and iso…

200 papers

Determining whether two graphs are structurally identical is a fundamental problem with applications spanning mathematics, computer science, chemistry, and network science. Despite decades of study, graph isomorphism remains a challenging…

Computational Physics · Physics 2026-04-10 Sara Najem , Amer E. Mouawad

We consider the isomorphism problem for hypergraphs taking as input two hypergraphs over the same set of vertices $V$ and a permutation group $\Gamma$ over domain $V$, and asking whether there is a permutation $\gamma \in \Gamma$ that…

Data Structures and Algorithms · Computer Science 2022-10-26 Daniel Neuen

The individualization-refinement paradigm provides a strong toolbox for testing isomorphism of two graphs and indeed, the currently fastest implementations of isomorphism solvers all follow this approach. While these solvers are fast in…

Computational Complexity · Computer Science 2017-05-10 Daniel Neuen , Pascal Schweitzer

We consider the problem of testing graph cluster structure: given access to a graph $G=(V, E)$, can we quickly determine whether the graph can be partitioned into a few clusters with good inner conductance, or is far from any such graph?…

Data Structures and Algorithms · Computer Science 2018-09-19 Ashish Chiplunkar , Michael Kapralov , Sanjeev Khanna , Aida Mousavifar , Yuval Peres

We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

It is confirmed in this work that the graph isomorphism can be tested in polynomial time, which resolves a longstanding problem in the theory of computation. The contributions are in three phases as follows. 1. A description graph…

Computational Complexity · Computer Science 2023-01-25 Rui Xue

Our starting point is the observation that if graphs in a class C have low descriptive complexity in first order logic, then the isomorphism problem for C is solvable by a fast parallel algorithm (essentially, by a simple combinatorial…

Computational Complexity · Computer Science 2007-05-23 Martin Grohe , Oleg Verbitsky

We give a new fpt algorithm testing isomorphism of $n$-vertex graphs of tree width $k$ in time $2^{k\operatorname{polylog} (k)}\operatorname{poly} (n)$, improving the fpt algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS…

Data Structures and Algorithms · Computer Science 2018-03-20 Martin Grohe , Daniel Neuen , Pascal Schweitzer , Daniel Wiebking

It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can distinguish many…

Combinatorics · Mathematics 2010-12-10 Harm Derksen

The Graph Isomorphism (GI) problem is a theoretically interesting problem because it has not been proven to be in P nor to be NP-complete. Babai made a breakthrough in 2015 when announcing a quasipolynomial time algorithm for GI problem.…

Data Structures and Algorithms · Computer Science 2020-02-13 Duc Hung Pham , Krishna V. Palem , M. V. Panduranga Rao

We completely classify the computational complexity of the list H-colouring problem for graphs (with possible loops) in combinatorial and algebraic terms: for every graph H the problem is either NP-complete, NL-complete, L-complete or is…

Computational Complexity · Computer Science 2010-02-03 Laszlo Egri , Andrei Krokhin , Benoit Larose , Pascal Tesson

Graph reconstruction can efficiently detect the underlying topology of massive networks such as the Internet. Given a query oracle and a set of nodes, the goal is to obtain the edge set by performing as few queries as possible. An algorithm…

Data Structures and Algorithms · Computer Science 2024-07-29 Clara Stegehuis , Lotte Weedage

In this paper we show lower bounds for a certain large class of algorithms solving the Graph Isomorphism problem, even on expander graph instances. Spielman [25] shows an algorithm for isomorphism of strongly regular expander graphs that…

Computational Complexity · Computer Science 2016-10-31 Aaron Snook , Grant Schoenebeck , Paolo Codenotti

The clique-width is a measure of complexity of decomposing graphs into certain tree-like structures. The class of graphs with bounded clique-width contains bounded tree-width graphs. We give a polynomial time graph isomorphism algorithm for…

Computational Complexity · Computer Science 2016-04-29 Bireswar Das , Murali Krishna Enduri , I. Vinod Reddy

It's important to design polynomial time algorithms to test if two graphs are isomorphic at least for some special classes of graphs. An approach to this was presented by Eugene M. Luks(1981) in the work \textit{Isomorphism of Graphs of…

Discrete Mathematics · Computer Science 2012-09-06 Adria Alcala Mena

We experimentally evaluate the practical state-of-the-art in graph bipartization (Odd Cycle Transversal), motivated by recent advances in near-term quantum computing hardware and the related embedding problems. We assemble a preprocessing…

Discrete Mathematics · Computer Science 2021-03-22 Timothy D. Goodrich , Eric Horton , Blair D. Sullivan

The graph isomorphism problem is a main problem which has numerous applications in different fields. Thus, finding an efficient and easy to implement method to discriminate non-isomorphic graphs is valuable. In this paper, a new method is…

Combinatorics · Mathematics 2016-11-08 Ameneh Farhadian

IC-planar graphs are those graphs that admit a drawing where no two crossed edges share an end-vertex and each edge is crossed at most once. They are a proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph $G$ with $n$…

Computational Geometry · Computer Science 2016-07-19 Franz J. Brandenburg , Walter Didimo , William S. Evans , Philipp Kindermann , Giuseppe Liotta , Fabrizio Montecchiani

The $k$-dimensional Weisfeiler-Leman ($k$-WL) algorithm is a simple combinatorial algorithm that was originally designed as a graph isomorphism heuristic. It naturally finds applications in Babai's quasipolynomial time isomorphism…

Discrete Mathematics · Computer Science 2026-01-13 Martin Grohe , Moritz Lichter , Daniel Neuen , Pascal Schweitzer

A polynomial algorithm for graphs' isomorphism testing is constructed in assumption that there exists a corresponding polynomial algorithm for graphs with trivial automorphism group.

Combinatorics · Mathematics 2007-05-23 Aleksandr Golubchik