Boundedly Rational User Equilibrium with Restricted Unused Routes
A boundedly rational user equilibrium model with restricted unused routes (R-BRUE) considering the restrictions of both used route cost and unused route cost is proposed. The proposed model hypothesizes that for each OD pair no traveler can reduce his/her travel time by an indifference band by unilaterally changing route. Meanwhile, no route is unutilized if its travel time is lower than sum of indifference band and the shortest route cost. The largest and smallest used route sets are defined using mathematical expression. We also show that, with the increase of the indifference band, the largest and smallest used route sets will be augmented, and the critical values of indifference band to augment these two path sets are identified by solving the mathematical programs with equilibrium constraints. Based on the largest and smallest used route sets, the R-BRUE route set without paradoxical route is generated. The R-BRUE solution set can then be obtained by assigning all traffic demands to the corresponding generated route set. Various numerical examples are also provided to illustrate the essential ideas of the proposed model and structure of R-BRUE route flow solution set.
Perfect rationality is widely used in studying traditional transportation network models in which traveler always chooses the shortest (i.e., least utility) route, such as user equilibrium (UE ) and stochastic user equilibrium (SUE ) traffic assignment models. However, travelers may not always choose shortest route due to lack of perfect travel information; incapability of obtaining the shortest route with the complex traffic situations; and certain “inertia” in decision making. Therefore people do not always choose the route with the maximum utility. They tend to seek a satisfactory route instead.
In the literature of evaluating habitual routes in route choice behavior, only 30% of respondents from Boston , 59% from Cambridge, Massachusetts , and 86.8% from Turin, Italy  chose the shortest routes. Based on GPS studies, Zhu  found that 90% of subjects in the Minneapolis-St. Paul region choose routes one-fifth longer than average commute time. All findings above revealed that people do not usually take the shortest routes and the used routes generally have higher costs than shortest ones.
It is more practical that traveler is boundedly rational (BR); traveler will not change his/her route if his/her travel time is a little longer than the shortest route. A series of experiments were conducted to empirically validate bounded rationality [7–13]. The results showed that, in the repeated learning process, commuters would not change their routes unless the difference between preferred arrival time and actual arrival time exceeded a threshold. And boundedly rational route choice modeling observed from experiments provided a valid description of actual commuter daily behavior.
Simon, in 1957 , first proposed the notion of bounded rationality. And in 1987 , Mahmassani and Chang introduced it to traffic modeling. Since then, bounded rationality has received considerable attention in various transportation models, such as traffic safety , transportation planning [16, 17], traffic policy making [18–20], traffic assignment, and network design [21–28]. All these studies indicated that traveler is boundedly rational in his/her decision-making process.
Boundedly rational user equilibrium (BRUE) is a network state such that travelers can take any route whose travel time is within a threshold of the shortest route time [22, 23, 25–28]. Such a threshold is phrased by Mahmassani and Chang  as “indifference band.” In other words, no one can reduce his/her travel time by an indifference band by unilaterally changing his/her route. The indifference band is estimated from either laboratory experiment data or a behavioral study of road users (e.g., by surveys [7, 29]). By introducing indifference band for each OD pair, the BRUE relaxes UE assumption that travelers only take the shortest routes at equilibrium.
However, unlike the conventional UE model, the traffic flow under BRUE may not utilize any shortest or least-cost route; in another word the unused route cost may be lower than the used one. For example, the route flows are 0, 5, and 7 for three different routes on one OD pair, and the travel times are 10, 12, and 13, respectively. If the indifference band is 3, the above route flow solution is a BRUE solution. From the behavioral point of view, one might question the plausibility of this that the least travel time route has no traffic on it. Therefore, to make the model become behavioral more defensible, not only the used route cost should be restricted, but also the unused route cost should be restricted.
Uncertainties are unavoidable in transportation systems and make people become boundedly rational. Travelers do not know exactly the time that they arrive at the destination due to the travel time variability which is made by uncertainties. However, in many cases (such as going to work, having a meeting, and catching the train), travelers care more about arrive time than travel time; no one wants to be late; thus the largest and smallest route sets exist in travels’ trip process.
This paper makes contributions in three major areas: considering both the restrictions of used route cost and unused route cost in the route decision process, we present a boundedly rational user equilibrium model with restricted unused routes (R-BRUE). This new model hypothesizes that for each OD pair no traveler can reduce his/her travel time by an indifference band by unilaterally changing route. Meanwhile, no route is unutilized if its travel time is lower than sum of indifference band and the shortest route cost. We propose the largest and smallest used route sets which can be used to generate the used route set of R-BRUE model. These two used route sets are defined as the union and intersection of all R-BRUE solution set patterns, respectively. And we develop two mathematical programs (MP) with equilibrium constraint to solve the critical values which is used to augment the largest and smallest used route sets.
The remainder of the paper is organized as follows. In Section 2, -R-BRUE ( denotes the indifference band) is defined and its mathematical formulation is established. In Section 3, the largest and smallest -used route sets are defined, and their properties are studied. In Section 4, -R-BRUE route set without paradoxical route is generated. In Section 5, -R-BRUE route flow set without paradoxical route is constructed, and some examples are presented to illustrate the essential ideas of proposed model and the structure of R-BRUE route flow solution set. Finally, some conclusions and future work are provided.
2. Definition of ε-R-BRUE and Mathematical Formulation
In this section, we propose -boundedly rational user equilibrium model with restricted unused routes (R-BRUE) and the mathematical formulation of proposed model.
2.1. Definition of ε-R-BRUE
Consider a transportation network , where and denote the sets of nodes and links, respectively. Let denote the set of OD pairs for which travel demand is generated between OD pair , and let denote the traffic flow on route , where is the set of routes connecting OD pair and all constitute . The feasible route flow set is to assign the traffic demand on the feasible routes: . Below is formal definition of -boundedly rational user equilibrium with restricted unused routes (R-BRUE).
Definition 1. -boundedly rational user equilibrium with restricted unused routes (-R-BRUE) is a network state such that the travel cost of all used route is less than or equal to the sum of given indifference band and the shortest route cost; meanwhile, the travel cost of the unused route is greater than or equal to the sum of and the shortest route cost; that is,where is the vector form of traffic flow and is the route cost function on route between OD pair .
We should point out that boundedly rational user equilibrium (BRUE) model only considers which do not take the cost of unused route into consideration. We first use to restrict the “irrational solutions.”
Equation (1) gives a necessary condition judging whether a flow pattern is R-BRUE and is equivalent to the following condition:
In other words, a used route has lower cost than an unused one, which is the same as that in the UE (user equilibrium) setting. When for each , the R-BRUE definition is reduced to the UE problem.
Theorem 2. Any -R-BRUE solution is also a -BRUE solution. -BRUE solution may not, however, necessarily fulfill -R-BRUE conditions.
Proof. let be a route flow pattern to -R-BRUE model. Then, for , hold for all and ; that is, , , , which satisfies -BRUE model.
For the converse situation, suppose that a flow allocation satisfies -BRUE conditions and in addition has an unused route which has a cost less than the sum of and the shortest route. Then -R-BRUE conditions are violated.
Usually -R-BRUE is nonunique. Denote a set containing all route flow patterns satisfying Definition 1 as -R-BRUE route flow solution set:
Theorem 3. If the link cost function is continuous, -R-BRUE solution is nonempty.
Proof. First, Patriksson  showed that, when the link cost function is continuous, UE solution exists. Let be one UE route flow pattern, and set , , where is a very small positive parameter. Let , when ,So is -R-BRUE solution (); that is, . Given the continuous link cost function, at least one -R-BRUE flow pattern exists, and therefore .
2.2. R-BRUE Mathematical Formulation
We use slack variables to define R-BRUE mathematically. is a R-BRUE distribution if and only if there exists whose physical meaning is the minimum route cost for every such thatwhere is the traffic demand between OD pair . Note that when for all , (5) reduces to , which is the conventional UE conditions.
3. Largest and Smallest ε-Used Route Sets
In this section, we give the definition of the largest and smallest -used route sets, and we also discuss the properties of two proposed route sets.
Here we give three definitions of used route set, largest -used route set (-URS) and smallest -URS of -R-BRUE model as follows.
Definition 4. Given -R-BRUE route pattern , the used route carries flow, while its travel cost is within the shortest cost plus the indifference band; that is,
Definition 5. A largest -URS contains all used routes for every flow pattern in -R-BRUE flow set, mathematically:
Definition 6. A smallest -URS contains the used routes which all flow patterns in -R-BRUE flow set have, mathematically:
3.2. Monotonically Nondecreasing Largest ε-URS
In the following, we will discuss the impact of the value of on the size of the largest -URS.
Theorem 7. If , then , where is defined in (7).
Proof. Let be one -R-BRUE route flow pattern, and set , , where is a very small positive parameter. Let ; thenSo is -R-BRUE solution, and . Based on (7), we can get that .
3.3. Paradoxical Route and Property of Smallest ε-URS
We will give the definition of paradoxical route first.
Definition 8. With the increasing of OD demand, the traffic flow on route first increases and then decreases at the UE state. And the route is defined as a paradoxical route.
This phenomenon contradicts our intuition. Following that, we use an example to illustrate this paradox.
The network topology of the test network, link, and traffic demand characteristics are depicted in Figure 1. The network consists of 4 nodes, 5 links, and 1 OD pair. Red curves on the right indicate 3 routes.
The equilibrium route flow by varying the traffic demand from zero to infinity is shown in Figure 2. When the traffic demand is lower than 4, all the travelers pick route 1; and is increasing with the increasing of demand. While reached to 4, is decreasing with the increasing of . And when the demand reaches to 24, the flow on route 1 becomes 0. Based on Definition 8, we can get that route 1 is the paradoxical route.
When , , where the network contains paradoxical route, monotonically nondecreasing property of smallest -URS may not be satisfied due to exiting paradoxical route in the network. Consider the test network in Figure 3 which consists of 4 nodes, 6 links, and 1 OD pair. The link travel time functions and traffic demand are reported in Figure 3. Red curves on the right indicate 4 routes.
Solving the UE where for the R-BRUE, we have , , , and . Therefore, the smallest -URS is . When , , , , and , the travel time is , , , and . The minimum OD travel time is 10 and all the utilized routes have travel times of no more than 10 + 48 = 58. Therefore, the route flow pattern is a valid R-BRUE flow. However, the smallest -URS which is does not satisfy the monotonically nondecreasing property.
Theorem 9 (monotonically nondecreasing smallest -URS without paradoxical route). If , then for a network without paradoxical route, where is defined in (8).
Proof. Assume that there exist two bands and which satisfy that such that . Then, there must exist a route such that and . In another word, for all -R-BRUE route flow patterns, and can be equal to 0 for some -R-BRUE route flow patterns. And this contradicts the assumption that the network has no paradoxical route.
When varies from zero to infinity, the minimum number of routes the largest -URS and smallest -URS without paradoxical route contains is the UE shortest routes when ; that is, . The maximum number of routes the largest -URS and smallest -URS without paradoxical route contains is all feasible routes, meaning all feasible routes will be utilized if the indifference band is too large. Then we have and .
Given , the largest -URS (defined in (7)) is a set of all used routes under -R-BRUE set. And the smallest -URS (defined in (8)) is a set of the used routes which must have traffic flows under all -R-BRUE set. It is possible that some used routes for one -R-BRUE flow pattern are not used for other flow patterns and vice versa. This necessitates the exploration of the interior structure of -R-BRUE route set. Theorems 7 and 9 provide us with one approach of analyzing the structure of -R-BRUE without paradoxical route by varying values of .
4. Generation of ε-R-BRUE Route Set without Paradoxical Route
The route set is finite, while is treated as a continuous parameter for the time being. Starting with the UE route set when , provided the network topology and the link cost functions, UE can be determined by some established algorithms, for example, simplicial decomposition with disaggregated (DSD) algorithm , gradient projection algorithm , or origin-based algorithm . According to Theorems 7 and 9, when is gradually increased, more routes will be included in the largest and smallest -URS, and we should be able to identify those used routes one by one, until all alternative routes are included. This offers the theoretical foundation for deriving different combinations of used routes by varying subsequently.
4.1. Definition of Critical Points in -R-BRUE
It is assumed that there are alternative routes for OD pair ; that is, and , where is the cardinality of set . Among these routes, there are shortest routes at the UE; that is, and . Below are the definitions of critical points of the largest and smallest -URS in R-BRUE without paradoxical route.
Definition 10. The largest/smallest -URS will remain the same until reaches a special value, and we define this value as critical points of the largest/smallest -URS for OD pair Omega; that is,where , are the unique sequences of finite critical points and , with , .
We give the physical meaning of and . A “newly added route” of the largest -URS is defined as the route which is unavailable under but available when . And a “newly added route” of the smallest -URS is defined as the route which is available under for all route flow patterns, but unavailable under for some route flow patterns. We can define their “newly added route” as and , respectively. We should notice that the number of “newly added routes” may be two or more at the same time.
We use Figure 4 to more intuitively illustrate the definition of critical points of the largest and smallest -URS in R-BRUE without paradoxical route.
Clearly, from Figure 4, we can observe that the largest and smallest -URS can be described as and with a fixed indifference band , where , , , and .
4.2. -R-BRUE Route Set without Paradoxical Route for One OD Pair
Definition 10 says that the largest and smallest -URS in R-BRUE without paradoxical route includes more routes when increases to some critical values. Thus, the mathematical programs (MP) with equilibrium constraint can be developed to solve these critical values in largest and smallest -URS. Below is the MP equation for calculating largest -URS:where . Equations (13a)–(13e) are to guarantee the route flow pattern is a feasible R-BRUE; (13f) tries to push a small amount of flow from the largest used route set to some newly largest used route if is increased a little bit. When (13a), (13b), (13c), (13d), (13e), and (13f) are solved, optimal solutions will be obtained. And the newly added route can be derived from the traffic flow .
For any route , following MP equation is used to get the smallest -URS:Equations (15a)–(15e) are to guarantee the route flow pattern is a feasible R-BRUE; and (15f) is to insure that no traffic flow travels on route . When for all routes are worked out, are sorted by their size. Then we get the form of as (11). When (15a), (15b), (15c), (15d), (15e), and (15f) are solved, optimal solutions will be obtained. And the newly added route can be derived from the traffic flow .
Equations (13b), (13f), and (15b) are inequalities without equal sign. A small positive parameter (such as 0.01) is introduced to deal with this problem. And (13b), (13f), and (15b) are replaced by Equations (13a), (13b), (13c), (13d), (13e), (13f), (15a), (15b), (15c), (15d), (15e), and (15f) can be solved by GAMS software [25, 34].
4.3. Instance of ε-R-BRUE Route Set without Paradoxical Route
The network topology of the test network, travel time functions, and traffic demand are depicted in Figure 5. The network consists of 3 nodes, 5 links, and 1 OD pair. Red curves on the right indicate 4 routes. The UE is , , , and .
Solving (13a), (13b), (13c), (13d), (13e), (13f), (15a), (15b), (15c), (15d), (15e), and (15f), we have the largest critical values , , , and and the smallest critical values , , , and . There are three cases for the largest -URS:(1), and when , , .(2), and when , , .(3), and when , , .
And there are three cases for the smallest -URS: (1), and when , , .(2), and when , , .(3), and when , , .
All largest and smallest -URS are also illustrated in Figure 6. For route 3, we can see that when the critical value reaches 1, route 3 will join in the used route set for some route flow patterns; and when reaches 4.9, route 3 will be the used route for all route flow patterns. In other words, the yellow bar in Figure 6 means the route is either the used route or unused route in different route flow patterns, while the blue bar represents the route must be a used route for all route flow patterns. If is calibrated from empirical data as 3, then , . Therefore, routes 1, 2, and 4 must be the used routes, and route 3 may carry traffic flow or not. The used route can be described as .
4.4. ε-R-BRUE Route Set without Paradoxical Route for Multiple OD Pairs
For a network with total OD pairs, let and be the largest and smallest critical points for OD pair , , , respectively. Then, and are the sets of largest and smallest critical points for all OD pairs.
For one OD pair , we also can use (13a), (13b), (13c), (13d), (13e), (13f), (15a), (15b), (15c), (15d), (15e), and (15f) to solve the largest and smallest critical points. The only difference is route costs need the information of route flows across all OD pairs. And route flows , , are parameters when calculating the critical points of . Then, we modify (13a), (13b), (13c), (13d), (13e), (13f), (15a), (15b), (15c), (15d), (15e), and (15f) as follows:
Then the same approach can be used to generate the -R-BRUE route set without paradoxical route for multiple OD pairs.
By far we have proposed how to solve -R-BRUE route set without paradoxical route for both single OD pair and multiple OD pairs. The following will discuss the methodology of constructing -R-BRUE route flow set without paradoxical route.
5. Construction of ε-R-BRUE Route Flow Set without Paradoxical Route
We have already analyzed the interior structure of -R-BRUE route set without paradoxical route last section. As the indifference band gradually increases, more routes will begin to carry flows (the largest R-BRUE route set), and more routes must carry flows (the smallest R-BRUE route set). Based on this characteristic, we decompose -R-BRUE route set into small subsets which are easier to study.
5.1. -R-BRUE Flow Set without Paradoxical Route for One OD Pair
Define a sequence of sets , , where and are the cardinalities of largest and smallest -URS. Then we assign all the traffic demands as follows:
We use a bridge network to illustrate (18) in detail. The network topology of the test network, travel time functions, and traffic demand are depicted in Figure 7. The network consists of 4 nodes, 6 links, and 1 OD pair. Red curves on the right indicate 4 routes. The indifference band is set as 4, 10, 15, 30, and 60.
The UE is , , , and . That is, routes 1 and 4 are utilized under UE. Substitute , route costs, and the demand into (13a), (13b), (13c), (13d), (13e), and (13f), we obtain the largest critical values , , , and . Solving (15a), (15b), (15c), (15d), (15e), and (15f), then we obtain the smallest critical values , , , and . There are three cases for the largest -URS:(1), and when , , .(2), and when , , .(3), and when , , .
And there are three cases for the smallest -URS:(1), and when , , .(2), and when , , .(3), and when , , .
Then we assign all the traffic demands with diffident as follows.(1)When , , and , then (2)When , , , , and , then (3)When , , , , and , then(4)When , , , , and , then(5)When , , and , then
For convenience, we only show the R-BRUE solution sets with in Figure 8. Due to the flow conservation of the fixed demand, its R-BRUE solution sets can be characterized by routes 1, 3, and 4 in Figures 8(b) and 8(c). Figure 8(a) is composed of a 2-route green subset; Figure 8(b) is composed of a 2-route green subset and 3-route yellow subset; Figure 8(c) is composed of a 2-route green subset, 3-route yellow subset, and 4-route blue subset. The magenta legend denotes that the solutions do not satisfy -R-BRUE.
(a) R-BRUE solution set with
(b) R-BRUE solution set with
(c) R-BRUE solution set with
From Figure 8, we can see that when , in (green subset), only routes 1 and 4 carry flow, so the subset is a line. In (yellow subset), route 3 begins to carry flow and . In (blue subset), route 2 begins to carry flow and ; the solution set is bounded; this is because , while its closeness cannot be guaranteed due to . In Figure 8(b), the travel time of the UE solution on the magenta line is , and , so should be greater than 0 in R-BRUE model; hence do not satisfy 10-R-BRUE; without considering the boundary point of -R-BRUE, the solution set is monotonically nondecreasing with the increase of ; and the subset is not necessarily convex even though the link performance function is affine linear; this is because the constraint condition of is nonconvex. This property can be seen in the yellow block which is nonconvex in Figure 8(c). Hence, we cannot guarantee the convexity of -R-BRUE solution set.
5.2. ε-R-BRUE Flow Set without Paradoxical Route for Multiple OD Pairs
In the last section, we obtain -R-BRUE route set without paradoxical route for multiple OD pairs. Then, it is not difficult to generalize the methodology of constructing -R-BRUE flow set without paradoxical route for a single OD pair to multiple OD pairs. We assign all the traffic demands to the routes as follows:
In this paper, a boundedly rational user equilibrium model with restricted unused routes (R-BRUE) was proposed. This new model assumes that travel cost of all used route is less than or equal to the sum of given indifference band and the shortest route cost; meanwhile, the travel cost of the unused route is greater than or equal to the sum of indifference band and the shortest route cost. The mathematical formulation of the proposed model was then established.
Before constructing the R-BRUE flow set, largest and smallest used route sets were explored first. As the value of the indifference band increases, some routes which were not utilized before will be taken, and thus the route set that contains the equilibrium flow was named as the largest used route set. As the value of the indifference band increases, some routes which must be utilized for all R-BRUE flow patterns will be taken, and this route set was defined as the smallest used route set. Paradoxical route is defined as that with the increasing of OD demand; the UE flow on the paradoxical route increases first and then decreases. The monotonically nondecreasing property of largest and smallest used route sets without paradoxical route is proved.
The critical values of the indifference band to augment the largest and smallest used route sets can be identified by sequentially solving a class of mathematical programs. After the largest and smallest used route sets are obtained, the whole R-BRUE flow set can be obtained by assigning all traffic demands to the corresponding generated route set.
The proposed model is appealing in modeling realistic travel behavior. But due to the nonconvexity of the feasible region, it is difficult to get the solution using mathematical programming method, and our method which is separation of the solution sets takes heavy computational burdens. In future research, we will study the solution algorithm and then apply the built model to real traffic network, such as the autonomous vehicles. Also, it is worthwhile to extend the proposed model to the network design problem, such as enhancing capacities of the established links, congestion pricing, and adding new links to an existing road network.
The authors declare that they have no competing interests.
This research is supported by the National Natural Science Foundation of China (no. 51578150 and no. 51378119), the Scientific Research Foundation of Graduate School of Southeast University (no. YBJJ1679), the Fundamental Research Funds for the Central Universities and the Research Innovation Program for College Graduates of Jiangsu Province (no. KYLX15_0150), and the China Scholarship Council (CSC) Program sponsored by the Ministry of Education in China.
J. G. Wardrop, “Road paper. Some theoretical aspects of road traffic research,” ICE Proceedings: Engineering Divisions. Thomas Telford, vol. 1, no. 3, pp. 325–362, 1952.View at: Google Scholar
M. S. Ramming, Network Knowledge and Route Choice, Massachusetts Institute of Technology, 2001.
C. G. Prato and S. Bekhor, “Applying branch-and-bound technique to route choice set generation,” Transportation Research Record, vol. 1985, pp. 19–28, 2006.View at: Google Scholar
S. Zhu, The Roads Taken: Theory and Evidence on Route Choice in the Wake of The I-35W Mississippi River Bridge Collapse and Reconstruction, University of Minnesota, 2010.
K. K. Srinivasan and H. S. Mahmassani, “Role of congestion and information in trip-makers' dynamic decision processes: experimental investigation,” Transportation Research Record, vol. 1676, pp. 44–52, 1999.View at: Google Scholar
R. Chen and H. S. Mahmassani, “Travel time perception and learning mechanisms in traffic networks,” Transportation Research Record, vol. 1894, pp. 209–221, 2004.View at: Google Scholar
H. A. Simon, Models of Man: Social and Rational; Mathematical Essays on Rational Human Behavior in Society Setting, John Wiley & Sons, New York, NY, USA, 1957.
J. L. Gifford and C. Checherita, “Bounded rationality and transportation behavior: lessons for public policy,” Transportation Research Board 86th Annual Meeting 07-2451, 2007.View at: Google Scholar
X. Di, Boundedly Rational User Equilibrium: Models and Applications, University of Minnesota, 2014.
P. Patriksson, The Traffic Assignment Problem: Models and Methods, 1994.
R. Jayakrishnan, W. T. Tsai, J. N. Prashker, and S. Rajadhyaksha, A Faster Path-based Algorithm for Traffic Assignment, University of California Transportation Center, 1994.
H. Bar-Gera, Origin-Based Algorithms for Transportation Network Modeling, 1999.
E. Rosenthal, GAMS-A User's Guide, GAMS Development Corporation, 2008.