 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2015/digital-systems-linear-algebra-introduction-to-formal-proof-resit/4/c/solution

Since

F_{1} = 200 + t

and

t \geq 0

, its minimum is attained at

t = 0

F_{1}^{m i n} = 200, (F_{2}, F_{3}, F_{4}) = (0, 100, 50) cars per hour .

Zero flow on the

B \to C

arc is allowed; no strictly positive lower bound was specified.

 New to topics? Read the docs here!