(0,0) = (0,0) b. cp(a,b) > 0 , for all (a,b) e R2 c. (p(a,b) = Qa a>0,b>0,ab = 0 This approach can be applied to reformulate the DTA problem in the form of NCP. Specifically, we define the gap function for the traffic equilibrium problem as:
(10) where xi,Fi are the corresponding elements in (5) and (6), and
R1 is a gap function for these conditions. Proof: (i) This gap function satisfies the condition: G(x) = 0<=>xeQ, where x = (f ,u)e R" , f denotes the set of {/p"(0l >and u denotes the set of {#"(*)} . Necessity: Given the Ideal DUO conditions: f"(t\il"(t)-JCa(t)] = 0, frps(t) > Qfrj^(t)-Jf"(t) a = f"(t),b = ri"(t)-n;"(t). <
> 0 , let
The "only-if condition of property c. implies that
p(/ P "(0' 7p(0~ ™(0) 0 f° ^ fs&RS and p&Prs. Given the demand conditions: r
;r
=
b = ^fpS(t)-qrs(t). p
r
= 0,
7f"(f)>0,
The
"only-if
« /> « I P ) since each term is zero. Therefore, given the Ideal DUO conditions, the gap function is zero. Sufficiency: Here we prove that a zero gap function implies the Ideal DUO condition. According to properties b., (p(fpS(t),rir*(t)-n"(t)) Given
that
G(x) = 0,
9\ nrs(t\^,fp(t}~^rs(t]
each
> 0 and J n"(t),^f?(t)-q"(t) v p term