Signed double Roman domination on cubic graphs

The signed double Roman domination problem is a combinatorial optimization problem on a graph asking to assign a label from {+/- 1, 2, 3} to each vertex feasibly, such that the total sum of assigned labels is minimized. Here feasibility is given whenever (i) vertices labeled +/- 1 have at least one neighbor with label in {2, 3}; (ii) each vertex labeled -1 has one 3-labeled neighbor or at least two 2-labeled neighbors; and (iii) the sum of labels over the closed neighborhood of any vertex is positive. The cumulative weight of an optimal labeling is called signed double Roman domination number (SDRDN). In this work, we first consider the problem on general cubic graphs of order.. for which we present a sharp n/2 + Theta(1) lower bound for the SDRDN by means of the discharging method. Moreover, we derive a new best upper bound. Observing that we are often able to minimize the SDRDN over the class of cubic graphs of a fixed order, we then study in this context generalized Petersen graphs for independent interest, for which we propose a constraint programming guided proof. We then use these insights to determine the SDRDNs of subcubic 2 x m grid graphs, among other results.