A path p=⟨v1,v2,…,vk,vk+1⟩ is a sequence of vertices where (vi,vi+1) is an edge for each i=1,2,…,k.