Originally posted by: HDing

Hi all,

if I have a set (a BooleanVarArray), except the first and the last entries are 1, all the others are zero, like

{1, 0, 0, ..., 0, 1}

is it the SOS Type 2, such that two variables are nonzero and adjacent in the set?

Thanks!
#CPLEXOptimizers
#DecisionOptimization

Originally posted by: SystemAdmin

No, the first and last members of a special ordered set are not defined to be adjacent. The solution vector you show would not be feasible as part of an SOS2.

SOS2 was designed to aid in modeling piecewise linear functions, where two adjacent members help define the segment of the function.
#CPLEXOptimizers
#DecisionOptimization