Solution

ID: past-exam-of-the-computer-science-course-of-the-university-of-oxford/2021/artificial-intelligence/2/f/solution

There is exactly one solution: for . Strict increase makes all values distinct. Since all lie in the -element domain , they must use every value, and their increasing order fixes their positions.
Equivalently, by propagation from the lower endpoint, and by propagating backwards from . For general , choosing any -element subset determines one increasing solution, giving the binomial coefficient ; the case gives .

New to topics? Read the docs here!