Fix iteration bug found by Henk

This commit is contained in:
Jip J. Dekker 2021-07-14 18:27:25 +10:00
parent e566a353ee
commit d0125970cd
No known key found for this signature in database
GPG Key ID: 517DF4A00618C9C3

View File

@ -770,7 +770,7 @@ The indicator variables \(y_{i}\) are \glspl{ivar} that for a \variable{} \(x\)
\label{line:back-mip-channel} & x_{i} = \sum_{j \in N} j * y_{ij} & \forall_{i \in N} \\
\label{line:back-mip-row} & \sum_{i \in N} y_{ij} \leq 1 & \forall_{j \in N} \\
\label{line:back-mip-diag1} & \sum_{i,j \in N: i + j =k} y_{ij} \leq 1 & \forall_{3 \leq{} k \leq{} 2n-1} \\
\label{line:back-mip-diag2} & \sum_{i,j \in N: i - j =k} y_{ij} \leq 1 & \forall_{2 \leq{} k \leq{} n-2}
\label{line:back-mip-diag2} & \sum_{i,j \in N: i - j =k} y_{ij} \leq 1 & \forall_{-n+2 \leq{} k \leq{} n-2}
\end{align}
The encoding of this \cmodel{} uses only integers.