Services on Demand
Journal
Article
Indicators
Cited by SciELO
Access statistics
Related links
Similars in SciELO
Share
Computación y Sistemas
On-line version ISSN 2007-9737Print version ISSN 1405-5546
Abstract
CERVANTES-OJEDA, Jorge; GOMEZ-FUENTES, María C. and FRESAN-FIGUEROA, Julián A.. Applying Genetic Algorithms to Validate a Conjecture in Graph Theory: The Minimum Dominating Set Problem. Comp. y Sist. [online]. 2023, vol.27, n.4, pp.1089-1097. Epub May 17, 2024. ISSN 2007-9737. https://doi.org/10.13053/cys-27-4-4782.
This paper presents a case study where the interdisciplinary approach between artificial intelligence, specifically genetic algorithms, and discrete mathematics has been instrumental in verifying a conjecture in graph theory. The focus of our research lies in the Minimum Dominating Set (MDS) problem, which involves identifying a dominating set with the minimum cardinality for a given graph. While previous works have primarily aimed at utilizing genetic algorithms to efficiently find satisfactory solutions to the MDS problem, our study aims to discover the optimal solution. The Rank GA algorithm employed in our work possesses the ability to escape local optima while simultaneously conducting local search to refine the best available solution. Since the MDS problem is known to be NP-hard, the characteristics of Rank GA, coupled with the identification of regularities in one of the solutions, enabled us to verify the conjecture for graphs comprising 30, 80, 312, and 800 vertices. This research serves as a testament to the versatility of genetic algorithms, showcasing their utility not only in practical problem-solving but also in tackling theoretical challenges.
Keywords : GA for theoretical problems; rank GA; genetic algorithms; minimum dominating set.