LOP をどうやって定式化？

０か１しかとらない「０−１変数」を導入
→スイッチのような使いかたができる
制約式：０≦ｍ≦１、ｍは整数

通る＝１、通らない＝０とすれば LOP にぴったり！