Protein Comparison

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]}$