Exact and heuristic algorithms for the domination problem

•A good exact enumeration algorithm for a hard problem is fast in practice.•An integer linear programming (ILP) formulation.•A good exact enumeration algorithm for a hard problem is cable to deal with enough large instances.•A good approximation is important for hard problems.•Graph domination probl...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:European journal of operational research Ročník 313; číslo 3; s. 926 - 936
Hlavní autori: Parra Inza, Ernesto, Vakhania, Nodari, Sigarreta Almira, José María, Hernández Mira, Frank Angel
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 16.03.2024
Predmet:
ISSN:0377-2217, 1872-6860
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:•A good exact enumeration algorithm for a hard problem is fast in practice.•An integer linear programming (ILP) formulation.•A good exact enumeration algorithm for a hard problem is cable to deal with enough large instances.•A good approximation is important for hard problems.•Graph domination problem is hard and has a number of important real-life applications. In a simple connected graph G=(V,E), a subset of vertices S⊆V is a dominating set if any vertex v∈V∖S is adjacent to some vertex x from this subset. A number of real-life problems can be modeled using this problem which is known to be among the difficult NP-hard problems in its class. We formulate the problem as an integer liner program (ILP) and compare the performance with the two earlier existing exact state-of-the-art algorithms and exact implicit enumeration and heuristic algorithms that we propose here. Our exact algorithm was able to find optimal solutions much faster than ILP and the above two exact algorithms for middle-dense instances. For graphs with a considerable size, our heuristic algorithm was much faster than both, ILP and our exact algorithm. It found an optimal solution for more than half of the tested instances, whereas it improved the earlier known state-of-the-art solutions for almost all the tested benchmark instances. Among the instances where the optimum was not found, it gave an average approximation error of 1.18.
ISSN:0377-2217
1872-6860
DOI:10.1016/j.ejor.2023.08.033