Linear programmig テクニック別解の得方

 ありました。

For example, if your first optimal solution has binary variables with values x1=1, x2=0, x3=1, then you can add the constraint

(1−x1)+x2+(1−x3)≥1

to eliminate the solution x1=1, x2=0, x3=1.

なるほど、上記制約を追加して行けばよいですね。SAT的に、!(x1~x2x3)=~x1+x2+~x3節を加えるのと同じ具合です。