Past exam of the computer science course of the University of Oxford / 2018 / Computational game theory / 1 / e / Solution

Assume $0<h<d$ and the feasible threshold $2\le k\le n$. An unsuccessful deer hunter would gain by switching to hare, so an equilibrium with deer participants must have $s\ge k$. A deer hunter then earns $d/s$ and must not gain by changing to hare; this requires $d/s\ge h$. A hare hunter who joins would earn $d/(s+1)$, so staying with hare requires $h\ge d/(s+1)$. Hence the necessary and sufficient conditions for the stated range $0<s<n$ areThese conditions check every possible unilateral change in this two-action game, so they also prove sufficiency. Equality is allowed because a Nash equilibrium rules out strict improvements, not indifferent deviations. The endpoint $s=n$ has no hare hunter to check; it is an equilibrium exactly when $d/n\ge h$.