如何通過線性規劃檢查n個頂點的圖是否包含n/k個不相交k - 完全圖？

Question

邊是以Xij的形式給出的，它表示在第i個和第j個頂點之間是否存在邊。我正在解決整數優化問題，並希望將此約束添加到它。

Answer 1

最近，我得到了它的解決方案，並希望分享它。

我認爲這兩個條件是充分和必要的。

∀iXI1 + XI2 ...... XIN = K - ！1

∀i，∀j，∀kXij + XJK + Xik = 2