T; birleştirilmiş, buklesiz, katlı ayrıtsız, sonlu ve yönlendirilmemiş tüm grafların kümesini göstersin. Tepeler kümesi V = {v,,v2,...,vn}, n>3 ve ayrıtlar kümesi E = {e,,e2,...,em}, m>2 olmak üzere T kümesine ait bir graf ...