Slide 4
Slide 4 text
SOS1︓変数集合のうち1つだけが⾮ゼロになる
• デポはA,B,C,D,Eのいずれかの位置に1つだけ建設することができる
• 0-1変数δiを⽤いてデポがi (∈{A,B,C,D,E})に設置︓δi=1とする
• 変数の集合(δ1,δ2,δ3,δ4,δ5)はSOS1とみなすことができる
• SOS1であるという条件と制約(9.56)で整数性を保証されおり、
δiが整数であることを規定する必要はない
→ どれか⼀つが⾮ゼロで和が1なので、どれかが1その他が0となるため
• デポが⾃然な順序で並んでいるとSOSには⼤きな利点がある
• https://python-mip.readthedocs.io/en/latest/examples.html#exsos
4
SOS1の例︓Depot Siting (Example 9.5)