Constraints

The following constraints are used in this example:

  • bounds on variables

  • for $i \in \text {NODES[1]}$,

    \[  \sum _{(i,j) \in \text {IJ}} \Variable{Assign[i,j]} \le 1  \]
  • for $j \in \text {NODES[2]}$,

    \[  \sum _{(i,j) \in \text {IJ}} \Variable{Assign[i,j]} \le 1  \]
  • for $(i,j) \in \text {IJ}$ and $(k,l) \in \text {IJ}$ such that $i < k$ and $j > l$,

    \[  \Variable{Assign[i,j]} + \Variable{Assign[k,l]} \le 1  \]
  • for $(i,j,k,l) \in \text {EDGE\_ PAIRS}$,

    \[  \Variable{IsCorrespondingEdge[i,j,k,l]} \le \Variable{Assign[i,j]}  \]
  • for $(i,j,k,l) \in \text {EDGE\_ PAIRS}$,

    \[  \Variable{IsCorrespondingEdge[i,j,k,l]} \le \Variable{Assign[k,l]}  \]