クリーク分割多面体の弦サイクルファセットの完全な特性化

q-弦k-サイクル不等式がクリーク分割多面体のファセットを誘導するための必要十分条件は、k = 1 mod q であり、k = 3q + 1 の場合は q = 3 または q が偶数であることである。