Ok. . .
c cents. c
c = p * PENNY + n * NICKEL + d * DIME + q * QUARTER
,
c = ( p * 1 ) + ( n * 5 ) + ( d * 10 ) + ( q * 25 )
p, n, d q, c. , p in [0, maximumPennies] n in [0, maximumNickels]. n d in [0, maximumDimes]. d q in [0, maximumQuarters].
p in [0, maximumPennies] AND c >= p
|
+- n in [0, maximumNickels] AND c >= p + 5n
|
+- d in [0, maximumDimes] AND c >= p + 5n + 10d
|
+- q in [0, maximumQuarters] AND c >= p + 5n + 10d + 25q
.