For example, the assignment ∀i, j, y ij = ON might get a high score, but would not be a valid output of the model.
we need to impose a structural constraint to ensure that such illegal variable assignments are assigned 0 probability by the model.