  The famous Braess paradox describes the following phenomenon: It might happen
that the improvement of resources, like building a new street within a
congested network, may in fact lead to larger costs for the players in an
equilibrium. In this paper we consider general nonatomic congestion games and
give a characterization of the maximal combinatorial property of strategy
spaces for which Braess paradox does not occur. In a nutshell, bases of
matroids are exactly this maximal structure. We prove our characterization by
two novel sensitivity results for convex separable optimization problems over
polymatroid base polyhedra which may be of independent interest.
