domination_upper_bound_conjectures3.py

'''
This file assumes that the conjecturing spkg is installed and that 'conjecturing.py' and
'graphtheory.py' are loaded.
'''

objects = [graphs.CompleteGraph(3), 
           Graph('WxEW?CB?I?_R????_?W?@?OC?AW???O?C??B???G?A?_??R'),
           Graph('PKKOGCO?G?gH?@_?_?_?@C?C'),
           Graph('T{aAA@?G@?C?C?A??_??_?A??C?@??A??A??'),
           Graph('~?BH{aCCA?_C?O?_?_?O?C??_?A??C??C??A???_??C???O???_???_???O???C????_???A????C????C????A?????_????C?????O?????_?????_?????O?????C??????_?????A??????C??????C??????A???????_??????C???????O???????_???????_???????O???????C????????_???????A????????C????????C????????A?????????_????????C?????????O?????????_?????????_?????????O?????????C??????????_?????????A??????????C??????????C??????????A???????????_??????????C???????????O???????????_???????????_???????????O???????????C????????????_???????????A????????????C????????????C????????????A?????????????_????????????C?????????????O?????????????_?????????????_?????????????O?????????????C??????????????_?????????????A??????????????C??????????????C??????????????A???????????????_??????????????C???????????????O???????????????_???????????????_???????????????O???????????????C????????????????_???????????????@????????????????@?????????????????_????????????????G????????????????@?????????????????C?????????????????G?????????????????G?????????????????C?????????????????@??????????????????G??????????????????_?????????????????@??????????????????@???????????????????_??????????????????G??????????????????@???????????????????C???????????????????G???????????????????G???????????????????C???????????????????@????????????????????G????????????????????_???????????????????@????????????????????@?????????????????????_????????????????????G????????????????????@?????????????????????C?????????????????????G?????????????????????G?????????????????????C?????????????????????@??????????????????????G??????????????????????_?????????????????????@??????????????????????@???????????????????????_??????????????????????G??????????????????????@???????????????????????C???????????????????????G???????????????????????G???????????????????????C???????????????????????@????????????????????????G????????????????????????_???????????????????????@????????????????????????@?????????????????????????_????????????????????????G????????????????????????@?????????????????????????C?????????????????????????G?????????????????????????G?????????????????????????C?????????????????????????@??????????????????????????G??????????????????????????_?????????????????????????@??????????????????????????@???????????????????????????_??????????????????????????G??????????????????????????@???????????????????????????C???????????????????????????G???????????????????????????G???????????????????????????C???????????????????????????@????????????????????????????G????????????????????????????_???????????????????????????@????????????????????????????@?????????????????????????????_????????????????????????????G????????????????????????????@?????????????????????????????C?????????????????????????????G?????????????????????????????G?????????????????????????????C?????????????????????????????@??????????????????????????????G??????????????????????????????_?????????????????????????????@??????????????????????????????@???????????????????????????????_??????????????????????????????G??????????????????????????????@???????????????????????????????C???????????????????????????????G???????????????????????????????G???????????????????????????????C???????????????????????????????@????????????????????????????????G????????????????????????????????_???????????????????????????????@????????????????????????????????@?????????????????????????????????_????????????????????????????????G????????????????'),
           Graph('~?A}sP@@?OC?O@?@?@??O?C??O?@??@??@???O??C???O??@???@???@????O???C????O???@????@????@?????O????C?????O????@?????@?????@??????O?????C??????O?????@??????@??????@???????O??????C???????O??????@???????@???????@????????O???????C????????O???????@????????@????????@?????????O????????C?????????O????????@?????????@?????????@??????????O?????????C??????????O?????????@??????????@??????????@???????????O??????????C???????????O??????????@???????????@???????????@????????????O???????????C????????????O???????????@????????????@????????????@?????????????O????????????C?????????????O????????????@?????????????@?????????????@??????????????O?????????????C??????????????O?????????????@??????????????@??????????????@???????????????O??????????????C???????????????O??????????????@???????????????@???????????????@????????????????O???????????????C????????????????O???????????????@????????????????@????????????????@?????????????????O????????????????C?????????????????O????????????????@?????????????????@?????????????????@??????????????????O?????????????????C??????????????????O?????????????????@??????????????????@??????????????????@???????????????????O??????????????????C???????????????????O??????????????????@???????????????????@???????????????????@????????????????????O???????????????????C????????????????????O???????????????????@????????????????????@????????????????????@?????????????????????O????????????????????C?????????????????????O????????????????????@?????????????????????@?????????????????????@??????????????????????O?????????????????????C??????????????????????O?????????????????????@??????????????????????@??????????????????????@???????????????????????O??????????????????????C???????????????????????O??????????????????????@???????????????????????@???????????????????????@????????????????????????O???????????????????????C????????????????????????O???????????????????????@????????????????????????@????????????????????????@?????????????????????????O????????????????????????C?????????????????????????O????????????????????????@?????????????????????????@?????????????????????????@??????????????????????????O?????????????????????????C??????????????????????????O?????????????????????????@??????????????????????????@??????????????????????????@???????????????????????????O??????????????????????????C???????????????????????????O??????????????????????????@???????????????????????????@???????????????????????????@????????????????????????????O???????????????????????????C????????????????????????????O???????????????????????????@????????????????????????????@????????????????????????????@?????????????????????????????O????????????????????????????C?????????????????????????????O????????????????????????????@?????????????????????????????@?????????????????????????????@??????????????????????????????O?????????????????????????????C??????????????????????????????O?????????????????????????????@??????????????????????????????@??????????????????????????????@???????????????????????????????O??????????????????????????????C???????????????G'),
           Graph('BW'),
           Graph('CU'),
           Graph('E]~o'),
           Graph('G?o~f_'),
           Graph('FCQb?'),
           Graph('G?`FE_'),
           Graph('ECR_'),
           Graph('G?`DE_'),
           Graph('H?ABCpo'),
           Graph('H?BFEbI'),
           Graph('H?BFEbJ'),
           Graph('I?AA@BOy?'),
           Graph('H?`DAbG'),
           Graph('I?AAD@Oq?'),
           Graph('I??E@aKJ?'),
           Graph('C]'),
           Graph('DEk'),
           Graph('G?`DEc'),
           Graph('I?AAFBOqO')]

knownUpperBounds = [matching_number, annihilation_number, fractional_alpha, lovasz_theta, cvetkovic]
for bound in knownUpperBounds:
    invariants.remove(bound)
mainInvariant = invariants.index(dominationNumber)

#switch min and maximum degree
minPos, maxPos = invariants.index(min_degree), invariants.index(max_degree)
invariants[minPos], invariants[maxPos] = invariants[maxPos], invariants[minPos]

conjectures = conjecture(objects, invariants, mainInvariant, upperBound=True)

print("The conjectures are stored in the variable conjectures.")