Add graph to GT - Githubissues

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

Add graph to GT #596

Closed math1um closed 3 years ago

math1um commented 6 years ago

g=Graph("JBIJKvDMO")

is a CE to the conjecture: size <= matching_number*max_degree + 1, for maximal triangle free graphs

jaritaes99 commented 3 years ago

added