Reductions between the Subgraph Isomorphism Problem and Hamiltonian and SAT Problems

  • Authors:

  • Ivan Olmos;Jesus A. Gonzalez;Mauricio Osorio

  • Affiliations:

  • Instituto Nacional de Astrofisica, Optica y Electronica, Puebla, Mexico;Instituto Nacional de Astrofisica, Optica y Electronica, Puebla, Mexico;Universidad de las Americas Puebla, Mexico

  • Venue:
  • CONIELECOMP '07 Proceedings of the 17th International Conference on Electronics, Communications and Computers
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Subgraph isomorphism (SI) detection is an important problem for several computer science subfields. In this paper we present a study of the Subgraph Isomorphism Problem (SIP) and its relation with the Hamiltonian cycles and SAT problems. In particular, we describe how instances of those problems can be solved throughout SI detection (using problems reductions). In our experiments we use an algorithm developed by the authors, which is capable to find all valid mappings in a SI instance. We performed several experiments, including cases for which there exists a known solution in polynomial time. In our analysis, we show the advantage and disadvantage of using a SI representation to solve Hamiltonian cycles and SAT problems.