A Two-Pronged Attack on the Dragon of Intractability

One approach to tractably finding a solution to an NP-complete optimisation problem is heuristic, where the solution is inexact but quickly found; another approach is to reduce the problem in such a way that the reduction has the same solution as the original but is simpler, and then to solve the reduction, noting that this reduction is still NP-complete. It is possible to combine the two approaches with the goal of taking advantage of both the speed of the heuristic approach and the exactness of the reduction, but this is typically done only in a simple way. The aim of this paper is to begin exploring the range of ways in which these two classes of approach can be combined, using vertex cover as a problem instance. We take as our reduction method the one used under parameterized complexity, where the problem is reduced through the application of kernelisation rules. For our heuristic we use Ant Colony Optimisation (ACO), where a set of ‘ants’ chooses a solution via distributed i...

• Type: Conference
• Year: 2005
• Where: ACSC
• Authors: Stephen Gilmour, Mark Dras
• Keywords: ACSC 2005, Computer Science, NP-complete Optimisation Problem, Solutions, Vertex Cover