Current browse context:
cs.DS
Change to browse by:
References & Citations
Computer Science > Data Structures and Algorithms
Title: A Comparison of Approaches for Solving Hard Graph-Theoretic Problems
(Submitted on 29 Apr 2015 (v1), last revised 17 Dec 2015 (this version, v2))
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.
Submission history
From: Victoria Horan [view email][v1] Wed, 29 Apr 2015 20:22:12 GMT (810kb,D)
[v2] Thu, 17 Dec 2015 12:57:27 GMT (793kb,D)
Link back to: arXiv, form interface, contact.