n頂点のグラフに線形計画法によるn/kの不連続k - 完全グラフが含まれているかどうかを確認する方法は？

Question

エッジは、i番目とj番目の頂点の間にエッジがあるかどうかを示すXijの形式で与えられます。私は整数最適化の問題を解決しており、この制約を追加したい。

Answer 1

最近、私はその解決策を得て、それを共有したいと考えました。

私はこの2つの条件が十分であり、必要であると考えます。

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

∀i、∀j、∀kxijを+ Xjk + Xik = 2

！