added chvatal_erdos and radius=diam properties