![]() Braess’s Paradox (updated 31st August 2007) Keywords: simulating people, simulating crowds, simulating crowd dynamics How the addition of an extra route can make things worse. Braess’s paradox is an important consideration for the analysis of any network system that has alternative routes. To summarise Braess’s paradox: you sometimes increase congestion by increasing a choice of routes. This is a similar finding to the interaction-based paradox, where an increase in the number of interactions can reduce the overall system flow performance. Typically you find examples of the paradox in city traffic design and network analysis. Mark Wainwright has turned a description of Braess’s paradox into an excellent html. The following description is very heavily paraphrased from his website. To illustrate this paradox will consider a network of roads between two sites (A and D in Figure 1). These types of networks are typically described in economic terms, associating a cost for travelling on a particular edge of the network. Each edge in this example is labelled with some function of the number of cars on that edge: the more cars the longer the journey time, the more frequent the number of accidents, the longer delays become, hence the greater the fuel consumption will be. The function of cost will in general be complex but for the purposes of illustration we shall assume a simple linear function for each road (Figure 1).
Figure 1 - The four edges (roads) are marked with their associated cost functions. The symbol X indicates the relationship of cost to the number of cars on that road. Consider each car in turn leaving from A. Every driver can observe the density of traffic ahead of him/her and make a choice of routes based on that observation. The first driver is presented with two empty roads, and we shall assume that his probability of going either way is 50%. Successive cars using this network will be influenced by the previous driver’s choice assuming free flowing conditions. We shall also assume a small number of cars (say 6) therefore the cost for each car will be 26 + 6 x 3 = 44. Braess’s paradox is observed when another road is added (Figure 2).
Figure 2 -The addition of a central connecting road would appear to provide a lower overall cost to the network We can see that the driver of the first car now has several alternative routes through the network: A-B-D (26 + 6x), A-C-D (26 + 6x), A-B-C-D (3 + 10x) or A-C-B-D (51 + 2x). He would take A-B-C-D as it has a cost of 13 (10 x 1 + 3 = 13). Driver 2 may take A-B-C-D as it is still the best route with a cost of 23 (3 + 10 x 2 = 23). Driver 3 may also take A-B-C-D because the cost is still the lowest at 33 (3 + 10 x 3 = 33). Driver 4 may take A-B-D but this would cost 47 (there are already 3 cars using A-B) so he takes A-B-C-D, whose cost is only 43. By the time Driver 5 sets out, A-B-D (cost: 52) has the lowest cost. Driver 6 takes A-C-D with the same cost (52). We can see that, as the road usage increases, the addition of the B - C road has increased the overall cost of transport. We have added an alternative route and the cost to the whole network has increased. This is counterintuitive, and the impact is not easy to perceive (or to calculate) unless you are familiar with the nature of these types of problems. Examination of the underlying assumptions We have to examine the paradox in more detail. First let us consider the assumptions we have made in this model.
These assumptions may be incorrect, so let us first examine the network in more detail. In our original network, the solution we found (three drivers going each way) is stable. This means that once the cars are arranged this way there is no advantage in changing routes. Any route changes will cost more (travelling back down the network). It is also the only stable solution. If we arrange the cars in a different way, say four to the left and two to the right, then one driver will soon notice that he can lower his own journey cost by taking a different route. So, if we start with any arrangement of cars on roads, but let the cars change to a different route if it is cheaper, they will soon arrive at the stable solution. This is also the one we find by the greedy algorithm. What is particularly interesting is that these properties apply to the modified network. The solution given by the greedy algorithm, with four cars taking A-B-C-D, and one each A-B-D and A-C-D, is stable, and it is the only stable solution. If the six cars start off by using their old route to work - three each to the left and the right - one driver will soon notice that he can improve his time by cutting across between B and C, and gradually others will also change until the cars are arranged in the new formation where everyone's journey is more expensive. We have a solution where every car is careful to take the cheapest available route, and yet the total cost has increased. How is it that by adding an extra road to a network increases the overall costs? The key is how the cost of using a road varies with the number of cars. Using our linear functions, we can imagine the constant term as representing the road's length, and the term in x an indication of how prone the road is to congestion. Note that this idea supposes that the `cost' of a journey is purely a matter of how long it takes. Then the new road allowed a shortcut between the two North Westerly roads, which are shorter than the alternatives, but suffer from substantially worse congestion. The result is that each driver in turn takes this slightly quicker route, at a small saving for himself, but causing substantial extra delay to a number of other drivers. By the time everyone has decided whether to take the short cut, the total congestion gained by the system far outweighs the savings in distance. The modified network is really a classic example of the Prisoner's Dilemma (PD), a paradox with many applications. Adding the extra road gave the commuters the opportunity to `defect', in PD terms. In this particular case it did not even have any compensating benefits. When we consider the paradox with respect to egress systems, we have many examples of Braess’s paradox in building design. Specifically, the assumption that adding addition exit routes it will increase the overall egress capacity. This also applies to the addition of ingress routes to a stadium. Simply adding more may not solve the problem of how to increase the ingress capacity. Braess’s paradox and the Green Guide We can see that even a simple calculation based on a network can have unexpected results. This is relevant to the network example in the Green Guide for two main reasons. Network analysis is oversimplified, and the impact of the local geometry on crowd behaviour has not been sufficiently highlighted. The time taken to exit a system in an emergency is a critical factor for crowd safety. For safety analysis, every factor has to be considered. This includes the paradox posed by Braess. The oversimplification of network analysis in the Green Guide can have hidden and potentially catastrophic consequences. When a network system offers alternatives for egress, the impact of losing some of these in an emergency has to be part of the safety calculations. The Green Guide alludes to this but does not consider the impact that Braess’s paradox can have on an emergency egress system design. The impact of local geometry also includes the visibility of signage in crowded situations, the dynamics of crowd flows (as they merge together) and the relationship between speed and density in confined spaces. As previously stated the Green Guide has been revised considerably in light of recent disasters; however, with respect to this particular issue there are problems that need to be addressed. When a system is complex, it should not be reduced to the simplistic analysis presented in the Green Guide. Simulation as a solution to the problems of Braess's Paradox. By using an agent based software system coupled with local/global feedback, it is possible to analyse, predict, navigate and reroute the entire network on a dynamic basis. David Kelly has written some papers on the problems with Braess's paradox with respect to network routing in general. The issue of how to solve, in real-time, the dynamic routing problem is at the cutting edge of technology. Two outstanding problems have prevented the solution to date.
Solving both of these problem is now possible within the suite of tools developed under the Myriad framework. The understanding of these types of systems has been the primary research goal of the author for the last decade. His thesis Crowd Dynamics describes the process of using a simulation system to the problems of crowd safety. |