Graf berarah G didefinisikan sebagai pasangan terurut dari himpunan (V,E) yang ditulis dengan notasi G=(V,E) dimana V merupakan himpunan berhingga tak kosong yang disebut simpul, dan E adalah himpunan pasangan terurut anggota dari V yang disebut busur. Graf berarah unisiklik adalah graf berarah yang memuat tepat satu subgraf lingkaran. Graf helm berarah unisiklik Hn adalah graf yang diperoleh dari graf roda berarah Wn dengan menambahkan 1 pendant berarah pada tiap simpul lingkaran graf roda. Suatu ... "