[net.ai] a simple logic/number theory/A I/scheduling/graph theory

CS.CLINE%UTEXAS-20@sri-unix.UUCP (06/30/83)

hms (with proofs of course) for this one. You 
may notice that the approach you apply to Problem 1 does not
generalize to problem 2.