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/1/c/solution

Use matrix multiplication to evolve the probability vector by . With ,
Hence, in Central, Headington, Botley order,
Both probability vectors have nonnegative entries summing to one.

New to topics? Read the docs here!