A comparison of approaches for finding minimum identifying codes on graphs

From MaRDI portal
Publication:296102

DOI10.1007/S11128-016-1240-0zbMATH Open1338.81136arXiv1504.08011OpenAlexW2329390440MaRDI QIDQ296102FDOQ296102

Victoria Horan, Steve Adachi, Stanley Bak

Publication date: 14 June 2016

Published in: Quantum Information Processing (Search for Journal in Brave)

Abstract: In order to formulate mathematical conjectures likely to be true, a number of base cases must be determined. However, many combinatorial problems are NP-hard and the computational complexity makes this research approach difficult using a standard brute force approach on a typical computer. One sample problem explored is that of finding a minimum identifying code. To work around the computational issues, a variety of methods are explored and consist of a parallel computing approach using Matlab, a quantum annealing approach using the D-Wave computer, and lastly using satisfiability modulo theory (SMT) and corresponding SMT solvers. Each of these methods requires the problem to be formulated in a unique manner. In this paper, we address the challenges of computing solutions to this NP-hard problem with respect to each of these methods.


Full work available at URL: https://arxiv.org/abs/1504.08011




Recommendations




Cites Work


Cited In (2)

Uses Software





This page was built for publication: A comparison of approaches for finding minimum identifying codes on graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q296102)