Add property: has_radius_one

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 property: has_radius_one #532

Closed math1um closed 6 years ago

math1um commented 6 years ago

True iff the (connected) graph has radius == 1.

This is true for stars, fans, complete graphs.

nvcleemp commented 6 years ago

We already have has_star_center.