English
Related papers

Related papers: Graph Isomorphism is PSPACE-complete

200 papers

We prove that every connected locally finite regular graph has a double cover which is isomorphic to a Schreier graph.

Combinatorics · Mathematics 2024-03-21 Paul-Henry Leemann

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

The Induced Graph Matching problem asks to find k disjoint induced subgraphs isomorphic to a given graph H in a given graph G such that there are no edges between vertices of different subgraphs. This problem generalizes the classical…

Discrete Mathematics · Computer Science 2014-02-11 Danny Hermelin , Matthias Mnich , Erik Jan van Leeuwen

It is well-known that the pancake graphs are widely used as models for interconnection networks \cite{Akers}. In this paper, some properties of the pancake graphs are investigated. We first prove that the pancake graph, denoted by $P_n…

Combinatorics · Mathematics 2012-01-04 Yun-Ping Deng , Xiao-Dong Zhang

A celebrated theorem due to R. Frucht states that, roughly speaking, each group is isomorphic to the symmetry group of some graph. By "symmetry group" the group of all graph automorphisms is meant. We provide an analogue of this result for…

Mathematical Physics · Physics 2019-11-21 Delio Mugnolo

Let $V$ be a set of cardinality $v$ (possibly infinite). Two graphs $G$ and $G'$ with vertex set $V$ are {\it isomorphic up to complementation} if $G'$ is isomorphic to $G$ or to the complement $\bar G$ of $G$. Let $k$ be a non-negative…

Combinatorics · Mathematics 2016-08-16 Jamel Dammak , Gérard Lopez , Maurice Pouzet , Hamza Si Kaddour

The symmetries of complex molecular structures can be modeled by the {\em topological symmetry group} of the underlying embedded graph. It is therefore important to understand which topological symmetry groups can be realized by particular…

Geometric Topology · Mathematics 2018-08-14 Kathleen Hake , Blake Mellor , Matthew Pittluck

In this paper we consider the problems of testing isomorphism of tensors, $p$-groups, cubic forms, algebras, and more, which arise from a variety of areas, including machine learning, group theory, and cryptography. These problems can all…

Computational Complexity · Computer Science 2025-06-18 Joshua A. Grochow , Youming Qiao

In this paper we develop three characterizations for isomorphism of graphs. The first characterization is obtained by associating certain bitableaux with the graphs. We order these bitableaux by suitably defined lexicographic order and…

General Mathematics · Mathematics 2015-12-16 Dhananjay P. Mehendale

We consider the following two algorithmic problems: given a graph $G$ and a subgraph $H\subseteq G$, decide whether $H$ is an isometric or a geodesically convex subgraph of $G$. It is relatively easy to see that the problems can be solved…

Data Structures and Algorithms · Computer Science 2026-04-14 Sergio Cabello

In a graph, a matching cut is an edge cut that is a matching. Matching Cut is the problem of deciding whether or not a given graph has a matching cut, which is known to be NP-complete even when restricted to bipartite graphs. It has been…

Computational Complexity · Computer Science 2018-10-29 Hoang-Oanh Le , Van Bang Le

Let $\A$ and $\B$ be operator algebras with $c_0$-isomorphic diagonals and let $\K$ denote the compact operators. We show that if $\A\otimes\K$ and $\B\otimes\K$ are isometrically isomorphic, then $\A$ and $\B$ are isometrically isomorphic.…

Operator Algebras · Mathematics 2023-06-22 Evgenios Kakariadis , Elias Katsoulis , Xin Li

A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…

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

We investigate the asymptotic structure of a random perfect graph $P_n$ sampled uniformly from the perfect graphs on vertex set $\{1,\ldots,n\}$. Our approach is based on the result of Pr\"omel and Steger that almost all perfect graphs are…

Combinatorics · Mathematics 2017-09-07 Colin McDiarmid , Nikola Yolov

The aim of this work is the description of the isomorphism classes of all Leavitt path algebras coming from graphs satisfying Condition (Sing) with up to three vertices. In particular, this classification recovers the one achieved by Abrams…

Let $G$ be a graph embedded in a surface and let $\mathcal F$ be a set of even faces of $G$ (faces bounded by a cycle of even length). The resonance graph of $G$ with respect to $\mathcal F$, denoted by $R(G;\mathcal F)$, is a graph such…

Combinatorics · Mathematics 2023-06-16 Niko Tratnik , Dong Ye

Laplacian operators on finite compact metric graphs are considered under the assumption that matching conditions at graph vertices are of $\delta$ and $\delta'$ types. An infinite series of trace formulae is obtained which link together two…

Spectral Theory · Mathematics 2014-11-06 Yulia Ershova , Irina I. Karpenko , Alexander V. Kiselev

A colouring of a graph $G=(V,E)$ is a mapping $c\colon V\to \{1,2,\ldots\}$ such that $c(u)\neq c(v)$ for every two adjacent vertices $u$ and $v$ of $G$. The {\sc List $k$-Colouring} problem is to decide whether a graph $G=(V,E)$ with a…

Data Structures and Algorithms · Computer Science 2021-08-27 Nick Brettell , Jake Horsfield , Andrea Munaro , Daniel Paulusma

We initiate a general study of what we call orientation completion problems. For a fixed class C of oriented graphs, the orientation completion problem asks whether a given partially oriented graph P can be completed to an oriented graph in…

Discrete Mathematics · Computer Science 2015-09-07 Joergen Bang-Jensen , J. Huang , Xuding Zhu

A graph G=(V,E) is a pairwise compatibility graph (PCG) if there exists an edge-weighted tree T and two non-negative real numbers `d' and `D' such that each leaf `u' of T is a node of V and the edge `(u,v) belongs to E' iff `d <= d_T(u, v)…

Discrete Mathematics · Computer Science 2015-04-27 Tiziana Calamoneri , Blerina Sinaimeri , Mattia Gastaldello