HAL Id: inria-00070763
https://hal.inria.fr/inria-00070763
Submitted on 19 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Pricing the Internet with Multi-Bid Auctions
Patrick Maillé, Bruno Tuffin
To cite this version:
Patrick Maillé, Bruno Tuffin. Pricing the Internet with Multi-Bid Auctions. [Research Report] RR- 5235, INRIA. 2004, pp.31. �inria-00070763�
ISRN INRIA/RR--5235--FR+ENG
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Pricing the Internet with Multi-Bid Auctions
Patrick Maillé , Bruno Tuffin
N˚5235
Juin 2004
Systèmes communicants
,.-"/1032547698:-;25<=<5>@?BADCE0GFHIKJLFMNHPO
QBRTSVUXWZY\[GS^]Z_`Y\Ybadc"ef]GghciUXS
jlk _`mV[Uon k Y\_ k
p ghqdq;_ k UorT[ k [G]sd[ k ]sd[tcbuwvwxhywv{z}|wadefc~x``h*zydq"g``[3S
GZ7d`` Sg``["gwS[3r@_
k
]_wcd`[3SVUXe_wcT=g`S[Gr]s"g
k
wecdS]s"[ZY\[GS.s"g1w[b;[Z[Zc
k
[Zig
k
rT[GrgwS.g
k
[Zf[Z7g`cwUog1RUX_]_wciU
k
_`]Z_`cdw[GSUef_`cghc"rUX_rTe[
k
[ZciUeg7UX[bS[
k
Be][3S^ghY\_`cda"S[
k
SoecUX[Zf[G]Z_`Y\YbaT
c"ef]Gg7Uef_`cKcd[UV_ kX SZ (g`a"]UXe_wcdefcd¢¡£_ k "g`c"rT^erBUs¤ghqdq;[Gg k Sg`S_`cd[_h¡LS[Zw[ k gh¥q_iSSe"efe¦UXe[3SZ§©¨ªcKg
q k[Gief_`aS«¥_ k¬ Usd[ghaTUXsd_ k S*rT[3Sef`cd[3rgYba"¦UXe¦dergha"]Uef_`c®SX]sd[ZY\[^sd[ k[a"S[ k Sb]_`Y\q;[UX[¯¡£_ k
ghc"rT^erBUXs@ghUogfefc BRSaddY\e¦UUefcdS[Z`[ k g`°]_`a"qd[3S«±²g`YE_wadciU^_h¡ghc"rT^erBUXs@gwS [Gr ¬ gwSS_T]eg7U[3r
a"cde¦U.q k ef]Z[3³oS_\Usg7U´UXsd[bfefc ghf_T]ZghU[3S^Us"[b"g`c"rT^erBUs{g`c"r]_wY\qdaTU[3S^UXsd[]s"g k w[*g`]G]_ k rTefcd\U_
UXsd[S[G]Z_`c"rq k e][*q k efc"]efqdf[`§´µsd[GRSsd_7[GrUXs"g7U´efc"]Z[ZciUef`[b]Z_`Y\q"ghUefdefeUVRg`c"r[¶]Ze[Gc"]R@ghY\_`c"
_`Usd[ k q k _wq[ k UXe[3Sg k [`[ k e·"[Gr°§¸¹[q k _wq_iS[ecKUsd[q k [GS[ZciU\q"ghq;[ k U_¹[ºBU[Gc"rUXsdeS¯S]sd[GY\[U_
UXsd[]ZgwS[\_`¡g@cd[ZUV¥_ k¬ BR»a"Sefcd@UXsd[¯q k _`q;[ k Uef[GS¼7g`SXSadY\qTUef_`c"SLUXs"g7U«UXsd[¯"g`] ;_`cd[\cd[ZUV¥_ k efS
_7w[ k q k _7ieSe_wcdcd[Gr¯g`c"rUsd[*gw]Z][3SScd[ZUV¥_ k Ss"g1w[gU k [G[SU k a"]Ua k [`§
½¾i¿ÀXÁb 7Ã`ÅÄ _wcd`[3SVUXe_wc]Z_`ciUk _`¬BÆ ]_wcd_`Y\e]ZS
ÇÈ°ÉÊËGÌÉ^ÍÎfÊÏ=ÐÑ
ÒlÓ1ÔoÕÖØ×Ø×ØÙÚÛ5ÙVÜ1Ü1ÙVÝÞÙÜ3Ý5ß²àâá1Û²ÙVß=ÕãÜ1ÙÞäÛ
å
á3ß=æGç^ÜhÚÖØÛ²ÖØÝÕ3ÞäÛ
Unité de recherche INRIA Rennes
[3SYUXsd_TrT[GSrT[¢Ug k e¦·]Gg7UXe_wc¤g`SZ[GSSa k a"SXghw[¢[U¼1_`a g®]_wcd`[3SVUXe_wc9S_wciU
]Z_`c"Ser k Z[3S´]_wY\YE[Eadcd[\Y¯ghc"eW k[q[ k UXecd[GciU[¯rT[\]_`ciUk [ k g]Z_`cdw[GSUef_`c¢[ZUrT[¯rTe k [Zc"]Ze[ k f[GS
S[ k Bef]Z[GSL[ZciU k [EaTUefeSXg7U[Ga k S.r"ghc"Sf[GS k GS[Gghadºrd[\]Z_`Y\Yba"cdef]Gg7UXe_wcK f[GS.[Gc"]sdW k [GS.q;_`a k gghc"rT[
qg`SXSg`cwUX[.g`qdq"g k g`efSXSg`ciUXS(]Z_`Y\Y\[adcd[«rT[3Sq_iSSe"efe¦UGSG§Lg`c"SadcU k g17ghef;q k 3]Grd[ZciU ¬ f[GS^g`aTU[Ga k S
_wciU(]_`cSVU k adeU(adc¯Y3]Zghc"efSY\[´r [Zc"]sdW k [3SD_!\f[GS(aTUefeSXg7U[Ga k SlS_wciU([Zc]Z_`Y\q"ZUeUef_`c¯q;_`a k fgghc"rT[
qg`SXSg`cwUX[$#adc®fef[ZcKrT[]_`Y\Yadcde]Zg7UXe_wc[U\S_wadY\[UUX[ZciUbqdfa"Se[Ga k Sb]_wadqdf[GS±&%ia"ghciUXe¦UrT[ghc"rT[
qg`SXSg`cwUX[¥rT[GY¯ghc"rG[ ¬ q k eº*adcdeUXg`ek [gwSS_T]e'3³[Zc¡£_`c"]Uef_`c\rT[(%wa"_`eTf[fef[Zcg`f_`a"[¥g."ghc"rd[¥q"gwSSXghciUX[
[ZU\]Ggh]adf[f[@]_)dU\S[Zf_`c®f[q k efc"]Zeq;[rda¤S[G]Z_`c"rq k eº°§¹¨ªSE_`ciU¯rZY\_`ciU k%wa"[g{]Z_`Y\q"g7UXe"efe*
r+efc"]eUXghUef_`cN[U\[¶]Zgw]eU[ZciU k [g`aTUk [GSq k _`q k e*ZU3SS_`ciU, k e¦·"Z[GSG§-o_`aSbq k _`q;_wS_`cSbrdg`c"S\][U
g kUXef]Z[r+ZU[Zcr k [][UU[YZUsd_TrT[gha]ZgwSbr adc k GS[Ggha ¬ [GcaTUefeSXghciUbf[GS*q k _wq k e'UGS¼1sBRBq_`UsdW3S[3S
%iad[¯f[].«a
k
rT[
k
GS[Ggha»[GSUSa
k
rdeY\[ZcSef_`cdc/E[ZU0%iad[¯[3S
k
GS[Gghadº»r g`]Z]ZWGS_wcwU*a"cd[SVU
k
a]Ua
k
[¯[Gc
g k k [w§
1t 3 À 2 ~Ä _wciU k f[.rT[*]Z_`cdw[GSUef_`c ¬BÆ ]Z_`cd_wY\e[
/
;)¯$()*
0 ghcBR\q[G_`qdf[.g k wad[oUXs"g7U^]_wcd`[3SVUXe_wcq k ef]Zec"*¡£_ k ]_wY\Ybadcde]ZghUef_`ccd[UV_ kX SleSgbq_weciUX[3SSq k _`T
f[ZY ¬ Sec][Usd[\g17gheffg`d[E]Zg`q"g`]Ze¦UXe[3SLg k [±£_ k ^eflS_B_`c¢;[3³.S_g k `[*UXs"g7U«]_wcd`[3SVUXe_wc¢^efcd[G`[ k
_T]G]a k §µsdeSDY\ef`siUD[Uk ad[¡£_ k "g`] ;_`cd[cd[ZUV¥_ k S ¬ Us"ghU(g k [SU[3g`rTeffR k [ZrdeY\[ZcSef_`cd[3r*a"SefcdUsd[
g7UX[GSULg17gheffg`df[LUX[G]sdc"_`f_``ef[GS´ghc"rg`f_7 U k [GY\[Zc"rT_wa"So]Z_`Y\Ybadc"ef]Gg7Uef_`c k g7UX[GSG§1´_7¥[G`[ kG¬ Y\_7Bec"
r"g7UXg¡k _wY UXsd[{cd[ZUV¥_ k "g`] ;_`cd[efciU_Nsd_`a"S[GS k [GY\g`ecSgY¯g7mV_ k ]s"g`f[Zc"`[@¡£_ k "ghcrT^efrTUsT
rd[ZY¯ghc"rdecd®g`qdqdfef]Gg7UXe_wc"SSa"]s9g`S\¡£_ k efc"SUXghc][¢rTef`eUXg`¦BefrT[G_ k _wg`r"]Zg`SU ¬ Sec"]Z[¢^ek[3S¯a"S[Gr efc
f_T]Zg` _B_wq"S^g k [«q k _7ieSe_wcd[Gr¡£_ k w_`e][ k g`rd[.g`c"ghf_`¯S[ k ie][«g`c"r@rT_cd_`U´ghf_7PsdewsTªSq;[Z[3rr"g7UXg
S[ k Bef]Z[GSG§µs"efS^q k _wd[GYeS cd_7^cgwSUsd[32g`SUY\ef[«;_hUUf[Zcd[3] 54 T^sdeff[«Y\ghmV_ k "gw] ;_`c"[ k _`adU[GS
g k
[*g1g`Ss@ec_wqTUe]Zg` ·";[
k
Us"ghU´UXsd[ZR@^efcd_hU´aS[«¡£_
k
Rw[Gg
k
SUX_]_wYE[
¬"k
[Zqdg`]Zec"ghf2fgwSVU´Y\ef[
4
]Z_`Y\Yba"cdef]Gg7UXe_wc{fec
S.^eUs¹_`qTUXef]Ggh·";[
k
S¥_wadfr{[EUX_i_]Z_wSUfR®±£[GSUefY¯g7UX[Gr¹g7U76hvhw786B1vh`Eq;[
k
s"_`a"S[Zsd_wfr:9Øx<;â³
¬
ghcrUXsd[
k
[¡£_
k
[.eS^cd_hU^fe
[ZfR¯U_¯;[*ghq"qdef[Gr §
Ä _wc"S[ %iad[ZciUfR
¬
^sd[GcNS[Zw[
k
ghla"S[
k
SbSs"g
k
[¯UXsd[@Sg`YE[g`]Z]Z[GSXS*cd[ZUV¥_
k
±£fe
[efc®sd_`U[G
k
_B_`Y¯S
¬
g`q"g
k
UY\[GcwU\adcdeUXS
¬
_h¶][3S_
k
_hUXsd[
k
Yba"¦UXeadc"e¦Uda"erTefcdwS³
¬
]_wcd`[3SVUXe_wcKeS\`[
k
Rfe
[ZfRU_©_T]Z]Za
k §
µs"efSSUXghcrdS[GSq[3]eghfR^s"[Zc©]_`cSerT[ k efcdcd[G#S[ k Bef]Z[GS´Us"ghU«g k[EY\_ k [g`c"r{Y\_ k[E"ghcrT^efrTUsT
]Z_`c"SadY\efcd"§µsd[ k [¡£_ k [ ¬ g´¡²ghek ¼7[¶]ef[ZciUg1RLU_Ss"g k [lUsd[g17gheffg`d[ k [3S_wa k ][GSghY\_`cd´a"S[ k Scd[G[GrdS
UX_@[\¡£_wadc"r°§µsd[¯q k _wd[GY ef[GS*[GSXS[GcwUXefg`fR_`c¹efc"][GcwUXew[GS>=sd_7#]Gghc¹¥[\¡£_ k ]Z[ES[Z·Ss»a"S[ k S.U_
]Z_B_`q;[ k g7U[og`c"rSs"g k [^UXsd[ k [GS_`a k ][^[Z¶]ef[ZciUfR? @ ghq"q[3g k S(g`S¥g*S_`faTUef_`c ¬ ghcr¯s"g`S([3]_wYE[
g.UX_`qde]^_`¡s"ewsEefciU[ k [3SVUL±5S[G[A9B ¬ <C ¬D ;;ghcr k [¡£[ k [Gc"][3SUs"[ k [Zefc³Usghc SUX_*e¦USlefc E"ad[Gc"][´_`c¯a"S[ k S
;[Zsg1ief_`a k ±5S[G[¡£_ k efc"SUXghc][.Usd[«[ZºTq[ k efY\[ZciUUs"ghUos"g`S;[Z[Gc@]Z_`c"rda"]UX[Gr@g7U .ÄGF [ kX [G[GR9;£³§
Ä a kXk [ZciUfR ¬ ¨ªciUX[ k cd[U*]_wY\Ybadcde]ZghUef_`c"S«g k [Eq k ef]Z[Gr»ecrT[Zq;[Zc"rd[ZciUfR{_`¡a"SXghw[ ¬ ^sde]s©efS«g`c»efcT
]Z[ZciUef`[\UX_¢_7`[ k aS[EUs"[cd[ZUV¥_ k 9f D ;=§¸¹[¯¡£_T]a"Sbec©UXsdeSbq"g`q[ k _`cq k e]efcd¢SX]sd[ZY\[GSb"g`S[Gr¹_wc
ghc"rT^erBUXs@g`f_T]ZghUef_`c
¬
Sec"]Z[«"ghcrT^efrTUs@efSUXsd[«feY\eU[Gr
k
[GS_`a
k
][w§
¨ªcH93yI;
¬
¥[»s"g1`[¹rT[GSef`cd[3r Usd[©S_hª]Zghff[Gr Yba"¦UXe¦der gha]Uef_`c q k
e]efcdNYE[3]s"ghc"efSY
¬
gK_wcd[
Ssd_`U«g`a"]UXe_wcT"g`S[Gr»S]sd[GY\[\U_ghf_T]Gg7U[EUXsd[]Zg`q"g`]Ze¦UVR_`¡g@Secdw[¯]Z_`Y\Ybadc"ef]Gg7Uef_`c¹fec
ghY\_`c"
S[Zw[
k
ghoaS[
k
SG§ ¸¹[»s"g1w[{Sad`w[GSU[Gr¤UXs"g7U[Ggw]s a"S[
k
SaddY\eU@S[Zw[
k
ghoderdS^sd[Gc9[GSUXg`deSsdec"
gK]_`c"cd[G]Uef_`c
¬
g`c"r¤Us"ghUUXsd[»]Z_
kXk
[3Sq;_`c"rdecdYadUe=der q k
_h·[;[{a"S[Gr U_K]Z_`Y\qdaTUX[{[¶]Ze[GcwU
g`f_T]ZghUef_`c"Sghc"r q ke][3SZ§ µsd[{Yad¦UXe¦der SX]sd[ZY\[ ¬ Us"ghUeSs"ewsdR k [Zg7UX[Gr UX_®Us"[ jlk _` k [3SSef`[
QT[G]_wc"r jlk ef]Z[«YE[3]s"ghc"efSYűj Q j ³o_h¡ g-J3g k g`c"rQB[ZY k [U79f`; ¬ sg`S^;[Z[Gc@Ssd_7^cU_¯w[ k e¦¡£RS[G`[ k g`
rd[GSek ghdf[q k _`q;[ k Uef[GS¯efc UX[ k Y\S_h¡«efc"][GcwUXew[GSg`c"r [¶]Ze[Gc"]Rw§ 0 _ k [Z_7w[ k3¬ rTad[{U_UXsd[UXeY\[{_`¡
]Z_`cB`[ kw[Zc"]Z[¯ghc"r¹UXsd[Sef`c"g`efcd_7`[ k s"[Gg`r¹cd[G[GrT[3r¹¡£_ kEj Q j w[ k SaS«Us"[_`c"[ªSsd_`Ubghf_T]Gg7Uef_`c_`¡
YadUe=der ¬ ¥[»s"g1`[»q k _7`[Gr¤UXs"g7U@Yba"¦UXe¦derPg`a"]UXe_wc"Sg k [»[ZUUX[ k g`rdg`qTU[3r UX_®Us"[¹q ke]efcdK_`¡
¨ªciUX[ k cd[U¥]Z_`Y\Yba"cdef]Gg7UXe_wc"S ¬ Us"ghU(_`q;[Zcg`c"r¯]f_wS[o_7w[ k UefY\[±£Usd[of_wSXSl_`¡°[¶]ef[Zc"]ZR_`¡ j Q j efc¯Us"efS
]Z_`ciU[ZºBUg`SSUa"rde[3refcK91x<;£³§
1´_7¥[G`[ k3¬ 9fGyI;_`cdfR]Z_`c"SerT[ k SUs"[b]ZgwS[«_`¡Dg¯Sefcd`f[b]_wY\Ybadcde]ZghUef_`c@fec ¬ ^sd[ k [GgwS j Q j g`S
g`fS_Ssd_7^cbU_«ghq"qdRUX_eciU[ k ]Z_`cdc"[G]UX[Grbcd[UV_ kX SL9f3vI;=§µsdeSq"ghq;[ k ghefY¯SDg7UD[ºBUX[Zc"rTefcdYba"¦UXe¦der
g`a"]UXe_wc"SU_\UXsd[b]Gg`S[._`¡g\c"[UV_ kX §(QTec"]Z[«_`a k w_wg`°efSUX_]s"g k `[L¡£_ k ¨ªcwUX[ k cd[U´]Z_`Y\Yba"cdef]Gg7UXe_wc"S ¬
[«a"S[Usd[bq"g k Ue]adg k SVUk a"]Ua k [«_h¡Us"[b]a kXk [ZciUo¨ªciU[ k cd[ZUocd[UV_ kX¬ ^sdef]sefcB`_ww[GS^ghc@_7w[ k q k _`
BeSef_`c"cd[Gr"g`]
;_`cd[.cd[UV_
kX
ghc"rg`]G][3SScd[ZUV¥_
k
S¥^e¦UXsgbU
k
[Z[«SU
k
a"]UXa
k
[w§¨ªc"rT[Z[3r
¬
[Ggw]sgw]Z][3SS
c"[UV_
kX
]Zg`c@[YE_TrT[G[3rUsdeSLg1R
¬
g`S´rT[GSX]
k
e;[Gr@efcM9yI;=]Za"SVUX_`Y\[
k
Sog
k
[«cd_`U.rTe
k
[G]UXR@]_wcdcd[3]U
[3rU_sdewsTªSq;[Z[3r@"g`]
;_`cd[*c"[UV_
kX
S ¬
dadU
k
g7Us"[
k
UX_N2_T]Zg`
4
gw]Z][3SSocd[UV_
kX
S ¬
^s"ef]s{g
k
[UXsd[Zc
]Z_`cdc"[G]UX[GrEUX_
k
[Z`ef_`cghTcd[ZUV¥_
k
S ¬
Us"[ZY¯S[Gw[GS([Gecd]_`c"cd[G]U[Gr¯U_*c"ghUef_`c"g`""gw]
_wcd[ocd[ZUV¥_
k
SG§
¸¹[EUsd[
k
[Z¡£_
k
[Erd[GSewc{UXsd[\YbadUe="efr¹gha"]Uef_`c©S]s"[ZY\[efc¹Us"ghU*]_`ciUX[ºBU._`¡gU
k
[Z[¯SU
k
a"]UXa
k [ ¬ ghcr
efcB`[3SVUXeig7U[UXsd[^q
k
_`q;[
k
Uef[GS_h¡UXsdefSlYE[3]s"ghc"efSY
¬
[GSq;[G]eghffR«¡£_T]a"Sec"«_`c\ec][ZciUXew[GSlg`c"rE[¶]ef[Zc"]ZR`§
µsd[©q"g`q[
k
efS_
k
wg`cdeJZ[Gr gwS¡£_`f_7oSG§QB[G]Uef_`cx®q
k
[GS[ZciUSUXsd[¹YE_TrT[G*]_wc"SerT[
k
[3r ecPUs"efS
qghq;[ k BRrT[3S] k efdefcdUs"[cd[ZUV¥_ k U_wq_w_w`R»g`c"ra"S[ k S*;[Zsg1ief_ k §¢¸¹[rT[3S] k ef;[Us"[q k ec]efqd[
_`¡lYbadUedefr{gha"]Uef_`c"S.ghc"rS_`Y\["g`Sef]brT[·"c"e¦UXe_wc"S´efc¹QT[G]UXe_wc{yd§.QB[G]Uef_`c¢Usd[Gc{q k [GS[ZciUXS´sd_7
UXsd[@Y\[G]s"g`cdefSY efcwU k _TrTa][GrKec 9fGyI;o]Zg`cN;[g`rdg`qTU[3rUX_{UXsd[]Zg`S[_h¡Lg`cNg`]G][3SSEcd[ZUV¥_ k¬ ghcr
UXsd[rd[GSek ghdf[UXsd[Z_ k [ZUe]Zg` k [GSad¦US±²ecrTeBerTa"g` k g7UXe_wc"ghfe¦UVR ¬ ec"]Z[ZciUef`[]_wYEqg7UefdefeUVR ¬ [Z¶]ef[Zc"]ZRT³
g k [ k[3Sq;[G]Uef`[ZfRrd[ k ew[Gr@efc»QB[G]Uef_`c"Sv ¬ B ¬ D §.QB[G]Uef_`c Crd[GghSL^e¦UXsUsd[derdS k [Zqg kUeUef_`c^sdef[
QT[G]UXe_wc*SUa"rTef[GS(Us"[ocBadYb;[ k _h¡ derdSDUXs"g7USs"_`adr\[.ghf_7[GrEBRUsd[.gha"]Uef_`cd[G[ k §¸¹[´]_wc"]fa"rT[
efc¢QB[G]Uef_`c¹GEBR`efBec"\S_`Y\[«rTek [3]UXe_wc"S¡£_ k ¡£aTUXa k [«¥_ k §
-´_hU[Usg7U¯S_wYE[»±£daTU¯cd_`UEg`â³*q k _B_h¡²Sghc"rNrTeS]Za"SSef_`c"Sg k [SeY\effg k U_»Us"_wS[q k [GS[ZciU[3refc
9fGy ;(¡£_ k Usd[]Zg`S[_`¡^gSefcd`f[fec § -´[Z`[ k UXsd[Zf[GSXS ¬ [¯ec]fa"rT[UXsd[ZY efc©UsdeS*qghq;[ k UX_¢Y¯g [e¦U
S[Z¡âª]_`ciUghefcd[Gr°§
)¯$^
! #"%$
¸¹[g`SXSadY\[lefc*UXsdeSqghq;[ k Us"ghU]Z_`cdw[GSUef_`c«Y¯g1RL_wcdfR«_B]G]a k ecEg`]G][GSXS c"[UV_ kX SG§n^]G][GSXScd[UV_ kX S
±£Usd[\g`SU.Y\ef[1³.g k [E]Z_`c"Sefrd[ k [Grsd[ k [EUX_s"g1w[gUk [Z[\SU k a"]UXa k [ ¬ e5§[`§b¡£_ k [Ggw]s{a"S[ k UXsd[ k [eS._`cd[
g`c"r_`cdfR¯_`cd[q"ghUsU_ k [Gg`]sUsd[*]Z_`cdw[GSUef_`cT=¡k [Z[´g`] _wcd[.cd[UV_ kX §µsdeSBefSef_`c_h¡gcd[ZUV¥_ k
eS k [Zq k [GS[ZciUX[Grec&ef"§. ¬ efaSVU k ghUefcd\Us"ghULS[Z`[ k g`°a"S[ k S^Y¯g1Rs"g1w[LUX_Ss"g k [*S_wY\[«efc Soefc@Usd[
gw]Z]Z[GSXS«cd[UV_ kX UX_ k [Ggw]s»UXsd[g`] _wcd[9y ;§ 0 _ k [Zw[ k3¬ [g`SXSadY\[¯Us"ghUa"S[ k S«^eSs®U_{gw]Z][3SS
.
Congestion-free backbone network
.
&ef`a k [\ = -o[ZUV¥_ k UX_`q;_`f_``R
S[ k Bef]Z[GS\^sde]s g k [@_T]ZghU[3rNefc¤Usd[{"g`] ;_`cd[@cd[ZUV¥_ k §9µsd[ k [Z¡£_ k [ ¬ g©aS[ k Y¯g1R®_`cdfRN] k [3g7UX[
]Z_`cdw[GSUef_`c»ec¹sd[ k _7^c¹g`]G][GSXS.cd[UV_ kX¬ rTad[EU_UXsd[¯_7`[ k rTefY\[Zc"Sef_`cdefcd_`¡(UXsd[\"g`] ;_`cd[w§Eµsd[
q k
_wd[GY]Zg`c]_`cS[ %wa"[ZciUfR¢;[
k
[3rTa"]Z[Gr»U_¢g@q
k
_`"[GY_h¡
k
[GS_`a
k
][\ghf_T]Gg7Uef_`c¹_`c©efc"rT[Gq[Gc"rT[ZciU
gw]Z]Z[GSXS¥c"[UV_
kX
SY\_TrT[Zff[GrBRgU
k
[Z[«SVU
k
a]Ua
k
[«g`Sefc &e§(xT§
l1
1 2 3
5 4
7 6
l2 l3 l4 l5 l6
&ef`a
k
[x=n´c»gw]Z][3SSocd[UV_
kX
=og
kk _7oS
k
[Zq
k
[GS[ZciUoUXsd[ba"S[
k
S"q"ghUs"S´U_Usd["g`]
;_`cd[*c"[UV_
kX
§
µs"[LUXsde]
c"[GSXS_h¡Usd[«fec
eS¡£_
k
eUXSo]Gghq"gw]eUVR`§
¸¹[bUXsd[
k
[¡£_
k
[*]Z_`c"SerT[
k
g¯U
k
[Z[bcd[UV_
kX
^eUs¹gS[ZUP_h¡lfec
S ¬
g`c"r¢rT[Gcd_hUX[bBRUsd[b·"cdeU[
]Gghq"gw]eUVR_h¡fec
¡£_
k
´§¸»[bgwSSadY\[.Us"ghUoUs"[b]Zg`q"g`]Ze¦UVR_`¡D[Gg`]sfec
eS^ecd·"cdeU[ZfR@rTeBeSefdf[`§
µs"[*S[ZUo_h¡a"S[
k
S^s"_EY¯g1RaS[UXsdefS´g`]Z]Z[GSXScd[UV_
kX
eS^rT[Zc"_hU[3riR^§(µs
k
_`a"`sd_waTUUsdeS^q"g`q[
kG¬
[^^efa"S[oSad"SX] k efqTUXSUX_ k [¡£[ k UX_*qdg1R`[ k S ¬ ghc"r¯Sadq;[ k S] kefqTUSU_ k [¡£[ k U_«fec SG§ Ä _`c"Sefrd[ k ecdUXs"g7U
g`qdg1R`[ k Sefc®rT_*cd_`U(a"S[´ghfdUXsd[´fefc Slefc ¬ ¥[oq;_`efciU¥_waTUlUs"_wS[ k [ %iadek [GrEBREqdfg1Rw[ k U_ k [Ggw]s
UXsd[«"gw] ;_`c"[Lcd[ZUV¥_ k BRUsd[«defc"g kR¯7ghfad[3S
e¡qdfg1Rw[ k a"S[GSfefc
_`Usd[ k ^eS[
±V3³
¸¹[¯ghS_rT[·cd[EUsd[
k
_`aTUX[_`¡(qdg1R`[
k
BR
!#"%$
§b¨ªc»Us"[E[ZºdghY\qdf[_`¡ &e§x
¬ &
¡£_
k
&('
*) g`c"r
&
¡£_
k+
-,
'
/.
'
*0
'
*1
¡£_
k
ecSVUghc"]Z[`§-´_hUXef]Z[\Us"ghUbe¦¡
-24343!5
rT[Zcd_`U[3SUsd[efc
rdek [G]UfR@]Z_`cdc"[G]UX[Gr@UX_UXsd[ k _B_hU´_`¡DUsd[U k [Z[ ¬ e5§[`§LU_Usd[E"g`] ;_`cd[±*26343!5
&
ec&ef"§«x`³ ¬ UXsd[Zc
87:9 9<;
¡£_ k ghf = ^§
>@? "BA "%DC*"% FE G?
QTec"]Z[[gwSSadY\[befc»UsdeS.q"ghq;[
k
Us"ghU.aS[
k
SL^ef
k
[3g`]U´U_@gq
k
e]efcdS]sd[GY\[S_g`SLUX_Y¯g7ºTefYEeJZ[
S[Z·SsdfRbUXsd[Zek adUefeUVR ¬ [´^efSVUXa"rTR\_`a k Y\[G]s"g`cdeSY ecUsd[´¡k g`YE[G¥_ k _h¡ IH , KJ 9C-; ¬ ghcr
UXsd[ZcUgh ecrTe¦[ k [ZciUXR_h¡aS[ k S^g`c"rq"fg1Rw[ k SZ§
¸¹[.Sadqdq;_wS[LgwSlefc 9fGy ¬ ` ¬ <BI;;Us"ghU¥UXsd[L_wcdfRq;[ k¡£_ k Y¯ghc"]Z[oY\[Gg`Sa k [´a"S[ k S(g k [LS[Gc"SeUef`[´U_efS
UXsd[."ghc"rd^efrBUXsghff_B]Gg7UX[Gr\UX_*Us"[ZY@§ML´¡]_wa k S[^UXsd[ZRg k[´S[ZcSeUef`[´U_*UXsd[.q ke][´Usd[GR¯g k [L]s"g k w[Gr
gwSo[Zf5§^¸¹[bgwSSadY\[«Usg7U´UXsd[Zek q k [Z¡£[ k [Zc"]Z[GS´g k [ k [Zq k [3S[GcwUX[GrBR%ia"gwSeefcd[Gg k aTUXefe¦UVR¡£adc]Uef_`cSZ§
µs"efS.Y\[Gg`c"SLUs"ghUL¡£_
k ¬
a"S[
k
SLaTUXefe¦UVR{efSLUs"[\rde¦[
k
[Zc"]Z[;[UV[Z[Gc{sd[
k
7g`a"ghUef_`c
_`¡
g`f_T]ZghUef_`c
±²sd[
k
^effefcd`c"[GSXSV=U_`=q"g1Rd³(ghc"rUs"[«q
k
e][
UXs"g7U´Ssd[«g`]Ua"g`fRq"g1RTS>=
±5x`³
µsd[¥Us"[Z_ k [UXef]Ggh k [GSad¦USrd[ k ew[Gr«efcbUXsdeSqghq;[ k g k [(_wTUXg`ecd[3r«¡£_ k qdg1R`[ k S^eUsb[GfgwSVUXef]rT[GY\g`c"r ¬
g`c"rSY\_B_hUXs7ghfa"ghUef_`c¡£adc"]UXe_wc"SoSa"]sUs"ghU
G ÂP, - J
.7' * +" '
.+,I. % ,-+ I. -' ,-+" ++,-.
!
'#"%$'&
'
$ )(
"+*-,.$ '
$
/ 0
*
!
$ *
21
G Â.34
65
'#"
= '
,78
"+$ '9$
'9$ $ & '
$
$ 5 $ $
-´_hUe][UXs"g7U(Usd[3S[ogwSSadY\qTUef_`cS¥[ k [· k SVUlefciUk _TrTa"][3rbefc9f`;d¡£_ k Usd[Lghc"g`RTSefS_`¡ jlk _` k [3SSef`[
QT[G]_wc"r
jlk
e][*g`a"]UXe_wc"SG§
:
X <;Z$ ()*+>= ^++ * )¯^++ $?; + $(X
)*+
¨ªc 9f`;¬ g-J3g k ghcr9QB[ZY k [UefciU k _TrTa"][3rNUsd[ jlk _w k [GSXSef`[¢QB[3]_wc"r jlk ef]Z[{gha"]Uef_`c"S ¬ Sa"``[3SVUXec"
UXs"g7Uoq"fg1Rw[ k S^Ssd_wadrSaddY\eUoUV_hªrTeY\[Gc"Sef_`cghderdSo_`¡UXsd[«¡£_ k YA@
CB
'D
= B k [Zq k [3S[GcwUSUsd[
g`Y\_`adciU´_`¡l"ghc"rd^efrBUXs¢UXs"g7U.qdfg1Rw[ k eS.g`S efcdg`c"r D
Us"[adc"e¦Uq k ef]Z[«Us"ghUSsd[efS.g`]G][ZqdUefcd¯U_
qg1RUX_\`[UUs"efS(%ia"ghciUXe¦UVRw§µs"[.YadUe=derg`a"]UXe_wcSX]sd[ZY\[.¥[g k [´w_`efcdU_\rT[GSX] k e;[.cd_79ghf_7oS
q"fg1Rw[ k SlUX_Sad"YEeU´SeYad¦Ughcd[G_`a"SfRS[G`[ k g`;Sa"]sUV¥_`rTefY\[Zc"Sef_`c"g`;"efrdSG§
µsd[@Y\[GSXSXgh`[q
k
_T][GSXSEefS¯gwS¡£_`f_7oSG§Nn'qdg1R`[
k [ZciU[
k
efcd»Usd[@wg`Y\[¹±²e5§[`§ [GSUXg`dfefSsdefcd¹g
]Z_`cdc"[G]UXe_wc³Sad"YEeUXSg»S[U¯_h¡E
UV¥_`rdeY\[ZcSef_`c"g`¥"efrdSF@
HG
@ &
' '
@JILK
NM
§N¨ªc¤g¹Yba"¦UXe¦der
@ ¬
¡£_
k
g`LO
' / O / E '
@P
eSg©UV_hªrTeY\[Gc"Sef_`cgh^der g`Srd[·"cd[3r ec UXsd[
j Q j
S]s"[ZY\[ =
@ P B
P
'D
P
R
)Q §L¸»[\g`SXSadY\[*^e¦UXsd_`adU.f_wSXSo_`¡l`[Zc"[ k ghfe¦UVRUs"ghU.derdS.g k [bS_ k U[GrSa"]sUXs"g7U
D & / D ) / / D
IRK
§& k _`Y UXsd[ HN % #S'T ,VU @ @
"JW
¬ Us"[gha"]Uef_`cd[G[ k ]_wY\qdaTU[3S.¡£_ k
[3g`]s@qdg1R`[
k UXsd[g`f_T]Zg7UXe_wc
_`cqdg1R`[
k S k
_waTU[bg`c"rUs"[bq
k
ef]Z[X
Ssd[b^ef;[]sg
k
`[Gr §
µ_[ZY\qdsg`SeJG[_wc qdfg1Rw[
k
S¯YbadUedefr
¬
[^ef.ghS_S_`Y\[UXeY\[GS
k
eU[Y@
@ '
@Z
¬
^s"[
k [
@ Z
@\[
[
"JW<]_^
a`
§
¨ªcUs"[¡£_`f_7^efcd ¬6b rT[Gcd_hUX[GSUs"[*S[ZUo_h¡YadUe=derdSUXs"g7U´gEqdg1R`[ k ]Zghc@SaddY\e¦U<=
b
dc
I-egf
h
R
Qi
R
Qkj
I '
^e¦UXs
h
R
Qi
R
Qkj
f
l
m* H 0n ¨¡qdg1R`[ k Sad"YEeUXSocd_\defr©±oE
³(Usd[Gc[« k e¦UX[@
pl
§
¾
£
 g 7. IJ %- J
.6 H %.
U k aTUXsT¡£ad
H !" #S'
@
Yb @ l
L,-
" O ' / O / E ' D P
B P
µsdeSY\[Gg`c"SUs"ghUlqdg1R`[ k gw]UaghfR k [Zw[Gg`fSsd[ k Y¯g k wec"g`B1g`a"[0
B
e¡Ssd[_`TUghefc"S %ia"ghciUXe¦UVR
B §
¸¹[« k eU[ b
UXsd[*S[Uo_h¡U k aTUsd¡£adYad¦UXe¦derdSUXs"g7Uo]Zg`c@[*SaddY\eUU[3riRqdfg1Rw[ k §
&"_ k [G`[ kRqdfg1Rw[ k ¬ Usd[ k[befSLgrT[ZY¯g`c"r@¡£adc"]Uef_`c{gwSS_T]eg7UX[GrU_Usd[*7g`a"ghUef_`c@¡£adc]Uef_`c
§µsdeSbrd[ZY¯ghc"r»¡£adc]Uef_`cwew[GSUXsd[ %ia"g`cwUXe¦UVR
B
_`¡ k [3S_wa k ]Z[EUs"ghUbqdg1R`[ k ¥_wadr»"adR{e¡^Usd[
k [GS_`a k ]Z[´[ k [S_`rg7U´g·dºT[GradcdeU´q k ef]Z[
D ¬ efc_ k rd[ k U_¯Y¯g7ºTefY\eJG[.s"[ k aTUXefe¦UVR
CB
D B §
¾ £Â3% P'5 (. . H %,- L +
rT[ZY¯ghcr¡£a"c"]UXe_wc
, J M
.N' CU ' I.A
", D
Z & D / D /
0
,- +.
1
-´_hUe][Usg7U«n´SXSadY\qTUXe_wcNeY\qdfef[GSLUs"ghULUXsd[¯rT[ZY¯g`c"r¡£adc]Uef_`c»efS.[Zf¦ªrT[Z·"cd[Gr»ghc"r¢cd_`cdefcT
] k [3g`Sec""§
µ_]_`Y\qdadU[\ghf_T]ZghUef_`c"Sg`c"r¢q k e][GS ¬ Us"[\g`a"]UXe_wcd[Z[ k a"S[3SLUV¥_UVRBq[3S_h¡(¡£a"c"]UXe_wc"S.¡£_ k [Ggw]s
aS[ k =sd[ kF.+' ,-#8' H -' ", g`c"r sd[ kF.+' ,-#:H -% ", %,- § F _hUXs
¡£a"c"]UXe_wc"SorT[ kef`[L¡k _wY Us"[«YbadUe="efr @
SaddY\e¦UU[3rBRq"fg1Rw[ k efcUXsd[¡£_`ff_7^ecd\g1R=
¾ £Â4,-.' J F P,)% ..6 HN " ' H !% #S' @ b 1
) q"S[ZarT_hªrT[ZY¯g`c"r¡£adc"]Uef_`c ,I. .,<- ' @
%,-
R
Q
R
Q ' CU '
J
D @ l , D I K
, D
&!
P
IRK GJB
P
D P & D M
,- +.
1
±²yw³
)3 q"S[ZarT_hY¯g k `efc"ghw1g`ag7Uef_`c*¡£adc"]UXe_wc , I. .,<- '7 @ +" ", 0
R
Q
R
Q
L'5U '- J B @
l ,-
B &
, B
&#
P
ILK
G D P B P & B M
,- +.
1
±£i³
µsd[\rT[GY\g`c"r ¬ q"S[Za"rd_hªrT[ZY¯ghcr ¬ Y\g k wecgh 7ghfa"ghUef_`c{g`c"r¢q"S[ZarT_hY¯g k `efc"gh 7g`a"ghUef_`c¡£a"c"]
UXe_wc"S^g k [effa"SVU k ghU[3refc &ef"§Dy ¬ ¡£_ k gU k aTUXsT¡£ad Yad¦UXe¦der°§
m* H 0n F _`Us¤q"S[Za"rT_`rd[ZY¯ghc"r g`c"r¤q"S[Ga"rT_`=Y¯g k `efc"g`¥7ghfa"ghUef_`c¤¡£adc"]Uef_`c"Sg k [@q;_wSe¦UXew[ ¬
SUXg`ekªSVUX[Zq ¬ cd_wcdec] k [Gg`SefcdEg`c"r[Z¡âUª]_`ciUXecBad_wa"SZ§
&"_ k qdg1R`[ k S^sd_der*U k adUsT¡£adffR ¬ ¥[^]Zg`cE]Z_`Y\q"g k[¥Usd[^qS[Ga"rT_hªrT[GY\g`c"rbg`c"rq"S[Ga"rT_`=Y¯g k `efc"g`
7g`a"ghUef_`c¡£adc"]Uef_`c"SUX_EUsd[Ge
k 2 k [Ggh
4
]_wadciU[
k
q"g
k
US=
.
q1i
0 q2i
q3i d¯i p
p1i p2i p3i p s1i
s2i
di p
s3i q
Prices
Quantities
.
. p
s3i
s2i s1i θi
p
q q1i q2i q3i
0 p3i
p1i p2i
Prices
Quantities θ¯i
p
.
&ef`a
k
[¢y= ´[GY¯ghc"r g`c"r¤q"S[Ga"rT_`rT[GY¯ghc"rN¡£adc"]Uef_`c"S
7¬
Y¯g
k
`efc"gh^7ghfa"ghUef_`c ghc"r qS[Ga"rT_h
Y¯g
k
wec"g`1g`ag7Uef_`c¡£adc"]Uef_`c"S
I
¡£_
k E
ghcrgEU
k
aTUXsT¡£ad YadUe=der°§
¥¾ ® ' *(. . HR", J F= .6 H . % H !" #S' @
+
/
±5v`³
/ ±Bw³
,>,
1 [U
R
Q
§¨¡
UXsd[Zc
X/
efS.U
k
efBefg`
¬
Sefc"][
&
§¨¡¥[¯g`SXSadY\[
UXs"g7U
¬
UXsd[Zc @
l
ghc"r
& P
ILK GJB
P
D P & M
B
P
^e¦UXs
D
P
&
D
P
/
^s"[
k
[LUXsd[«cd_wcdec]
k
[Gg`Sefcd`cd[3SS¥_h¡
efSa"S[Gr § p
[Zg7UXe_wc¹±=v`³eSUsd[Gc@q
k
_7w[Gr°§
p [GfghUef_`c±Bi³EefS\[3SVUghdfefSsd[3rK[ZºTgw]UXRUXsd[Sg`Y\[g1RBR®efciw[ k Uefcd»Usd[ k _`f[GSE_h¡.q k ef]Z[GS¯ghcr
%ia"g`ciUeUef[GSG§
&ef"§lyEeffa"SVU k ghU[3S [ZY\Y¯g`§
[ZY\Y¯g¢\]Zghc»ghS_;[Ea"S[3r@U_[GSUXg`dfefSs{S_`Y\[ k [GSadUXSL_`cUXsd[E]Z_`Y\q;_wSe¦UXe_wc_h¡lUXsd[qS[Ga"rT_h
rd[ZY¯ghc"rghcrqS[Ga"rT_h7ghfa"g7UXe_wc¡£adc]Uef_`cS=
¥¾ ® 34
"
'#"
@ b ' "
R
Q ' 0
Q Q
/
± D ³
@
l
( "
'CD
I K
'
& '
±Cw³
P+ ,-
R
R
' Q
"!$#&%'!
$
P+: +A#HN &)(5.%.
1
[ZY\Y¯g\xbeSq k _7w[Gr¯efc@noqdq;[Zc"rde¦º{ ¬ ghc"r^ef°;[a"S[3refcUXsd[ k [3SVU^_`¡ Usd[«qghq;[ k U_E[GSUXg`deSs
_wa k Y¯ghefc k [GSadUXSG§
F g`S[Gr¹_wc©Usd[qS[Ga"rT_hªrT[GY\g`c"r»¡£adc"]Uef_`c"Sb_h¡oghf(qdg1R`[ k S ¬ UXsd[g`a"]UXe_wcd[Z[ k ]Zghc®g`qdq k _1ºTeY¯g7UX[
UXsd[U_`UXg` rT[ZY¯ghcr¡£a"c"]UXe_wc_7w[ k [Ggw]sfec ;¬ ec@_ k rT[ k UX_¯rT[UX[ k YEefcd[UXsd[«[G`[G°_h¡D]_`c"`[GSUef_`c =