A necessary condition for the existence of a circuit of any specified length
Kenneth R. Gehner · Networks · 1976
Abstract A necessary condition for the existence of a circuit of any specified length in a connected planar graph is developed and several applications of this result are given. This necessary condition is a direct generalization of the Kosyrev‐Grinberg condition for the existence of a Hamiltonian circuit in a planar graph.