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
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.