TY - JOUR

T1 - Integer linear programming formulations for double roman domination problem

AU - Cai, Qingqiong

AU - Fan, Neng

AU - Shi, Yongtang

AU - Yao, Shunyu

N1 - Publisher Copyright:
© 2019, © 2019 Informa UK Limited, trading as Taylor & Francis Group.

PY - 2019

Y1 - 2019

N2 - For a graph G = (V,E), a double Roman dominating function (DRDF) is a function f:V → {0,1,2,3} having the property that if f(v) = 0, then vertex v must have at least two neighbours assigned 2 under f or at least one neighbour u with f(u) = 3, and if f(v) = 1, then vertex v must have at least one neighbour u with f(u) ≥ 2. In this paper, we consider the double Roman domination problem, which is an optimization problem of finding the DRDF f such that (Formula presented.) is minimum. We propose five integer linear programming (ILP) formulations and one mixed integer linear programming formulation with polynomial number of constraints for this problem. Some additional valid inequalities and bounds are also proposed for some of these formulations. Further, we prove that the first four models indeed solve the double Roman domination problem, and the last two models are equivalent to the others regardless of the variable relaxation or usage of a smaller number of constraints and variables. Additionally, we use one ILP formulation to give an H(2(∆ + 1)) -approximation algorithm. All proposed formulations and approximation algorithm are evaluated on randomly generated graphs to compare the performance.

AB - For a graph G = (V,E), a double Roman dominating function (DRDF) is a function f:V → {0,1,2,3} having the property that if f(v) = 0, then vertex v must have at least two neighbours assigned 2 under f or at least one neighbour u with f(u) = 3, and if f(v) = 1, then vertex v must have at least one neighbour u with f(u) ≥ 2. In this paper, we consider the double Roman domination problem, which is an optimization problem of finding the DRDF f such that (Formula presented.) is minimum. We propose five integer linear programming (ILP) formulations and one mixed integer linear programming formulation with polynomial number of constraints for this problem. Some additional valid inequalities and bounds are also proposed for some of these formulations. Further, we prove that the first four models indeed solve the double Roman domination problem, and the last two models are equivalent to the others regardless of the variable relaxation or usage of a smaller number of constraints and variables. Additionally, we use one ILP formulation to give an H(2(∆ + 1)) -approximation algorithm. All proposed formulations and approximation algorithm are evaluated on randomly generated graphs to compare the performance.

KW - Double roman domination

KW - approximation algorithm

KW - integer linear programming

UR - http://www.scopus.com/inward/record.url?scp=85074501881&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85074501881&partnerID=8YFLogxK

U2 - 10.1080/10556788.2019.1679142

DO - 10.1080/10556788.2019.1679142

M3 - Article

AN - SCOPUS:85074501881

JO - Optimization Methods and Software

JF - Optimization Methods and Software

SN - 1055-6788

ER -