It is assumed the a(x), b(x), and a(x,y) are positive integers and
c(x,y) non-negative integers.
The constraint matrix of (FCTPR) can be placed in the form of a
node-arc incidence matrix by elementary row operations. Recall that the
constraints of (FCTP^) are as follows: