On cycle cones and polyhedra

Given an undirected graph C and a cost associated with each edge, the weighted girth problem is to find a simple cycle of G having minimum total cost. We consider several variants of the weighted girth problem, some of which are NP-hard and some of which are solvable in polynomial time. We also consider the polyhedra associated with each of these problems. Two of these polyhedra are the cycle cone of 6, which is the cone generated by the incidence vectors of cycles of 6, and the cycle polytope of G, which is the convex hull of the incidence vectors of cycles of 6. First we give a short proof of Seymour’s characterization of the cycle cone of G. Next we give a polyhedral composition result for the cycle polytope of 6. In particular, we prove that if G decomposes via a 3-edge cut into graphs 6, and G,, say, then defining linear systems for the cycle polytopes of G, and G, can be combined in a certain way to obtain a defining linear system for the cycle polytope of G. We also describe a