Saved in:
Bibliographic Details
Main Authors: Calderoni, Luca, Margara, Luciano, Marzolla, Moreno
Format: Preprint
Published: 2020
Subjects:
Online Access:https://arxiv.org/abs/2003.01591
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866908630162341888
author Calderoni, Luca
Margara, Luciano
Marzolla, Moreno
author_facet Calderoni, Luca
Margara, Luciano
Marzolla, Moreno
contents We investigate the computational complexity of the graph primality testing problem with respect to the direct product (also known as Kronecker, cardinal or tensor product). In [1] Imrich proves that both primality testing and a unique prime factorization can be determined in polynomial time for (finite) connected and nonbipartite graphs. The author states as an open problem how results on the direct product of nonbipartite, connected graphs extend to bipartite connected graphs and to disconnected ones. In this paper we partially answer this question by proving that the graph isomorphism problem is polynomial-time many-one reducible to the graph compositeness testing problem (the complement of the graph primality testing problem). As a consequence of this result, we prove that the graph isomorphism problem is polynomial-time Turing reducible to the primality testing problem. Our results show that connectedness plays a crucial role in determining the computational complexity of the graph primality testing problem.
format Preprint
id arxiv_https___arxiv_org_abs_2003_01591
institution arXiv
publishDate 2020
record_format arxiv
spellingShingle Direct Product Primality Testing of Graphs is GI-hard
Calderoni, Luca
Margara, Luciano
Marzolla, Moreno
Computational Complexity
Combinatorics
We investigate the computational complexity of the graph primality testing problem with respect to the direct product (also known as Kronecker, cardinal or tensor product). In [1] Imrich proves that both primality testing and a unique prime factorization can be determined in polynomial time for (finite) connected and nonbipartite graphs. The author states as an open problem how results on the direct product of nonbipartite, connected graphs extend to bipartite connected graphs and to disconnected ones. In this paper we partially answer this question by proving that the graph isomorphism problem is polynomial-time many-one reducible to the graph compositeness testing problem (the complement of the graph primality testing problem). As a consequence of this result, we prove that the graph isomorphism problem is polynomial-time Turing reducible to the primality testing problem. Our results show that connectedness plays a crucial role in determining the computational complexity of the graph primality testing problem.
title Direct Product Primality Testing of Graphs is GI-hard
topic Computational Complexity
Combinatorics
url https://arxiv.org/abs/2003.01591