Protein Comparison


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}\mr{\_ }\text {PAIRS}$,

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

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