of Computer Science Rensselaer Polytechnic Institute Troy NY 12180 eanshelcsrpiedu Sanmay Das Dept of Computer Science Rensselaer Polytechnic Institute Troy NY 12180 sanmaycsrpiedu Yonatan Naamad Dept of Computer Science Rensselaer Polytechnic Insti ID: 56064
Download Pdf The PPT/PDF document "Anarchy Stability and Utopia Creating Be..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
OurResults.Weinitiateaninvestigationoftheques-tionsdescribedaboveinthecontextoftwo-sidedmatchings,andgiveboththeoreticalandexperimentalresults.Specif-ically,westudytheeectsofdierentnetworkstructuresandutilitydistributionsonthepriceofanarchy:theratioofsocialutilitiesachievedbystableandoptimalmatchingsrespectively.Wendthatinmostcasesthestablematchingattainsclosetotheoptimalsocialwelfare(generallyabove90%).Wecharacterizesomesituationswherethepriceofanarchycanbemoresubstantial,andthenstudyapoten-tialmeansofincentivizinggoodstablematchingsinSection5.Weconsiderapproximatestability,whichcorrespondstotheadditionofaswitchingcosttothemechanism,sothatanagentwouldhavetopayinordertodeviatefromthecurrentmatching.Weshowboththeoreticallyandexper-imentallythattheadditionofasmallswitchingcostcangreatlyimprovethepriceofanarchy.Finally,inSection6weconsiderseveralgreedyalgorithmsforpartner-switching,andshowexperimentallythattheyconvergequicklytosta-bilityforsomesimpleyetnaturaldistributionsofutilities,aswellasproveconvergenceguarantees.2.MATCHING,STABILITY,ANDSOCIALWELFAREMatching,theprocessofagentsformingbenecialpart-nerships,isoneofthemostfundamentalsocialprocesses.Examplesofmatchingwithself-interestedagentsrangefrombasicsocialactivities(marriage,mateassignment[9]),tothecoreofeconomicactivity(matchingemployeesandem-ployers[17]),torecentinnovationsinhealthcare(matchingkidneydonorsandrecipients[4]).Theprocessofmatchingcanbeextremelycomplex,since(1)agentscanhavecompli-catedpreferences,and(2),inmostsocialapplicationsagentsareself-interested:theycaremostlyabouttheirownwelfare,andwouldnotobeyacentralizedmatchingalgorithmunlessitwastotheirbenet.Forthisreason,theoutcomesofmatchingprocessesareusuallyanalyzedintermsofstability,therequirementthatnocollectionofagentscouldformagrouptogether,andbe-comebetterothantheyarecurrently[22].Fortheclassic\stablemarriage"problem[13],thiscorrespondstothelackofdesireofanypairtodroptheircurrentpartnersandin-steadmatchwitheachother.Stablematchingalgorithmshavebeenusedinmanyapplicationsincludingmatchingmedicalresidentswithhospitals[21],studentswithsoror-itiesandschools[1,19],andonlineuserswithservers.Whilestablematchingsmaybenaturaloutcomes,desir-ableforvariousreasons,therearefewguaranteesonthequalityandsocialwelfareofstablematchings.Mostre-searchonmatchingsofself-interestedagentshasfocusedon(1)deningoutcomeswithstabilityasthegoal(mostoftheworkonthedesignoftwo-sidedmatchingmarketsattemptstodoexactlythisbydeningproblemsappropri-ately[22]),(2)computingstableoutcomesandunderstand-ingtheirproperties(rangingfromtheseminalworkofGaleandShapley[13]toalgorithmsthattryandcompute\opti-mal"matches,forexamplebyminimizingtheaveragepref-erencerankingofmatchedpartners[16]),and(3)design-ingtruthfulpreference-revealingmechanisms(suchasintheNewYorkCity[2]andBostonpublicschoolmatches[3]).Questionsaboutthesocialwelfareofstablematchingshavebeenlessstudied.1Therehasbeenalmostnoresearchonconstructingsociallydesirablestableoutcomes,partlybe-causeinmostsituationsonecannotinstructself-interestedagentsonwhattodoinordertoengineersuchoutcomes,sinceanagentwillonlyfollowinstructionsifitbenetsthempersonally.Anincreasingbodyofliteratureinbehavioraleconomicsandsocialscience(e.g.[25]),however,suggeststhatde-sirableoutcomescanbeachievedbygivingpeoplealittle\nudge"incertaindirections,perhapsbyalteringtheirin-centivesslightly,whilestillleavingthemwithfreedomtochoosetheirownactions.Smallchangesthatgreatlyim-proveasocialsystemareeasytoidentifyinsomesitua-tions:forexample,making401(K)plansopt-outratherthanopt-inincreasesparticipationdramatically.Findingsimilarchangesinmatchingscenariosismoredicultbecauseofthecomplexityofasystemwhereanyagent'sactionscantheoreticallyaectalargenumberofotheragents.Beforeaddressingthemechanismdesignquestionofhowtoachievebettersocialoutcomes,werstneedtoaddressthequestionofwhetherornotstablematchingcanleadtosubstantialsociallosses.Forthisquestiontomakesense,werstneedanobjectivefunctionthatmeasuresthequal-ityofamatching.Asmentionedintheintroduction,oneofthereasonswhythesocialqualityofstablematchingsisusuallynotaddressedisbecausetheagentsinquestionareassumedtohaveapreferenceorderingontheirpossiblepart-ners,withoutaspecicutilityfunctionthatstateshowgoodamatchwouldbe.Whiletherehasbeensomeworkonmea-suringthequalityofamatchingby,forexample,theaveragepreferencerankingofmatchedpartners[16],suchmeasurescansometimesbehardtojustify.Forexample,foranagentA,thesecondchoiceinitspreferenceordermightbealotworsethanitsrstchoice,whileforagentB,thesecondchoicemightbeonlyalittlebitworse.Measuressuchastheoneabovewouldmakenosuchdistinction.Inthispa-per,wearespecicallyconcernedwithcontextswhereeveryagenthasautilityfunction,notjustapreferenceordering:thatis,foreverypossiblepartnerv,anagenthasavalueU(v)specifyinghowhappyitwouldbetobematchedwithv.Weareespeciallyconcernedwithmeasuringthequalityofamatchingintermsofsocialwelfare:thetotalsumofutilitiesforalltheagents.Wewouldliketounderstandthesocialwelfareofstablematching.Thetradeobetweenstablematchingsandso-ciallyoptimalmatchingsisquantiedbythepriceofanar-chy:theratiobetweenthemaximumpossiblesocialutilityandtheutilitiesofequilibriumoutcomes(stablematchings).Understandingthepriceofanarchyisimportant,sinceitactsasaboundontheamountofimprovementinstablematchingsthatbettermechanismscouldyield.PriceofAnarchyBounds.Thepriceofanarchycanvarywidelydependingontheprobleminstanceandtheprefer-encestructure.Asanexample,Figure1illustratessomecaseswherethestablematchingishighlysociallysubopti-mal(discussedinmoredetailinthenextsection).Intwooftheunderlyingtypesofgraphstructures,thepriceofan-archyisatmosttwo(andtheboundcanbetight),while 1Asmentionedintheintroduction,oneofthedesiderataformatchingstudentswithschoolsormedicalstudentswithresidenciescanbetocomputethestablematchingthatisbest(typically)forthestudents,butthisisadierentnotionofwelfare. Symmetricedge-labeledpreferences Vertex-labeledpreferences Asymmetricedge-labeledpreferencesFigure1:Worst-caserealizationsofthepriceofanarchyindierentmodels.Ineachcasethesociallyoptimalmatchingisf(A;C);(B;D)gbuttheonlystablematchingpairsAandD.socialutilityofanystablematchingisatleastone-halfofthesocialutilityoftheoptimummatching.Inotherwords,thisobservationsaysexactlythatthepriceofanarchyisatmost2.Noticethatthesociallyoptimalmatchingissimplythemaximum-weightmatchinginthismodel.TheaboveobservationisaspecialcaseofTheorem1(provedinSection5),butitcanalsobeseentofollowfromtwofacts:(1)Anystablematchingcanbereturnedbyanalgorithmthatexaminesedgesgreedilybymagnitude,addingthemtothematchingiftheverticesinvolvedhavenotyetbeenmatched(theparticularstablematchingpro-duceddependsontheprocedureforbreakingtiesbetweenequal-weightededges),and(2)Anygreedysolutiontothemaximumweightedmatchingproblemiswithinafactoroftwooftheoptimalsolution.Notethatthisargumentholdsgenerally,evenfornon-bipartitegraphs.Figure1(a)pro-videsanexampleofagraphwherethisboundisachieved,showingthattheboundof2onthepriceofanarchyistight.Observation2.Invertexlabeledgraphsthesocialutilityofanystablematchingisatleastone-halfofthesocialutilityoftheoptimummatching.ThisisaconsequenceofTheorem2(seeSection5forfurtherdiscussion).Again,Figure1(b)providesanexampleofagraphwherethisboundisachieved.Observation3.Inasymmetricedge-labeledgraphs,thesocialutilityofthestablematchingcanbearbitrarilybadcomparedwiththesociallyoptimalmatching.ConsiderthecaseinFigure1(c){theutilityreceivedbyagentBfrombeingmatchedwithAgentDisarbitrarilyhigh,butthepairisnotpartofthestablematching,sothelossinutilitycanbeunbounded.Againthisargumentholdsfornon-bipartitegraphsaswell.Theseareworst-caseconstructions.Anaturalquestioniswhatthepriceofanarchyislikeinrealisticgraphswithdierentdistributionsoverutilities.Weexaminedseveraldierentdistributionsofutilitieswithinthethreemodelsde-scribedabove,andalsoconsidereddierentgraphstructuresinordertogetasenseofthepotentialpracticalimplicationsofthesepriceofanarchyresults.Weusedrandomdistribu-tionsoftheutilityvaluesonrandombipartite(andlaternon-bipartite)graphsofthedierenttypesdescribedabove,andcomputedboththemaximum-weightedstablematch-ing(thesociallyoptimalmatching)andastablematching Figure2:Averageratiooftherealizedstablematch-ingtothemaximumweightedmatchinginthreedif-ferentpreferencemodelswhenutilitiesaresampledatrandomfromexponentialanduniformdistribu-tionswiththesamemean(0.5:therateparameteris2fortheexponentialandthesupportoftheuniformis[0;1]).Reportedvaluesareaveragedover200runs.Thereare100agentsoneachsideofthematchingmarketinallcases.TheXaxisshowsthedegreeofeachnode.Notethattheratioisveryhigh,almostneverdroppingbelow85%,eveninindividualruns.usingtheGale-Shapleyalgorithm(inallcasesconsideredhere,exceptonedescribedinmoredetailbelow,thepropos-ingsidedoesnotaecttheoutcomeinexpectationbecausepreferencedistributionsaresymmetric).Figure2showsthatwhenutilitiesarerandomlydistributedaccordingtotwocommondistributions(exponentialanduniform,althoughthisresultseemstoberobustacrossmanydierentdistributions),thesociallossduetostabilityisnotparticularlyhighinanyofthethreemodelswedescribeabove.Thisisnotsurprisingforvertexlabeledgraphs{sinceanypersoninthematchingwillcontributethesametothetotalutilityregardlessofwhomtheyarematchedwith(forexample,everyperfectmatchingissociallyoptimal).Astheaveragedegreeofeachvertexincreases,thenumberofagentsgettingmatchedincreases,andtheratioquicklyreaches1,becauseallstablematchingsbecomeperfectatsomepoint.However,theresultisconsiderablymoresur-prisingfortheothertwocases,particularlyforasymmetricedge-labeledpreferences.Theonlycaseinwhichtheratiogoesbelow0:9isforexponentiallydistributedutilitieswithasymmetricedge-labeledpreferences(theratiostopsdeclin- Figure3:Averageratiooftherealizedstablematch-ingtothemaximumweightedmatchingwithtwodierentnon-bipartitegraphstructures:(1)smallworldnetworksand(2)preferentialattachmentnet-worksofdierentaveragedegree,bothwith100nodes.Utilitiesaresampledindependentlyfromanexponentialdistributionwithmean0:5.Resultsareaveragedover200runs.ingsignicantlybeyonddegree10).Forasymmetricedgelabeledgraphs,itmakessensethattheratiodeclinesasthedegreeofthegraphgetslarger,becauseitbecomespossibletoconstructmatchingsthataresociallymuchbetter.Ourexperimentsshowthatthevalueoftheoptimalmatchinggrowsquickly(sinceithasmoreoptionsavailable),whilethevalueofstablematchinggrowsslowly(sinceitishamperedbythestabilityconstraint).Theactualhighpercentageisquitesurprisinggiventhatintheory,theratiocouldbear-bitrarilybad.Theuniformdistributionratiosaregenerallyhigherthanthosefortheexponentialdistributionbecausetheuniformdistributionenforcesacompressionintherangeofhighutilitiesbycappingutilitiesat1.Figure3showsthatthehighratioisnotanaccidentofusingrandombipartitegraphs.Innon-bipartitegraphsthatareknownfortheirpowerinmodelingsocialandengineeringsystems,namelypreferentialattachmentnetworks[8]andsmall-worldnetworksonalattice[26],theresultsaresimilar,withthecomputedstablematchingachieving,onaverage,above95%ofthevalueofthesociallyoptimalmatching.ThisresultalsoholdsinlatticenetworksandinnetworksdenedinEuclideanspacewheretheutilityofamatchingforanypairistheinverseofthedistancebetweenthem.Thusitappearsthatinrandomgraphs,stablematchingsattainaveryhighproportionofthemaximumsocialutility.Therearehoweversomepreferencestructuresforwhichthisdoesnothold.Consideracasewheretheutilitiesreceivedbyonesideofthemarketaremuchhigherthanutilitiesre-ceivedbytheotherside.Inaddition,supposethatthesidewithlowerutilitiesismorepowerful,andisthereforeabletochoosethestablematchingoptimalforthoseonthatsideofthemarket(thesesituationscouldcorrespondtomanyinreallife{forexample,employersaremorepowerfulthanem-ployees).ThispowerstructureisimplementedbyrunningtheGale-Shapleyalgorithmwiththemorepowerfulsidebe-ingthesidethatproposes,whichresultsinthebeststablematchingfortheproposingside.Inthiscasetheratioofutilitiescanbesubstantiallylower,asseeninFigure4.Inotherwords,ifweonlycareaboutthewelfareofonesideofthemarket,therecanexiststablematchingsmuchworse Figure4:Averageratiooftherealizedstablematch-ingtothemaximumweightedmatchingwhentheutilitiesreceivedbythoseontheless\powerful"sideofthemarketare10000timesashighasthosere-ceivedbythoseonthemorepowerfulside,butthestablematchingistheoneoptimalforthemorepow-erfulside.Resultsareaveragedover200runs.Util-itiesareexponentiallydistributed.thantheoptimalones(althoughstillmuchbetterthanthetheoreticalboundofone-half).Whenanarchyisgood.Thepriceofanarchyisnottheonlyimportantmeasure.Ourexperimentssofarrevealthatthepriceofanarchyislowerforvertexlabeledgraphs,especiallyasthedegreegrows.Thisismostlybecauseanyperfectmatchingisso-ciallyoptimal.Asmoreandmoreverticesgetincludedinthematching,wegetcloserandclosertothesociallyop-timalmatching.Butthisisessentiallyacaseofscarcere-sources,andnosynergies{theaverageutilityreceivedbyeveryoneinaperfectmatchingisthevalueoftheaveragevertex{thereisnochancetomakeeveryonebetterobe-causesomepairsworkbettertogetherorlikeeachothermore.Ifpreferencesweremoreheterogeneous,therewouldbemoresuchsynergiesthatcouldbeexploited.Inordertoexplorethisfurther,weexperimentwithvaryingthelevelofhomogeneityinpreferencesbymakingpreferencesaconvexcombinationofvertex-labeledandasymmetricedge-labeledpreferences,whileholdingtheaveragevalueconstant.Inthiscasethevaluereceivedbyufrommatchingwithvisgivenbyw(v)+(1)zwherebothw(v)andzaresam-pledfromexponentialdistributionswithmean0:5,butw(v)isanintrinsicfeatureofthenodevwhichisthesameforanyuthatisconnectedtov,whilezisidiosyncratic(indepen-dentlysampledforeachuthatisconnectedtov).Thenrepresentsthedegreeofhomogeneityofpreferences.Figure5showsthat,whiletheratioofstable-to-optimalutilitiesgoesupdramaticallyaspreferencesapproachpurehomo-geneity,thisisaccompaniedbyadeclineinaverageutilityreceivedbyeachindividual.Thisindicatesthathavingsomeheterogeneityinpreferencesisagoodthingforsociety:evenifitleadstoahigherpriceofanarchy,everyoneisbetterothantheywouldbeinalowerprice-of-anarchysociety.5.IMPROVINGSOCIALOUTCOMESInthissection,weconsiderhowtoimprovethequalityofstablematchings.Weconsider,boththeoreticallyandinsimulation,theadditionofaswitchingcosttothemecha-nismsothatanagentwouldhavetopayinordertodeviatefromthecurrentmatching.Wendthatitispossibletoim-provethequalityofsocialoutcomessubstantiallybymak- Figure5:Theratiooftherealizedstablematchingtothemaximumweightedmatching(goingupfromlefttoright,leftYaxis)andtheaverageutilityre-ceivedbyeachagent(goingdownfromlefttoright,rightYaxis)asafunctionofthedegreeofhomo-geneityofpreferences(0beingcompletelyhetero-geneous,i.e.asymmetricedge-labeled,and1beingcompletelyhomogeneous,i.e.vertex-labeled).Thegraphsarebipartite,containing100nodesoneachside,andthedegreeofeachvertexis10.Theaver-ageutilityofanyedgeremains0.5foreachsetting.Resultsareaveragedover200runs.ingonlysmallchangestotheincentivesoftheagents,andthuswithoutdrasticallychangingthenatureofthematch-ingmarket.Notethatinthecasesconsideredinthissection,thereisnochangeinpreferencesofthesortdiscussedim-mediatelyabove,sothepriceofanarchyisactuallyagoodproxyforsocial(dis)utility.5.1ApproximateStabilityandSwitchingCostsAnapproximateequilibriumisasolutionwherenoagentgainsmorethanasmallfactorinutilitybydeviating.Inthecaseofmatching,weconsiderthefollowingnotionofapproximately-stablematching.Denition1.Amatchingiscalled-stableiftheredoesnotexistapairofagentsnotmatchedwitheachotherwhowouldbothincreasetheirutilitybyafactorofmorethanbyswitchingtoeachother.If=1,thenthisisexactlyastablematching.An-stablematchingalsocorrespondstoastablesolutionifweassumethatswitchinghasacost.Inotherwords,inthepresenceofswitchingcosts,thesetofstablematchingsissimplythesetof-stablematchingswithoutswitchingcosts.Inthissectionweareconcernedwithunderstandinghowincreasingimprovesthequalityofstablematchings.Wearespecicallyconcernedwiththepriceofstability[6],whichistheratiooftheutilityofthebeststablematchingrelativetotheoptimummatching.Muchrecentworkinnetworkdesign[7]androuting[10,24]hasconsideredthepriceofstabilityinvariouscontexts.Thepriceofstabilityises-peciallyimportantfromthepointofviewofamechanismdesignerwithlimitedpower,sinceitcancomputethebeststablesolutionandsuggestittotheagents,whowouldim-plementthissolutionsinceitisstable.Therefore,thepriceofstabilitycapturestheproblemofoptimizationsubjecttothestabilityconstraint. Figure6:Ratioofthesocialutilitiesofbest-stableandsociallyoptimalmatchingsasafunctionofwhenthematchingsareconstructedaccordingtoouralgorithminsymmetricedge-labeledgraphs.Thedramaticincreasebetween=1and=1:1showsthatintroducingevensmallswitchingcostshasthepotentialtoproducesignicantsocialbene-ts.Preferencesweresampleduniformlyatrandomon[0;1].Belowwepresentvarioustheoreticalbounds,showingthatforsymmetricedge-labeledgraphs,therealwaysexistsan-stablematchingwithutilityofatleast 2OPT(whereOPTisthevalueoftheoptimummatching),andthatinvertex-labeledgraphs,therealwaysexistsan-stablematchingwithutilityatleast 1+OPT.Weprovideaconstructivealgorithmforndingsuchan-stablematching.Thisshowsthatbyincreasing,wecanimplementmuchbetterstablesolutionsthanfor=1,anddecreasethepriceofstabil-ity.Ourempiricalresultsusingthisalgorithmshowanevenmoredramaticimprovementthanpredictedbythetheoret-icalbounds.Forexample,Figure6showsthatfor=1:1wealreadyobtainatremendousimprovementinthequalityofstablematching,essentiallyobtainingstablematchingsthatareasgoodasamatchingwithmaximumutility.Thismeansthataddingaswitchingcostassmallasveortenpercentcanmakeanenormousdierenceinthequalityofstablematchings.Inmanysituations,itisreasonabletobe-lievethatacentralcontrollercancomputeagood-stablematching,assignagentstothatmatching,andonlyallowthemtodeviateonpaymentoftheswitchingcost.5.2Edge-labeledGraphsForedge-labeledgraphs,weprovebelowthatinthepres-enceofswitchingcostsofafactor,thepriceofanarchyisatmost2,butthepriceofstabilityisatmost2=.Thismeansthatasweincrease,therebegintobestablematchingsthatareworse,buttherealwaysexistsastablematchingthatisclosetooptimal.For=1,theseboundscoincide,givingustheresultthatallstablematchingsarewithinafactorof2fromthemaximumweightmatching.For=2,thisgivesustheeasilyveriablefactthattheoptimummatchingis2-stable.Theorem1.LetOPTbethevalueofthesociallyoptimalmatching.Inanyundirectededge-labeledgraph,thereexistsan-stablematchingwhosesocialutilityisatleast 2OPT.Furthermore,thesocialutilityofany-stablematchingis atleast1 2OPT.Proof.Denotebyw(M)theweightofamatchingM.First,noticethatthesociallyoptimalmatchingissimplythemaximumweightmatchinginthismodel,sincethesocialwelfareofamatchingisexactlytwiceitsweight.LetOPTdenotetheweightofthemaximumweightmatching,andprovethattheweightof-stablematchingsobeysthelowerboundsmentionedinthetheoremstatement.Werstprovethatforevery1,every-StableMatchinginGisofweightatleastOPT 2.LetMbean-stablematchinginG,andMbeamaximum-weightmatchinginG.Lete1=(u;v)beanarbitraryedgeinMnM.SinceMisan-stablematching,theremustbeeitheranedgee2=(u;w1)2Moranedgee3=(v;w2)2Msuchthatw(e1)w(e2)orw(e1)w(e3)(ifneitherweretrue,thenuandvcouldmatchtoeachotherandgainmorethanafactorofinutility).ThereforeforeveryedgeeinM,eithere2M,orthereisanedgee0ofMsharinganodewithesuchthatw(e)w(e0).SinceatmosttwoedgesofMcanshareanodewiththesameedgee0ofM(becauseMisamatching),thismeansthatifwesumtheaboveinequalities,weobtainw(M)2w(M),asdesired.Wenowprovethattherealwaysexistsan-stablematch-ingMsuchthatw(M) 2w(M)bygivinganalgorithmforndingsuchamatching:SetM=MSorttheedgesofGinorderofdecreasingweight.Foreachedgee=(v1;v2)2Ginthisorder:Lete1;e2beedgestowhichv1;v2areincidentinM,re-spectively(iftheyexist)Ifw(e) isgreaterthanbothw(e1)andw(e2):Removee1ande2fromM.AddetoM.EndIfLoopThisalgorithmconsidersalledgesinthegraphinorderofdecreasingweight,andifthetwonodesintheedgecangainafactorofutilitybydeviatingtothisedge,thenweletthem.Ifanedgee1doesnotexist,thenforthenewedgeetobeaddedtothematching,allweneedisthatw(e) w(e2).Calltheedgee=(v1;v2)inthealgorithmastheedgebeingcurrentlyexamined.Toprovecorrectness,wemustshowtwofacts:(i)Thealgorithmresultsinan-StableMatching.(ii)Theresultingmatchingisofweightatleastw(M) 2.Tobegintheproofof(i),noticethatMisamatching.Thisissimplybecausewheneverweaddanedge(u;v)toM,wealsoremovetheedgesincidenttothenodesuandv.SincewestartwithamatchingM,weknowthatMisamatchingateverypointinthealgorithm.ByLemma1,weknowthatifanedgee=(u;v)isinthematchingMimmediatelyafteritisexamined,thenitwillnotberemovedfromMlater.Noticealsothatifedgee=(u;v)isnotinthematchingMafteritisexamined,thenitwillneverbeaddedtoMlaterinthecourseofthealgorithm,becausethealgorithmonlyaddsedgestothematchingatthetimethatitisexaminingthem.Therefore,thenalmatchingMconsistsexactlyofedgesthatarekeptinMatthetimethealgorithmexaminesthem.Toshowthatthereturnedmatchingis-stable,supposetothecontrarythatthereisaninstabilityinthenalmatch-ingM,i.e.,anedgee1=(u;v)62Msuchthatw(e1)w(e2)andw(e1)w(e3),wheree2ande3aretheedgesofMincidenttouandv(whichmaynotexist).Sincee1isnotinthenalmatchingM,itcouldnothavebeenincludedinthematchingwhenitwasexamined.Thisimpliesthatatthistimetherewasanedgee02Mincidentto(withoutlossofgenerality)u,withw(e1)w(e0).Thisedgee0can-notstillbeinthematchingMattheendofthealgorithm'sexecution,sinceotherwisee1wouldnotformaninstabil-ity.Therefore,thealgorithmmusthaveremovededgee0atalaterpoint.Theonlyreasonwhyedgee0wouldbere-movedisifanedgee00wereaddedtothematching,withw(e00)w(e0)w(e1).Sincethealgorithmconsiderstheedgesinorderofdecreasingweight,however,thisedgee00couldonlyhavebeenaddedbeforethealgorithmexaminededgee1,andsowehaveacontradiction.Wenowprove(ii).Ateachexaminationinthealgorithm,oneoftwothingscanoccur.ThetrivialcaseisthatnoedgeisformedsonochangeoccursinM.Theothercase,inwhichanewedgeeisaddedtothematching,addsanedgeofweightw(e)toMwhileremovingatmost2w(e) .Theratioofthenewedgeweighttotheoldedgesweightisthereforew(e) 2w(e) = 2.ByLemma1,onceanedgeisaddedtothematchingMbythealgorithm,itisneverremovedagain,sothetotalweightofthenalmatchingMisatleast 2w(M),asdesired,completingtheproofofTheorem1. Lemma1.Ifanedgee=(u;v)isinthematchingMimmediatelyafteritisexamined,thenitwillnotberemovedfromMlater.Proof.Supposetothecontrarythate=(u;v)2Mdirectlyafteritisexamined,butisnolongerinMatalaterpoint.Withoutlossofgenerality,assumethatewasremovedfromMbecausesomeedgee0=(u;w)wasadded.Forthistooccur,itmustbethatw(e0)w(e).Butsince1,andthealgorithmexaminestheedgesinorderofdecreasingweight,thenthisadditionofedgee0couldonlyhaveoccurredbeforethealgorithmexaminede,acontradiction. 5.3VertexLabeledGraphsForvertexlabeledgraphs,resultssimilartoTheorem1hold:thepriceofanarchyisatmost1+andthepriceofstabilityisatmost(1+)=.For=1thisgivesustheobservationinSection4(noticethatwhileitiseasytoshowacorrespondencebetweenstablematchingsforedge-labeledandvertex-labeledgraphs,thesamedoesnotholdfor-stablematchings).Theorem2.LetOPTbethevalueofthemaximum-weightperfectmatching.Inanyvertex-labeledgraph,thereexistsan-stablematchingwhosesocialutilityisatleast 1+OPT.Furthermore,thesocialutilityofany-stablematchingisatleast1 1+OPT.Proof.Foranedgee=(u;v),denew(e)=w(u)+w(v),anddenotebyw(M)theweightofamatchingM.First,noticethatthesociallyoptimalmatchingissimplythemaximumweightmatchinginthismodel,sincethesocialwelfareofamatchingisexactlyequaltoitsweight.There-fore,weletOPTdenotetheweightofthemaximumweightmatching,andprovethattheweightof-stablematchings Figure7:Averagenumberofswitchesthegreedyal-gorithmmakesbeforetheresultingmatchingissta-bleforvertex-labeledandsymmetricedge-labeledgraphs.Notethequadraticgrowthforvertex-labeledandlineargrowthforedge-labeledgraphs.Utilitiesaresampledindependentlyfromanexpo-nentialdistributionwithmean0:5.Resultsareav-eragedover200runs.phase,uwillbematchedwithv(becauseuprefersvtoallitsotherneighborsandvprefersutoitsotherneighbors),andwecanremovevandufromthegraph.Therestoftheargumentisthesameasabove. Theabovetheoremsaysthatthesimpledecentralizedal-gorithmdescribedaboveconvergestoastablematchingintimeO(n2),sinceeachphasetakeslineartime.Notice,however,thatifinsteadofswitchingtoitsbestpartner,theagentssimplyswitchedtoarandomimprovingpartner,thesameargumentwouldguaranteeconvergencetoasta-blematchinginanexpectedtimeofO(n2d),wheredisthemaximumdegreeofthegraph.Inpractice(seeFigure7),onrandomutilitydistributionssimilartothosedescribedinprevioussection,theconver-gencetimeforvertex-labeledgraphsdoesindeedappeartobequadratic,butitisinterestingtoseethattheconvergencetimeforsymmetricedge-labeledgraphsseemstobelinear.Weconjecturethatthealgorithmconvergesinexpectedlin-eartimeforthesegraphs,perhapsbecausegoodedgesforonenodeareinexpectationalsogoodfortheothernodeintheedge,becauseofthesymmetricpreferences.Asymmetricedge-labeled.WhileTheorem3guaranteesconvergenceforthevertex-labeledandsymmetricedge-labeledutilities,thisisnotthecaseforasymmetricedge-labeledgraphs.Unfortunately,inthiscasethereareeasyexampleswherethisalgorithmcancycle.Inourexperiments,however,forsmalln(thenumberofnodesoneachside)thisalgorithmconvergedtoastablematchingonallbutasmallpercentageofcases,showingthatthebadscenariosarenot\typical."Asngetslarger,thisal-gorithmconvergesmoreandmorerarely(approximately2%lessforeveryadditionalnode),withconvergenceessentiallynon-existentforn=70.7.DISCUSSIONThispaperexploresthepricesofanarchyandofstabilityinmatchingmarkets.Wedemonstratethateventhoughthepriceofanarchycantheoreticallybehigh,whenutilitiesarerandomlysampled,thelossinsocialwelfarefromstrategicbehaviorislimited.Thisresultencompassesmanydier-entgraphandpreferencestructures,andisexperimentallyrobust.Whilethedownsideislimited,eventhisdownsidecanbealleviated:asignicantimprovementinsocialwel-farecanbeobtainedbysuggestingagoodmatchingandrequiringagentstopaysmallswitchingcoststodeviate.Weshowthistheoreticallyusinganalgorithmforconstruct-ingapproximatelystablematchings,andthendemonstratethatthealgorithmiseectiveinexperiments.Wealsoshowthatsimplegreedypartnerswitchingalgorithmscancon-vergequicklytostablematchingsinsomegraphstructures.Fromapracticalperspective,futureworkshouldincludeun-derstandingreal-worldutilitydistributionsandhowtheyaf-fectthesocialoutcomesofmatchingascomparedtorandomdistributionsofutilities.Fromamechanismdesignperspec-tive,itwouldbeinterestingtoexplorewhetheragentswouldchoosetoparticipateinaswitching-costbased,designer-suggestedmatchingmechanism.AcknowledgementsTheauthorswouldliketothankananonymousreviewerforhiscommentsonhowtoimprovethepaper.8.REFERENCES[1]A.Abdulkadiroglu,P.Pathak,andA.Roth.TheNewYorkCityHighSchoolMatch.AmericanEconomicReview,95(2):364{367,2005.[2]A.Abdulkadiroglu,P.Pathak,andA.Roth.Strategy-proofnessversusEciencyinMatchingwithIndierences:RedesigningtheNYCHighSchoolMatch.AmericanEconomicReview,2009.Toappear.[3]A.Abdulkadiroglu,P.Pathak,A.Roth,andT.Sonmez.TheBostonPublicSchoolMatch.AmericanEconomicReviewPapersandProceedings,95(2):368{371,2005.[4]D.Abraham,A.Blum,andT.Sandholm.Clearingalgorithmsforbarterexchangemarkets:enablingnationwidekidneyexchanges.InProceedingsofthe8thACMconferenceonElectroniccommerce,pages295{304.ACMPressNewYork,NY,USA,2007.[5]H.Ackermann,P.Goldberg,V.Mirrokni,H.Roglin,andB.Vocking.Uncoordinatedtwo-sidedmarkets.InProceedingsofthe9thACMConferenceonElectronicCommerce(EC),2008.[6]E.Anshelevich,A.Dasgupta,J.Kleinberg,E.Tardos,T.Wexler,andT.Roughgarden.Thepriceofstabilityfornetworkdesignwithfaircostallocation.InProc.FOCS,pages295{304,2004.[7]E.Anshelevich,A.Dasgupta,E.Tardos,andT.Wexler.Near-optimalnetworkdesignwithselshagents.InProceedingsSTOC,pages511{520.ACMPressNewYork,NY,USA,2003.[8]A.L.BarabasiandR.Albert.Emergenceofscalinginrandomnetworks.Science,286(5439):509{512,October1999.[9]G.Becker.ATreatiseOnTheFamily.FamilyProcess,22(1):127{127,1983.[10]G.ChristodoulouandE.Koutsoupias.OnthePriceofAnarchyandStabilityofCorrelatedEquilibriaofLinearCongestionGames.LectureNotesInComputerScience,3669:59,2005. [11]S.DasandE.Kamenica.Two-sidedbanditsandthedatingmarket.InProc.IJCAI,pages947{952,Edinburgh,UK,August2005.[12]M.Dawande,S.Kumar,V.Mookerjee,andC.Sriskandarajah.MaximumCommonalityProblems:ApplicationsandAnalysis.ManagementScience,54(1):194,2008.[13]D.GaleandL.S.Shapley.Collegeadmissionsandthestabilityofmarriage.TheAmericanMathematicalMonthly,69(1):9{15,1962.[14]M.Goemans,L.Li,V.Mirrokni,andM.Thottan.Marketsharinggamesappliedtocontentdistributioninadhocnetworks.IEEEJournalonSelectedAreasinCommunications,24(5):1020{1033,2006.[15]N.ImmorlicaandM.Mahdian.Marriage,Honesty,andStability.InProceedingsoftheSixteenthAnnualACM-SIAMSymposiumonDiscreteAlgorithms,2005.[16]R.Irving,P.Leather,andD.Guseld.Anecientalgorithmforthe"optimal"stablemarriage.JournaloftheACM(JACM),34(3):532{543,1987.[17]B.Jovanovic.JobMatchingandtheTheoryofTurnover.TheJournalofPoliticalEconomy,87(5):972,1979.[18]V.Mirrokni.ApproximationAlgorithmsforDistributedandSelshAgents.PhDthesis,MassachusettsInstituteOfTechnology,2005.[19]S.MongellandA.Roth.SororityRushasaTwo-SidedMatchingMechanism.AmericanEconomicReview,81(3):441{464,1991.[20]A.RothandJ.VandeVate.RandomPathstoStabilityinTwo-SidedMatching.Econometrica,58(6):1475{1480,1990.[21]A.E.RothandE.Peranson.TheredesignofthematchingmarketforAmericanphysicians:Someengineeringaspectsofeconomicdesign.AmericanEconomicReview,89(4):748{780,1999.[22]A.E.RothandM.Sotomayor.Two-SidedMatching:AStudyinGame-TheoreticModelingandAnalysis.EconometricSocietyMonographSeries.CambridgeUniversityPress,Cambridge,UK,1990.[23]A.E.RothandX.Xing.Jumpingthegun:Imperfectionsandinstitutionsrelatedtothetimingofmarkettransactions.TheAmericanEconomicReview,84(4):992{1044,1994.[24]A.SchulzandN.Moses.Ontheperformanceofuserequilibriaintracnetworks.InProceedingsofthe14thAnnualACM-SIAMSymposiumonDiscreteAlgorithms,pages86{87,2003.[25]R.ThalerandC.Sunstein.Nudge.YaleUniversityPress,2008.[26]D.WattsandS.Strogatz.Collectivedynamicsof'small-world'networks.Nature,393(6684):440{442,1998.