Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/29252
17 Visitors
25 Hits
1 Downloads
- Title
- A Two-pronged attack on the dragon of intractability
- Related
- Australasian Computer Science Conference (28th : 2005) (31 January - 3 February 2005 : Newcastle)
- Related
- Estivill-Castro, Vladimir. Proceedings of the twenty eighth Australasian Computer Science Conference (ACSC 2005), p.183-192
- Related
- http://portal.acm.org/citation.cfm?id=1082182
- Related
- Conferences in research and practice in information technology Vol. 38
- Publisher
- Sydney : Australian Computer Society
- Date
- 2005
- Author/Creator
- Gilmour, Stephen
- Author/Creator
- Dras, Mark
- Description
- 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 interaction; the search space 'terrain' that these ants traverse can be either flat or, as in a recent proposal, preconfigured by templates. In this paper, we investigate kernelisation rules as a notion of template that is richer than has previously been proposed, show that under three different models of combination the approach outperforms standard ACO for vertex cover, and analyse the solutions generated by the combination models with respect to each other.
- Description
- 10 page(s)
- Subject Keyword
- Ant Colony Optimisation
- Subject Keyword
- parameterized complexity
- Subject Keyword
- vertex cover
- Resource Type
- conference paper
- Organisation
- Macquarie University. Dept. of Computing
- Identifier
- http://hdl.handle.net/1959.14/29252
- Identifier
- ISBN:1920682201
- Identifier
- ISSN:1445-1336
- Identifier
- mq-rm-2005001977
- Language
- eng
- Reviewed
