Supplementary material: SQLite queries for optima found by constraint programming

The following contains supplementary information for the paper

[1]	Signed double Roman domination on cubic graphs. Enrico Iurlano, Tatjana Zec, Marko Djukanovic, Günther R. Raidl. Submitted.

Attention: This page uses Javascript's openDatabase functionality (running, e.g., on the browsers Chromium, Chrome, Edge, Safari).
In case of any malfunction it might be beneficial to clear the browser's AppData in the Privacy Settings.
Alternatively, import the data with your custom SQLite browser into a table created by
CREATE TABLE allcases (optsdrdf_largerbox TEXT, optsdrdf_smallerbox TEXT, lt INTEGER, lti INTEGER, lb INTEGER, lbi INTEGER, rti INTEGER, rt INTEGER, rbi INTEGER, rb INTEGER, minweight_C INTEGER, minweight_Cprime INTEGER, delta INTEGER, weight_LR INTEGER, total_two_by_twelve_weight INTEGER);

Load the file allcases14940.csv contained in https://www.ac.tuwien.ac.at/files/resources/instances/sdrdp/queries_sdrdp.zip via the subsequent file picker Choose File.

Some queries contain logical disjunctions (or are formulated intentionally using label summation) such that vertical/horizontal/or point symmetric reflections occuring during the symmetry breaking are taken into consideration.

SQLite Query	Situation in the paper [1]
SELECT * FROM allcases where minweight_C <= 5
SELECT * FROM allcases where (minweight_C == 6 or minweight_C == 7 or minweight_C == 9) and delta < 4
SELECT * FROM allcases WHERE delta < 4 AND minweight_C >= 10 AND minweight_C + weight_LR == 16 AND ( NOT ( (lt <= 1 AND lti <= 1 AND lb <= 1 AND lbi <= 1) OR (rt <= 1 AND rti <= 1 AND rb <= 1 AND rbi <= 1) ) )
SELECT * FROM allcases WHERE delta < 4 AND minweight_C >= 10 AND minweight_C + weight_LR == 16 AND ( NOT ( (lt <= 1 AND lti <= 1 AND lb <= 1 AND lbi <= 1) OR (rt <= 1 AND rti <= 1 AND rb <= 1 AND rbi <= 1) ) ) AND ( (lti+lbi == -2 AND rt + rb >= 3) OR (rti+rbi == -2 AND lt+lb >= 3) )	Verification of f(u_-1)=f(v_-1)=-1 & f(u₉)+f(v₉) >= 3
SELECT * FROM allcases WHERE delta < 4 AND ( (lt+lb == -2 AND rti + rbi >= 3) OR (rt+rb == -2 AND lti+lbi >= 3) )	Verification of qualitiy-transferring property for B.
SELECT * FROM allcases WHERE delta < 4 AND minweight_C >= 10 AND minweight_C + weight_LR <= 15 AND ( (lt <= 1 AND lti <= 1 AND lb <= 1 AND lbi <= 1) OR (rt <= 1 AND rti <= 1 AND rb <= 1 AND rbi <= 1) )
SELECT * FROM allcases WHERE delta < 4 AND minweight_C >= 10 AND minweight_C + weight_LR <= 15 AND ( NOT ( (lt <= 1 AND lti <= 1 AND lb <= 1 AND lbi <= 1) OR (rt <= 1 AND rti <= 1 AND rb <= 1 AND rbi <= 1) ) )
SELECT * FROM allcases WHERE delta < 4 AND minweight_C >= 10 AND (minweight_C + lti+lbi < 11 AND minweight_C + rti+rbi < 11)
SELECT * FROM allcases WHERE delta < 4 AND ((lt+lb == -2 AND rti+rbi == 4) OR (rt+rb==-2 AND lti+lbi==4) )	Verification of quality-transferring property
SELECT * FROM allcases WHERE (lt+lb == -2 AND lti+lbi== 6) OR (rti+rbi== 6 AND rt+rb == -2)

Status Message