The Hilbert Basis of the Cut Cone overthe Complete Graph on Six VerticesFran

C. Laburthe,M. Deza,M. Laurent

Abstract:Let C be a real polyhedral cone, generated by the integer vectors x1; : : : ; xn. The set of points of this cone with integer coordinates forms a semi-group whose minimal set of generators (for linear combinations with coe cients in Z+) is called the Hilbert basis of C. The Hilbert basis always contains x1; : : : ; xn. The integer points of C which are not in the integer cone Z+(x1; : : : ; xn) are called the quasi-h points. This report presents the Hilbert basis for the cut cone over K6. Two results are proven: The Hilbert basis of the cut cone over K6 is composed of the 31 cuts and of the 15 vectors de de ned for each edge e by: def = 2 for f 6= e and dee = 4. The quasi-h points forK6 are exactly the de+n (v) for v non adjacent to e and n 2Z+. This report is the extended version of [Lab95], where Hilbert bases are studied within the general framework of integer programming and polytope theory. Moreover, detailed proofs are provided.