Buklesiz, katlı ayntsız, sonlu ve yönsüz tüm graflarm kümesi T olsun. Ayrıtlar kümesi, E={e1,e2,...,em}, m≥2 ve tepeler kümesi de V={vı,v2,...,vn}, n≥3 olmak üzere T kümesine ait olan birleştirilmiş bir graf G=(V,E) sembolü ...