Modify the routing problem by assuming that any type- $i$ agent's cost of taking any route $x^i \in X^i$ is
$$
\sum_{l \in x^i}\left(c_l\left(t_l\right)+\tau_l\left(t_l\right)\right)
$$
where $c_l$ is differentiable, and $\tau_l\left(t_l\right)$ is a congestion tax that the agent pays the government for the right to pass through link $l$. The utilitarian traffic flow is unchanged because, in the utilitarian social welfare function, which now includes the government's payoff $\sum_{l \in \mathcal{L}} t_l \tau_l\left(t_l\right)$, all tax transfers cancel out, and, so, the utilitarian social welfare function itself is unchanged. By contrast, Nashequilibrium traffic flow is affected by the transfers.
1. Design a tax structure $\left(\tau_l\right)_{l \in \mathcal{L}}$ such that, in SM2LA, the Nash-equilibrium routing coincides with the utilitarian one.
2. Repeat the exercise in part 1 for SM2P with highway 101 added.
3. Repeat the exercise in part 1 for the general routing problem.