English
Related papers

Related papers: Graph isomorphism and automorphism problems are po…

200 papers

In this paper, we propose algorithms for the graph isomorphism (GI) problem that are based on the eigendecompositions of the adjacency matrices. The eigenvalues of isomorphic graphs are identical. However, two graphs $ G_A $ and $ G_B $ can…

Discrete Mathematics · Computer Science 2019-08-14 Stefan Klus , Tuhin Sahai

In this paper, we present two main results. First, by only one conjecture (Conjecture 2.9) for recognizing a vertex symmetric graph, which is the hardest task for our problem, we construct an algorithm for finding an isomorphism between two…

Data Structures and Algorithms · Computer Science 2017-06-29 Caishi Fang

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

The Graph Isomorphism problem has both theoretical and practical interest. In this paper we present an algorithm, called conauto-1.2, that efficiently tests whether two graphs are isomorphic, and finds an isomorphism if they are. This…

Data Structures and Algorithms · Computer Science 2011-06-23 Jose Luis Lopez-Presa , Antonio Fernandez Anta

It is shown that for graph groups (right-angled Artin groups) the conjugacy problem as well as a restricted version of the simultaneous conjugacy problem can be solved in polynomial time even if input words are represented in a compressed…

Group Theory · Mathematics 2010-03-08 Niko Haubold , Markus Lohrey , Christian Mathissen

We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random…

Combinatorics · Mathematics 2021-03-11 Debsoumya Chakraborti , Alan Frieze , Simi Haber , Mihir Hasabnis

Graphs are widely used to model complicated data semantics in many application domains. In this paper, two novel and efficient algorithms Fast-ON and Fast-P are proposed for solving the subgraph isomorphism problem. The two algorithms are…

Data Structures and Algorithms · Computer Science 2019-04-19 Mosab Hassaan , Karam Gouda

In recent years many algorithms have been developed for finding patterns in graphs and networks. A disadvantage of these algorithms is that they use subgraph isomorphism to determine the support of a graph pattern; subgraph isomorphism is a…

Data Structures and Algorithms · Computer Science 2015-03-19 Anton Dries , Siegfried Nijssen

It is well-known [KST93] that the complexity of the Graph Automorphism problem is characterized by a special case of Graph Isomorphism, where the input graphs satisfy the "promise" of being rigid (that is, having no nontrivial…

Computational Complexity · Computer Science 2018-04-03 Eric Allender , Joshua A. Grochow , Dieter van Melkebeek , Cristopher Moore , Andrew Morgan

We consider the problem of finding a subgraph of a given graph minimizing the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already for bipartite graphs when the functions are convex on…

Optimization and Control · Mathematics 2021-04-27 Gabriel Deza , Shmuel Onn

The graph isomorphism (GI) problem, which asks whether two graphs are structurally identical, occupies a unique position in computational complexity -- it is neither known to be solvable in polynomial time, nor proven to be NP-complete. We…

Optimization and Control · Mathematics 2026-05-21 Wenjie Xiao , Mathieu Besançon , Patrick Gelß , Deborah Hendrych , Stefan Klus , Sebastian Pokutta

We consider the following problem closely related to graph isomorphism. In a simplified version, the task is to compute the automorphism group of a given set family (or a hypergraph), that is, the group of all automorphisms of the given…

Discrete Mathematics · Computer Science 2022-06-29 Deniz Ağaoğlu Çağırıcı , Petr Hliněný

We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that…

Optimization and Control · Mathematics 2018-08-21 Antoine Deza , Asaf Levin , Syed M. Meesum , Shmuel Onn

Given a graph $G$, the graph $[G]$ obtained by adding, for each pair of vertices of $G$, a unique vertex adjacent to both vertices is called the binding graph of $G$. In this work, we show that the class of binding graphs is…

Combinatorics · Mathematics 2024-08-27 Rui Xue

Ordered matchings, defined as graphs with linearly ordered vertices, where each vertex is connected to exactly one edge, play a crucial role in the area of ordered graphs and their homomorphisms. Therefore, we consider related problems from…

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

A general novel approach mapping discrete, combinatorial, graph-theoretic problems onto ``physical'' models - namely $n$ simplexes in $n-1$ dimensions - is applied to the graph equivalence problem. It is shown to solve this long standing…

Statistical Mechanics · Physics 2007-05-23 Vladimir Gudkov , Shmuel Nussinov

The computational cost of simulating quantum many-body systems can often be reduced by taking advantage of physical symmetries. While methods exist for specific symmetry classes, a general algorithm to find the full permutation symmetry…

Quantum Physics · Physics 2025-12-01 Saumya Shah , Patrick Rebentrost

Let $G$ be a graph on $n$ vertices with adjacency matrix $A$, and let $\mathbf{1}$ be the all-ones vector. We call $G$ controllable if the set of vectors $\mathbf{1}, A\mathbf{1}, \dots, A^{n-1}\mathbf{1}$ spans the whole space…

Combinatorics · Mathematics 2023-09-12 Aida Abiad , Anuj Dawar , Octavio Zapata

Consider two planar graphs which are subject to edge insertions and deletions. We show that whether the two graphs are isomorphic can be maintained with first-order logic formulas and auxiliary data of polynomial size. This places the…

Logic in Computer Science · Computer Science 2026-04-27 Samir Datta , Asif Khan , Felix Tschirbs , Nils Vortmeier , Thomas Zeume

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