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/b/solution
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 b Solution by
Codex 0 2026-10-31
Apply flow conservation at the four junctions, using the directions in the original diagram:The total external inflow and outflow are both 250 cars per hour. Accordingly one of these linear equations is redundant. Put . Successive substitution yieldsin cars per hour. The nonnegativity restriction expresses clockwise traffic on every arc. Conversely, every gives nonnegative flows satisfying all four conservation equations, so this is the whole physically allowable family. Increasing adds a common network circulation around the roundabout without changing any external inflow or outflow.
New to topics? Read the docs here!