math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/

GNU General Public License v3.0

14 stars 6 forks source link

CE to size<=(independence^2+1)+1 #605

Closed thenealon closed 3 years ago

thenealon commented 6 years ago

Graph('OAYRKr?KGW_\k@HWW@GSd')

math1um commented 3 years ago

ADD to graphs.sage (making it ce136):

CE to size<=(independence^2+1)+1

ce136=Graph('OAYRKr?KGW_\k@HWW@GSd') ce136.name(new = "ce136") add_to_lists(ce136, graph_objects, counter_examples, all_graphs)

jaritaes99 commented 3 years ago

added