Quantum invariants for the graph isomorphism problem

Graph Isomorphism is such an important problem in computer science, that it has been widely studied over the last decades. It is well known that it belongs to NP class, but is not NP-complete. It is thought to be of comparable difficulty to integer factorisation. The best known proved algorithm to s...

Full description

Bibliographic Details
Authors: Cruz Calvo, Hernán Indíbil de la, Pelayo, Fernando L., Pascual, Vicente, Paulet González, Jose Javier, Cuartero Gómez, Fernando, Llana Díaz, Luis Fernando, Mezzini, Mauro
Format: article
Publication Date:2022
Country:España
Institution:Universidad Complutense de Madrid (UCM)
Repository:Docta Complutense
Language:English
OAI Identifier:oai:docta.ucm.es:20.500.14352/72679
Online Access:https://hdl.handle.net/20.500.14352/72679
Access Level:Open access
Keyword:510.52
Cibernética matemática
1207.03 Cibernética
Description
Summary:Graph Isomorphism is such an important problem in computer science, that it has been widely studied over the last decades. It is well known that it belongs to NP class, but is not NP-complete. It is thought to be of comparable difficulty to integer factorisation. The best known proved algorithm to solve this problem in general, was proposed by László Babai and Eugene Luks in 1983. Recently, there has been some research in the topic by using quantum computing, that also leads the present piece of research. In fact, we present a quantum computing algorithm that defines an invariant over Graph Isomorphism characterisation. This quantum algorithm is able to distinguish more non-isomorphic graphs than most of the known invariants so far. The proof of correctness and some hints illustrating the extent and reason of the improvement are also included in this paper.