by shigehiroserizawa* - iser.osaka-u.ac.jpserizawa/dp/dp316.pdf · llntroduction...

24

Upload: dangque

Post on 18-Jul-2018

214 views

Category:

Documents


0 download

TRANSCRIPT

DiscussionPaperNo、 316

ANIMPOSRmnl'TYTHEOYmM

INPUREPUUTIICGOODSECONOMmR

WITHFEARmlTJTYCONSTRAINTS:

VOTINGBYCOMMITTIu田S

INNON-RECTANGULARFEASmnESETS

by

ShigehiroSerizawa*

Mayl992

RevisedJanuaryl994

ThelnstituteofSocialandEconomicResenTch

OsakaUmversity

6-1Mihogaoka,Ibaraki,Osaka56ZJapan

**Firstofall,IwishtothankProfessorWilliamThomsonfbrhisdetajledcommentshelpfUlsuggestions・IalsowishtothankProfbssorsSalvadorBarbera,MarcusBerliaMatthewJacksonandLionelMckenziefbrtheiruselUlcomments.

mentsand

Berliant,

Abstract

Weconsidertheproblemofchoosinganaltemativeinapurepublicgoodseconomy

withfeasibiUtyconBtraintBwhenvoter8haveooadditively-separableandBingle-peakedIo

preferences・Ourpurposeistoidentifyvotingprocedure8satisfying1itop8-only11,

11nonmanipulabiUtyooand1IvotersovereigntyⅡ、FYrst,weshowthatsuchproceduresare

generalizationBoftheschemesof1Ivotingbycommittee811introducedbyBarbera,

SonnenscheinandZhou(1991)Second,weestablishthatwhennotwogood8canbe

Bimultaneouslyproducedattheirmaximalfeasiblelevels,thoseproceduresare

characterizedbytheexistenceofaverypowerfUlvoter.

Keywords

Feasibintyconstrajnts,Additive-separableandsingle-peakedpreferences,Tops-only,

Nonmanipulability,Votersovereignty,Votingbycommittees

llntroduction

Thispaperconcemstheproblemofchoosinganaltemativeinapurepublicgoods

economywithfeasibintyconstraintswheneachvoterha8preferencesinacertaincla88of

Ioadditively-separableandsingle-peakedoopreference8・welookfOrvotingprocedure8which

satisfythepropertiesofiitops-only11,Iinonmanipulability1iandIivoter8overeigntyi1・We

establishthatsuchproceduresaregeneralizationsoftheschemesofoovotingbycommitteeslo

introducedbyBarbera,Sonnen8cheinandZhou(1991,hereafterB,S&Z)JustUkethe

schemesofvotingbycommittees,thegeneralizedschemeshaveacertainpropertyof

1IdecomposabiUtygoodbygoodoo・Further,weestabUshthatwhennotwogoodscanbe

simultaneouB1yproducedattheirmaximalfeasiblelevel8,fOreachproceduresati8fying

thoseproperties,thereisavoterwhoisverypowerhll,althoughheisnotanecessaIilya

dictator・

weconBiderthefOUowingpurepubncgoodseconomies・Therei8annitenumberof

voterBandaEmtenumberofpubncgoods・ThesetofpotentiallevelsofeachgoodisEmte,

andthefeasibleBetZisasubsetoftheproductLoftheBetsofpotentiallevelsofgoods・

EachvoterhasapreferencerelationdehnedontheproductL・Avotingschemeisamethod

fOra66igmngtoeachpossiblepreferenceprohleanelementofthefeasibleset・Whenthere

areatleastthreeelementsinthefeasiblesetandthedomajnofpreferencesislargeenough,

theGibbard-Satterthwajtetheoremcanbeapplied:itsaysthatanynondictatorialscheme

ismaImpulablel・But,extendingtheresultofB,S&Z,recently,Barbera,Guland

Stacchetti(1991)andSerizawa(1992)showedthatifthefeasiblesetiBarectangle,thenon

P

animportantdomajnofpreferences,whicharecalled or

lAschemeis…2111△hl且iffOrsomeprofileofpreferences,somevotercanobtamanoutcomethatheprefersbymisrepresentinghispreferenceiotherwisetheschemeisnonmanimmable

璽旦且=h旦旦且dpreferences,thereexistaclassofnonmanipulablevotingschemesmuchwider

thanthecla88ofdictatorships・Suchschemesarecalled EeneralizedmedianvoterBch⑨m曙

Furthermore,withaveryweaka。domofef5ciencyor uHUUI臣HuIV【】ⅡⅡ【】V

calledvoterBovereignty2,theycharactelizedvotmgbycommittees:IfavotingBcheme

satisEesvotersovereigntyandnonmanipulabilityonthedomajnofcro8s-Bhaped

preferenceB,thenitiBaschemeofvotmgbycommittee8.

However,thereareimportantca8e8whenthefeasiblesetis 、Foran

eg〔ample,Bupposethattherearesomenxedresources(inputs),fromwhichthepublicgood8

areproduce。、Thefeasiblesetwillcertainlydependonthetechnologyandtheresources,

andtypicallyitwillnotbearectangleWealsoassumefreedisposabilityofresources,

Thenwheneversomeproductionofthepubncgoodsisfeasible,anysmaUerproductionis

alBofeasible・Suchaconditioni8caUedzero-comprehensiveneB81nthispaper,wetreat

8uchcasesofnon-rectangularbutzero-comprehensivefeasiblesets・

InSection2,wesetupthemodelanddehnevotingbycommittees・Onenotable

featureofaBchemeofvotingbycommitteesisthatitcanbemdecomposedoointoBeparate

rules,onefbreachgoodForexample,thelevelof8omegoodcouldbedeterminedby

majorityrule,andthatoftheothergoodbydictatorship,Thuswhenthefeasiblesetisnot

rectangular,someoutcomesoftheschemeofvotingbycommitteesmaybeinfeasibleSo

next,we8tudytherestrictionsonschemesofvotingbycommitteesimpnedbyfea8ibinty、

Although,ingeneral,votingschemesdependonalltheinfOrmationcontainedinthe

prohlesofpreference8,someclassesofvotingschemesdependonlyonpartofthat

infOrmation・AndifthereisanycostoftransmittinginfOrmation,votingschemeswhich

dependonlessinfOrmationwillbepreferable、Avotingschemeis辺I…Xiftheoutcome

fOranypreferenceproEledepend8onlyonthebestelementsoftheproE1einthefeasible

set、Wecharacterizevotingbycommitteesintheclassoftops-onlyvotingschemesonthe

2AvotingBchemesatisEes ifitisontothefbasiblesetZ

domainofadditively-6eparableandsingle-peaked3preferences,whichi8smanerthanthe

domainofCross詔hapedpreference8・Themainre8ultofSection2isthefbUowing:

〃qtop8-o汎lyuot”sdieme3at雛e8uote780Ue7e地冗tya狐。〃o几、α〃jPUltLbility0冗メノbe

domQi几q/Gdditjuel1ノーsepG7qblea〃dsin9le-pCM;edpre/b7e〃CCS,仇elzthe8cノbeme…scheme

Q/Uo2i几963ノcomm樅ee3tUhichsqt蛾Csノセ“iMitzノCO勉ditio〃8.

InSection3,wemakethenatmala88umptiononthefeasiblesetthatnotwogoodB

canbeproducedattheirmaximalfeasiblelevelsatthesametimeThehontierF(Z)ofthe

feasiblesetZisdenneda8thesetofelement8ofZsuchthattheproductionofnogoodcan

beincreasedwithoutdecreasingtheproductionofsomeothergoodGivenagoodx,Fx(Z)istheprojectionofF(Z)onthesetofpotentiallevelsofxWeestabUshthefOUowing:

A83TmOetノbatGtOP8-07M1/UOtm93Cheme8Gtiq/iie3UOter80Uerej97LtVmd酌

冗o"、叩jptllq61eo〃tbedOm皿冗0/qddjtjUely-sepGmbleG〃d8町le-pe此edpre/b7e"CCS.、be〃

仇e7e曲Guote7isucMj(Wb7mZノp7e/i27e几cep7砿led几thedomqj几,

りめeOUtcomcleUeMeQch9oodZ…tJeos…lc7ye“theZ-fhcoo7di"CLfeQ/Uotcr

ibbe8tpomt伽Z,

iWbreoCb900dzjVtheZ-tノiCoo7dj"CUC〃tノjeUoterjbb"teIeme〃t醜Z曲atlecSt

“町…m`伽Fと(Z),tノjc"仇eoutcomclcツビ'0/ziScq"ltotノtcz-仇coordj"qteq/theU0teribbe8teleme7ztmZ、

Foreg[ample,supposethattherearetwogoodsxandy,thatthe8etofpotential

levelsofxis{0,1,2,3}andthatofyis{0,1,2},andthatZ={0,1,2,3脾{0,1,2}

({(3,2))ThenF(Z)={(3,1),(2,2)},minFx(Z)=2,andminFy(Z)=LThusifthex-thcoordinateofi'sbestelementinZis2or3,thentheoutcomelevelofxmustbeequal

toitiifitisl,thentheoutcomelevelofxisatleastaslargeasl(butmaybe2or3)

Therefbreundertheassumptionsabove,theremustbeavoterwhoisverypowerfm

althoughheisnotnecessarilyadictator,However,COnsiderthecaseswhenfOreachgoodx,

3Apreferenceisadditively竜epara

ifitisrepresentedbyanionofeachgoodissingle-peaked.

、【

minFx(P)=0,thati8,if8omegoodisproducedatitsmaximalfeasiblelevel,thennoother

goodcanbeproduced・SuchcasestypicallyoccurwhentheresourceshomwhichthegoodB

areproducedarenxed,InthosecaseB,thevotingBcheme8becomedictatoriaL

2ModelandCharacterizationofVotingbycommittees

ThesetofvotersisN={1,2,…,、},、三2. ̄ l>2.GivenWEN,wedenotethecardinality

(or幽型)isX={1,2,…,k},kz2GivenxEXofWby#WThesetof urepuRo

andAEX,wedenoteXN{x}by証andXlAby-AThesetof DotentiallevelsofxEX 1s

Lx={0,1,…,mx},mx≧landL=x1Xいi…EX,AEXand`EL,w'ed…thox-thcoordinateofZbWk,andtheprohles((b,)yEA,((i,)y#xand(WAbWA,し,[andLArespectivelyGivenxEXandL'〔L,wedenotetheprojectionofL'onLxbyLjt,and

themammalelementofnLjtbyM(L')Azero-comprehensive4setL'ELis型型gユlユエX

ifM(LリEL';otherwiseL'is 、ThefeasiblesetZisasubsetofLWe

assumethatZiszero-comprehensivebutnon-rectangular・

dennedas{CEZ’2'2M-2'2Z}GivenA〔Xand`A-

1s

EPERx,wedenototh…t

{LAEHEXlRxl(LWEZ}byZ(2A)GiventhePreferencerelationPiE身letRi

ThesetofstrictDreferencerelationsonL is臭

GiventhepreferencerelationPiE身letHbetheweakpreferencerelationassociatedwith

Pi(fbr2&Z'EL,ZRiZ'ifandonlyifZ'=ZorZPiZ')Givenapreferencerelation

PiEPandasetL'EL,wedenotethebestelementofPiinL'byB(Pi,L')andthex-th

coordinateofB(Pi,L')byBx(PiL)

4AsetDCLis hensiveifzerO-COmDre

VZEL',VZ'EL,[O≦Z'二2-2'EL']

51nthispaper,Z’2ZmeansthatZ′>ZandZ'#ZiandZ′>ZmeansthatfOreachxEX,

A'〉を

isafimctionhomPntoZ.Dp6nition:

moP′〔。。ⅡDe5mtion:Avoting8chemefsatisnes-

V2EZ,ョPEP'suchthatf(P)=

if

suchthatnP)=Z

LetP-Pi×…×夕hEPn・Avoting8chemefis

P',ョiEN'&ョPiEPi8uchthatIPi,Pゴ)Pif(P),

Denmtion: ̄

ヨPE

manipulableonP' if

andotherwisefis nonmaniDulableon,′

DpfiTnition:_

VpE

AvotingschemefisdictatorialifthereisavoteriENsuchthat

,n,f(p)=B(Pi,Z)

旦旦且ユユi旦旦:Avotingschemefsatisnes

VxEx,vpEpn,minB-(p:,I

if

,、,mlnBx(Pi,Z)≦R(P)≦…Bx(Pi,Z)1

Remark:Goodwise-unanimityimphesunanimityandvotersovereignty. ̄

WewillconsiderthevotingschemesdennedbyspecibringfbreachxEXandeach

levelいOofxaclassXWE2Nof11winnmgcoalitions比suchcoalitionscan1ifbrceⅡ

thelevelofxtobehigherthan,orequalto,ikForexample,inmajorityrule,anycoalition

whosecaエdinalityisgreaterthann/2iswinningWerequirethatthebiggeracoalitionis,

thegreateritspoweris:WEプリ;t(い&W'。W-W'Ex(紗

プリR(4)of2NsuchthatDefmition: Oisasubset

aThisdeEnitionofasetofwinmngcoalitionsisdifIerentfromthatinSerizawa(1992)in

WE翼(い&WOW-W'EiIR(い ̄

De5nitiom:AUst(灘(い)xEX僻x({0}VxEX,VUk,4,ELx){0},A≦A'=Z(4)ユプリK(い

ifofBetBofwinningcoalitionBiBmonotonic

MonotomcityoflistofsetBofwinmngcoalitionsimpUesthatifacoalitioniB

winningfOrsomelevelいfgoodx,thenthecoalitionmustalsobewmningfbranylower

consumptionleveLInordertodiscussthevotingschemesdeEnedbyspecifyingalistofsets

ofwinmngcoalitions,wedehnemaquasivotingscheme1i.

isafimctionfromlntoL.Dennition:

De5nition:Aquasivotingschemefsatisnes ̄】Lif

VpE,n,f(p)EZ

AquasivotingschemeisavotingschemeifitsatisEesfeasibiUty.

7ifthereisamonotomcnstDe5njition:Aquasivotingschemefis

(塩(』k))xEX,LELx1{O}ofsetsofwinnmgcoalitionssuchthatVxEX,VいLxH0},VpEpn,&(P)≧(k={iENlBx(Pi,Z)≧pE漣(4)

neednotsatishestheconditionofPropositionlbelow.翼(剣that

磯鯛謡搬聯雛MH:澱lビii3lMil澱淫慨織鯛⑭iBnOn-reCtangular.

塗22§11坐:A66umethatfi6votingbycommitteeswithalj鹸(iiR((k))xEX,いェ({O}ofsetsofwinningcoalitions・ThenfsatisneBvotersovereigntyo、,′〔,nifandonlyif-

thenstsatishes:

VxEX,VいZx1{0},襲((k)*0and“刃K(を)

Weomittheproof,whichiBstraightfOrward.

Remark:PropositionlimpliesthatifvotingbycommitteessatisEesvotersovereignty,

thenitalsosatishesgoodwise-unanimity・ThusfOrvotingbycommittees,voter

sovereigntyandgoodwise-unanimityareequivalent.

Votingbycommitteesmaynotsatisblfeasibinty.

…pl且-1:SupposethatN={1,2},X={x,y},Z={(0,0),(1,0),(0,1)},

藁(1)=渚(1)={WENlWf0}LetP1andP2besuchthatB(P,,Z)=(1,0)3,dB(P2)=(0,1).Thenf(P)=(1,1)僧Z,thatis,fisnotfeasible

Proposition2belowprovidesthenecessaryconditionsonaUstof8et8ofwinning

coalitionsfOrtheassociatedvotingbycommitteestosatisfyfeasibility.、

型旦旦旦1119ユーユ:Letfbeaschemeofvotingbycommitteesassociatedwiththenst

(z((l[))xEX,tkELxl{0}ofsetsofwmningcoalitionssatisfymggoodwi6e-ummmjty・ThensatishesfeasibilityonlyiffsatisnesConditions(i)and(ii)below.

(i)ForanyxEX,andfbranyAEZx,雍(い=0

(ii)G…'@x'LM〔z1選,←,let(WE[Zx(し側昨Zy((_{x,y})ハZ(4-{x,y})TheⅢ

VWxExW,VWyE 琴(9),wxnwy#仏

R燈markCondition(ii)…:GivenL{x,y},eachcoordmateofwhichisintheprojection

ofZontheco…omdmgaDd`,sUcethefe殿ible8etZpamneltothex-yplane・IfUhandUi,

areinthepzojection8oftheslicedsurfaceZ(`_{x,y})omthex-agd…dthey-…

Z.…ively,but(A,U1,,L{x,y})iSnotfeasible,thenanytwoelementsofXt(い、。琴(Ui,)mu8th…non宅mptyintersectiom

ProofSinceCondition(i)istrivial,weproveCondition(ii)omy.

L…`X,L{x,,}。z1x,リッ(W‘[Zx(しMルZy(し{x,,})ハZ(し{x,,})WxE灘(⑨andWyE巧(;)Suppose,bycontradiction,thatWxnWy=q

DenoWk'=max{`IC''ELxl(いいZ(し{x,y})}and

ルーmax{(y'ELylWy')EZ((_(x,y})}LetPbesuchthaty

{ilB(Pi,Z)=((IC,いし{x,y})}=N1Wy,and{ilB(Pi,Z)=(い』i,,(_{x,y}}=Wy・Thengoodwise-umammityimplies:(1)L{x,y}(P)=し{x,y)WyE藩(,implies:

(2)、(P)≧UirSmceWxnWy=OimpUesthatN1WyユWx,WxE蕗(い、plie8:(3)&(P)≧Uk

Smce(Wl【Z(し{x,y})andZ(し{x,y))i…ro-compZehensive,itfbllow8企0m

(1),(2)and(3)thatRy(P)ビZ(f_{x,y}(P))ThatMP)EZⅡhiSc…dictsthefeasibilityoff QED.

Eエ92g§1119ユーユ:AssumethatX={x,y)Letfbeaschemeofvotingbycommitteeswith

thelist(潅凹)xEM【ELxl{0}ofsetsofwmnmgcoalitions・ThenfsatisnesfeasibilityifandonlyiffsatisnesCondition(i)and(ii)below.

(i)Forany\Zx,翼(tk)=OandfbranyZi,EZy,琴((i,)=O

(ii)LetZE[Zx×ZyMThen

vwXEHWR(4),vwyE堵(9),wxnwy#0

ProofSincetheproofofiIonlyifoIi8simnartoPropoBition2,weproveIoifuIPartonly,

ASSumethatthelistsatishesConditio、(i)and(ii).LetPE,nandZ=f(P)We

wanttoshowthatCEZ

Suppose,bycontradiction,that(1)“ZCondition(i)impnesthat(2)ZEZx×z

DenneWx鎚{ilBx(Pi,z)≧qandwya`{ilBy(Pi,z)≧U1,)ThenZ=f(P)imp1ie8that(3)WxE堪(い、dWyEjV(9)NowitfbUowsfromCondition(1),(2)and(3)

that(ii)implythatWxnWy#OThenfbriEWxnWy,B(Pi,Z)≧fSinceZiszero-comprehensive,(1)impUesB(Pi,Z)EZThiscontradictsthedefinitionofB(Pi,Z).HenceZEZ.QE.、

Zy.

0

ThelistinExampleldoesnotsatisfyCondition(ii)ofProposition3,since

(1)E,i;t(1)and(2)E藩(2)but(1)、(2)=0.

…121旦旦:SupposethatN={1,2},X={x,y},Lx=Ly={0,1,2},

Z=(Lx"Lyハ{(2,2)},andthatXt(1)=渚(1)={WENlWナルnd

Xt(2)=務(2)={WEl1EW)LetZE(Zx×Z,ハ((2,2))ThenZ=(2,2)ForanyWxEXt(2)andWyE渚(2),lEWxnWySotheUstsatishesconditions(i)and(ii),andtheassociatedvotingbycommitteesisfeasible.

壁巫21且-且:SupposethatX,LandZarethesameasofExample2,andthatN={1,2,3}

and蕗(1)=z(2)=琴(1)=iWi(2)={WEN|#W三2)IfWxE薦(2)WyE考(2),thensince十Wx+#Wy≧4and#N=3,WxnWy#0.ThusthislistalsosatisEesCondition(i)and(ii),theassociatedvotingbycommitteesisfeasible.

WenowdennethedomamsofpreferencesthatwewiUuseinthecharacterizationof●

votingbycommitteeaIngeneral,anagent,spreferenceonthepotentiallevelsofa

particulargooddepend8ontheconsumptionlevelsoftheothergood8,SeparabUityde5ned

below8ayBthatthepreferenceontheavajlablelevelsofeachgoodisindependentofthe

con8umptionlevelBoftheothergood8.Aweakerver8ionofBeparabiUtyi8

peak宅eparabinty,whichBaysthatthemostpreferredlevelofeachgoodiBindependentof

theconsumptionlevel8oftheothergoods・Astrongversionisadditive-8eparability,which

saysthatapreferencecanberepresentedbyanadditively宅epaエablefUnction・Givena

preferencerelationPiEPand2-xELざ,letZk(《_x)=Bx(Pi,{WLx)|UkELx})

ApreferencerelationPiEPis聖旦竺旦hlEifDennition:

VxEx,vq-x,AEL-x,v4,4ELx((k,(_x)Pi(4,`_x)-((k,(▲x)Pi(《i,魁)

DenotebyPSE,theclassofseparablepreferences.

ifpeak-SeDarableDefinition: AprelerencerelationPiEPis

VXEX,VLXEL証,ZX((_X)=Bx(Pi,L)DenotebylPSEptheclassofpeak-separablepreferences.

ifthereemBtBalistDe5mtion:ApreferencerelationPiE’is ̄

(UxLX-R)xEXofutiUtyfimctionssuchthatfOrallZandZ′

UPi′ ̄X:XUX(p>x:XU(いDenotebyPAStheclassofadditively-separablepreferences.

EL,

NotethatlAS〔PSEPPSButiffbreachxEX,Lx={0,1},thenPS=,PS, ̄ ̄

andbothnotionscoincidewiththenotionofseparablepreferencesofB,S&Z.

10

DeEnition:ApreferencerelationPiE-Pismonotomcif

Vx〔x,vL,[EyHxLA,いLx,゛(k'=((k,Lx)Pi(を',Lx)

DenotebylMtheclassofmonotomcpreference8.

ェlg且ユェェ:ApreferencerelationPiEPi8且118些匹且ょ旦旦if

VxEx,VL,[EL-x,VIMfELx,[(k<《t≦Zh[(しx)。r4>4≧zk(しx)] ̄W-x)PA'しx)

DenotebypSPEPtheclassofsingle-peakedPreferences.

Definition:APreferencerelationPiE,is些旦且旦二旦旦旦旦difPiispeak-sepambleandsingle-peaked

DenotePC=pPSnpSP

NotethatlASnPSP[PQA1sonotethatiffOreachxEX,Lx={0,1},then-

single-peakednessisautomaticanysatisEedThusiffbreachxEX,Lx={0,1},sincePPScoincideswiththenotionofseparablepreferenceofB,S&Z,sodoesPC,Westudythe

schemesofvotingbycommitteesonthedomamlASnPSPofadditively竜epalableand

single-peakedpreferences.

Although,ingeneral,quasivotingschemesdependonalltheinfbrmationcontained

inthepron1esofpreferences,someclassesofqUasivotingschemesdependonlyonpartof

thatinfOrmation、Votingbycommitteesdependsomyonthevoters'mostpreferredset・

Thispropertyiscalled11tops-only'1.

些型i旦旦ユ:Aquasivotingschemefis辺I…xif

11

Vp,p,Epn,

[ViEN,B(Pi,Z)=B(Pi',Z)]-f(P)=f(P')

FortheclassoftopB-onlyqua8ivoting8cheme8,weusethefOUowingnotation:

fZn-L

Theoremli8acharacterizationofvotingbycommitteesintheclassoftopB-onlyqua8i

votingBchemea

quasivotingschemef:Zn一LisnonmanipulableonthedomamP

Theoreml:Ifatops-only

(PASnlSP)nofadditively-8eparableandsingle-peakedpreferences,thenitisaquasi

schemeofvotingbycommittees

ProofAssumethatfZn-Lisnonmanipulableon(PASnPSP)n.ThestatementBofStep

l,2,3&4belowimplythatfisaquasischemeofvotingbycommittees・TheproofSofthese

statementsareinAppendix.

蝕旦E-l蝿,《,ZiandLiaresuchthatR(《,`_i)≧Aand2ix≧いhenfk(({,Li)≧Uk・

旦堕n-21fUk,<,Ziand(_iaresuchthatH((,(_i)≧Landいくx,thenを(({,(_i)≧を旦堕E-aGivenxEXandAELx,let

藁(Uk)={WENlヨ(↓i)iEN8.tい`1,…,Uh)≧(k&W={iEN|<x≧Uk))ThenWx(い…etofgeneralizedwmmngcoalitiona

且ムニE-4GivenxEX,((1)iEN,andtkELx,wehave:

R(4,,…,』h)≧“andonlyif{iENl4x≧A}EプリK(4)□

Q1gll旦互:Ifatops-onlyvotingschemef:Zn-ZsatisEesvotersovereigntyand

nonmanipulabilityon(PASnPPS)n,thenfisvotingbycommitteesassociatedwithaust

of8et8ofwinningcoalitionswhichsatisnesConditions(i)and(ii)ofProposition2.

12

3AnlmpossibilityTheorem

InSection2,wecharacterizedvotingbycommittee8inthecla88oftop8-onlyvoting

8cheme8bythemdomBofvoterBovereigntyandnonmanipulabinty、InthiB8ection,we

deriveastrongerreBulthomsuchamom8・UBingthere8ultsofSection2,wee8tablishan

impossibintytheoremwiththeadditionala8BumptiononthefeasiblesetthatnotwogoodB

canbeproducedattheirmammalfeasiblelevel8atthesametime・Thata8Bumptionho1d8

whentherearesomeExedresourcesthatarepubUclyownedandgoodsareproducedby

uBingtheresources.

Dehmtion:Letaset 翼(を)ofwinningcoalitionsbegivenVoteriENi…etovoterin

』RifiEnW・VoteriENisadecisivevoterinWE襲(4)

riENisadecisivevoterinZK(4)if{i}Ez(9Voter

ifheisavetoanddecisivevoterin藍(9iENis

旦旦且ユユユェ:Twoelements2andZ'EF(Z),2#('areadjace型if

V2,,EL,[(,,〉(min{』k,い)xEX-Z''EZl

…ユーLAssumethatvotingbycommitteesfsatishesfeasibilityand

goodwi8e-unanimity,andisnonmampulableon(,ASnPSP)n.LetZEF(Z)andxEXIf

therei8Z'EF(Z)adjacenttoZand4くいhe、翼(phasadecisivevoter.

Remark:NotethatM(Z)EZimpnesF(Z)={M(Z)}・ThustheconditionsZ,Z'EF(Z)

andk'くいogetherimplyM(Z)EZSoLemmalandthesubsequentresult8canbe

appUedonlytothecasesofnon-rectangularfbasiblesets.

ProofofLemmal LetZEF(Z),dEF(Z),andxEXbesuchthat

13

(】)へj⑰畳」胃自二。(P員(閨)鮮、八貯

留弓。mの》ごB骨昌三目》一言一(閨)謡(鈩)盲目二の畠言号。一日・

田の一望、〆ワの冒○庁←ず鷺

(吟)小、v李目」(廟)菫、m鎖($『)目。(。)ベミ、、輻三、)雪、【愚(中、)・閉具(『)(、、Ⅱ(旨昌■{か》紙箪})酎、〆・円肩口

(噌)ⅡU(⑪)鮴、、Ⅱ鮮、

(とⅡ↓(⑫)小管、Ⅱ牟田の二m三、)目已甸、(、シ⑫。、富)己ワの⑫巨昌吾鴛

(旨)江」m己で一{】}》国](弓」》函)Ⅱ鯲富・(臣)邸mz-君、)国邑(勺」》頃)Ⅱ傘ミⅡ傘(八$『)(届)舐mz-{】}》くい辞])田園(宅」》国)Ⅱ紙、(』』)国(宅】】国)Ⅱ〈Pロロ虹(、、、m国箏ユーロ(、§弾く辱》甸、田】閂、§・

望。←の菩菖ごHg&」mz)国(田」一頃)w亀、、.、。ごm○○二重函の-臣曰冒旨已ご》看の房圏⑩(]』)閂(旧)Ⅳ』』.

甸臣ユロの]ロロ自鈩

(』)時(届)Ⅱ↓(岳)く」mz-{】})国X(田])函)Ⅱ貯、八鰈》(』)時(屋)I(旨)炉(句)八鮓)

(埠函)》(】②)時(]『)Ⅱ↓(岳)(鶴田】兵甸)

国巨←]の一℃】、す⑩函房○け←ずP←(]垣)国(田へ】国)Ⅱ{、.目彦の■ず望(】。)秒pPp])》(画)一日己毎の函一彦皀

鮴(団】、)田‐』)Ⅱ傘、.シ三m○○已菖器-皀息己旦ご)(届)目』(】②)】曰己]超号P←ず門騨皇国寺]》

鮴(石】、》田‐山)Ⅱ紗、・目冨垣(9)門(甸一、)田‐』)Ⅱ』・(岳)時(』c)8昌国an冨皀○口ロ】餌己己昌号】]】ご・

C・国・ロ。

旧腕陶膳膳陣‐障師鈩鴎巨曰の吾自(■)ず円のPgH目』望)この己【。」の○一】○自国x望。[吾の詩麗】す]の、曾国C臣

餌冒。》 s̄p ̄ ̄グー

p ̄ ̄'

盾。 ̄

C□、-ン

l{」mzl国『(勺」】国)w傘、}Ⅱ雪、一{】}

ⅡU(]⑫)隼弓)八$雷す『(②))

Lx×Lyisnon-rectangularFurtherassumethat(2)votingbycommitteeBfsatisne8feasibilityandgoodwise-unanimity,andi8nonmanipulableon(PASnPSP)n.Thenthe

竃(…Zx)xEXhaveacommondictat.■.sets

且ニユユュエ上:Assumption(1)saysthatnotwogood8canbeproducedattheirma。。mal

feasiblelevelsatthesametime.

2エggfBy(1)andLemmal,eachset蕗(maxZx)hasadecisivevoterix・

LetxandyEX,Weclaimthatix=iySuppose,bycontradiction,thatixナiy、

ThenletPbesuchthatBx(Pi,Z)=maxZxandBy(Piy,Z)=maxZyTheconditionX

{ix}EXt(maxZx)impUesthat《c(P)=maxZx,while{iy}E藩(…Zy)impnesthatfi,(P)=…ZyBy(1),thiscontmdictsthefeasibintyoffSoix=iy

Notethatalsoby(1),Proposition2impUes:

VWxE薦(maxZx),VWyEXt,WxnWy#USettingWy={ix},wehave

VWxE落(maxZx),ixEWxSoixi8adictatorin裏(maxZx)

Therefbreeach恵(maxZx)hasadictat・rButalsoby(1),Pmpositi・n2impliesthatthesedictatorsarethesamevoteL QED.

E[gEg§jllgユーム:Assumethatfbreachxandy,theprojectionZxyofthefeasiblesetZonLxxLyisnon-rectangular,Furtherassumethatvotingbycommitteesfsatisnes

feasibintyandgoodwise-unanimity,andisnonmanipulableonthedomain(,ASmPPS)nofadditively器eparableandpeak-separablepreferencesThenthereisavoteriENsuch

that

(i)fbranyxEX,fbranyLEZxl(0},iisadecisivevoterofプリH(4)

15

開陳仁隠、冒吊す]苦の曰。■○一○日。】ご己屋訪○崗駕誌。{ヨロ日pm8興巨】C畠](】】)旨】已岸〔輯(一)》ニョの

冨冒:已冨:ご「(】】)辱いの目自己》晉露の冨謡(目賀国H)》Hmx臣弓:8月ロ8日・曾◎二

円肩口耳苦①日日。←CBBご◎安房房一一忽.一の亘】画」の曰巴弓の曽舜の由SHP目昏門の闇屋鮴、函縄・画◎

蓋『の冨弓の。已罠一。吾○一コ吾輿晉の弓。←①旦旨P『⑩一。ご○←⑦H昏息騨昌禺自」ず:PS鮨》

昌口再禺(酌)八鈩肪目胃国H・

晋君○mの)ごg己HP已昌C目)吾菖晉②『の胃のHm※)鮮)巨口匂〆(国)八鈩川目貝国然自P

二言〆、錦(鮮)圏の三富茸【雪済.、旨の目弓〆(宅)八炉》吾曾の】翼、m国(国)召・三富←鮴、八小・

田巴勺彦の呂呂菩鷺ヨーミHⅡ{]|国(甸」)田)Ⅱ辱}牌己君HⅡ{」|国〆(勺」)国)Ⅱ貯}・盟昌&】画騨

』のB、葛①ざHのP呂望、滉凹且ざHの凹号中、国『》P呂巴員の】扇君x】目ご房、一言三m雪乏『K)鴬

蓉巨◎劃「賀意一壱)w閂、・句巨昌の『)雪Hm謡(鮨)言旨の、言農鈩(石)Ⅱ酢V鮮、・二房兵弓)Ⅳ

』・堕冒。①(、m国(国)】要「のザP『のP3員H且】○詮Cpg弓の諒酔巴亘豈]。【閑・国の曰○の』mご『H》餌■⑨二頭湧

く§ぐ。一円目謡(許).p・固已。

哨贋値随旧r呼尹留巨目①吾筥昏Hの餌gH目』]》曽の目。」の○二.ロ国〆]○重房諒麗」匡⑩器一頃。■

■Hxい]]mpgl尉○冨信已胃。句日昏のH麗冒目の菩呉餌一○冨○巳]己○一百m⑰○房目の閉園ご島の⑫『○一円、。『円国、具望目」】、ロ○日目己や已号]の○口吾の。C目巴目(、シ、。、四句)唇。【且&←ご色]-諾ご胃昌一の

目。⑫旨、]①-℃の異の。胃の葡甸の月のm・自営の口昏の息】、餌『○一の旦冒昌一富》ず円冒]

田、(、シ、。尅印宅)田)

P膳恒に僧隅如巨②。&ごC回3言のP麗冒口宮】C易。円周房○円の目凹)麗冒目の昏鷺昏吋gsHm〆》

ロ曰口吋H(国)ⅡP豈昏菖當》罵切○日の、○○。】、己【。』巨口の曰菖】富目凹凶目こ]の『の】》吾のロロCO言RmCC』

】)好、〆]炉(田)w田渕(田一》国)】】)ベxm〆》一目已包甸滉(国)M団榴(田】)国)ⅡU鮪(田)Ⅱ■〆(弓】》国)}

弓昏の日の目]Pロロ田8℃C昌一】○口』一○mの一彦のH】曰己]】弓臣のonの目幽.

(》】)言曽]×m〆》言②這鈩ご目弓門(函)八鮮貼目貫国H》三:曰目鷺自己鋸(炉)。

。、

。。■圏ロ円固H閏曰や]の閨・田思閂すの『。一一ロ、ず望ロ○日ロ目諄の①■P露。。旨←⑩』雪ヨーけ←庁⑪辱黒・匹口。①

肴肩口国(田】》園)Ⅱ(PC)餌ロ已国(弓噌頃)Ⅱ(』》ロ)】兵団)Ⅱ(揖己)》函C宙画■。←曰○菌一○塾些・団員『

愚言面⑩函詩麗ご】]】ご目。『○一円、。『の円四m目ご》目已】匝已○日ロP巳已已吾]の。■(、尹切二、⑫勺)ロ・日ロ畠

pPpすの胃。q巨○の』・目冨口苦の『○一百m胃言目①閂目冨←ずの昌○苗8国巳.

号の昌曰淳○目巳伊圏巨目已》Cロ。【CCB臣胃]旨百日壱⑩ロ患巨のざ円昌黛鷺C勗亘□.

旨号巨、已餌己曾》二石の切言&&已冒①已巨すぼ○mg烏の8口◎日】の⑰量晉詩麗】亘屋]8口異同圏ロ訂.

。p苫①。。B匿自○門鯉」曰←ご巴望1土の己胃騨》]の餌ロロ圏信一①-ロ①昌呂官の訂円のロ○畠》毛》の】」の具冨&苦の

一○息-C己]『○一旨、函呂の曰(溺君「亘呂麗爵②ごC一閏、。『の【の】、pご目。■CpBP昌勺已由亘巨】・雪の

(出冨ケ]】号のロ晉鷺目○崖『。←旨mms①目の、房湧くの凹弓の昌已○頭「の]餡巨]ごC←のユロニのロP冨円巴8mの肴ケ①曰

:量『。□臣す厚cmoamC圏ず①官呂目の□鴛晉の一目ロ買砕曰臣涛麗】す】の]の『の]由巴日昌一P目のCg}豊・

甸冒晉曾BCHの晉目己。弱『⑩『辱』『○一国ワの8日の、餌島○一呉○ユロニ①ご目○国}⑤鶴の看戸のロ】[碗。Bの、。。」

旨官。」言の皀鷺】訪日騨邑曰巴】の急])善のロロ○○二円、。。』&皀官。』臣、の。。

UBC[。【曰苣の。吊曰

(】)鈩(ず庇)w鮮》胃(』)へ{瀦w鮮

円冨曰ワ電(⑬)】曽曾の】切宅一m(、シ函。、⑫勺)冒呂晉菖(酉)国(勺】》国)Ⅱ閂一目』(←)く『》ベ》》[》Hw鮮V(xl(旧】(}

(可・尉関圓已】の》S8mの冒岱&葺くの]鐘上の己閂昌の目已冒函]中古の異&官の膏の貝の

旧】、(、諺、っ、亀)吊官の画の昌の」ごP]堂(己忌田望-当)]mx目&吾皀

一○Cロロ巨巴。■

■HCC[。[叩一m己

奮巨目の言壹貯上》({騨巨距胃の目・亘宣

シ石田固三己閂〆

へ]

□・郡川(ぶ《ざ鮴

三一③冒三裳((、》)官鐵(、[)白・由.(釘(誓一虜(虹《彗星白目三富亘冨日ロ・ロ((、魚)台

([I(湯日×樅)V’($)浅□-([+や)門P|《門目粋$ア《H升浅シ宮甸

筥》v鞭Ⅶ二鶴》{(郡‐潔》)「(料鋤一N(鞭)澱PX白Ⅶ鞭Ⅶ昌》増

苗二二○扇×罠(唾T-謁自缶P)重『⑤勇二己①旨麗の員留(凸、色巨画くq)四㎡の。p巴昌①己で①望⑤①曰-①[四目堕已曰飼①[二国飼口の噸1門[①倉碧ロロ両ロ⑤①聟固《。【曰目甸滉。H○四)

{(虹一害百四(1$V溌傍}《(ン(、》)己月》Ⅱ(国一百曲)囚(為)篇二9局(四mq巨切くい)し『凸砦①思量((【)門ムロの毎日

。x》八騨言)剣邸Ⅲ(釘(》)醜(、[)

諸昌目昌麗起・{{敏MH》’

ロ・轍川(。(}》)醜三一・日苗二《(『)ご目([)宣言臼

(。←曹宮国(。《}曽舅・月言冨宣冨日目・ロ《(面)釘

([-(浅目蹴門)v’(や)門P-([+や)閉P一・湧日一$シ冒甸涕莨ア勺目

”州附M一鯛‐艸肌Ⅲ‐測一‐(二

.(ぷ)潔山、凄」審三:ご目』房の参三。』

匡貰}Ⅱ二割釧川($《…{[『)出・苫産山『(》)mlz芯[《×白山鍜己局〆wxpg己

{轍川X》|z岩}Ⅱ三(ト)已冒騨川(手…([『)単(②)

ご的二一二○.函の閂“

・園山(堵I〉》(×函禺曾目)苗二一二9.m程

三三目、宅石(》)①局①』の三《(ぷ)灘四三台

四三参・畠:ご月影の参三C二超($)灘山彦

川($《…《[『)出・當宅『(》)1|屋山夢}Ⅱ(ぷ)灘

00円

-J.

』』一、』安し{》『(H1》{》《x国H⑤pH)

、1割八「》(箪巳剣)八

℃目⑭}》《》《$篇三①日冨里

①四巨漢閏①二一。

や》Ⅱ》

.恩3日)

玲二産出(}》)ぜ■昌臼己。

-テー、、-》①閂①二生←

餉口①一m}C」○○肖由

薗巨の一m}。]○○出凸

侮恒b償鳫‐陣原曙トト盟月①吾の一一○昼]盛一口胃一ぽ。】身ケ望曾の』&昌一]○回。[

諜一押碍)w鮓》言且mop-匠のg丘円彦顛回。》君彦

輔(拾)…》堵))wか.吾

zgのど(『)》肴の冨弓①、{⑰)言、Ⅱ{』mzl毎{Hw鮓}・

田の←(《」))】mz》」Ⅱc》】》…》ロケの、巨⑤面一彦鷺(《。))】mzⅢ(《)】mzPp』

昏旦Ⅱ】》…一口》《」)Ⅱ一一一一許←洲】(の壽言Bご旨s三目冨一昏昌】」》鮪(酷一)…》お))w鮨・二言」‐二(・)ふ(《}一)…》僻。))w鈩薑:鮴(鵬T一):》今』))w好・壽。

田の←(少)…》$)m頃曰冒』言h国富豊・亘言こぐⅡ{一m二一〈Hw鮴}m鋸(貯).この

毛自鷺:冒買冒鯲(鳧忌…少)w貯・二言。&且】。:[謡(無)》←盲の胃の(《)】m雪圏・亘蔓

(旨)鮴(《]…》よ)w鮓P己(旨)江】mz)(《汁w鈩介l《xw鮮)■の一(《」))】mz》」ⅡP】)』》…]ロケの旨⑤彦一彦鷺←。)Ⅱ(({)示国②ロ』

ず、」Ⅱ』》函)…》回)《」)Ⅱ|》一一ぽ》円汕】》の.この皀凰日す]亘冒宮言一言巴]]》鈩(亀{一)…》全))w炉.ご二目」ⅡPす](9)》

湫董》慈順鵠一朏竃馴師鷆篝奪璽』課

態)蕊満一M窯蕊鞠瀦鋪)獺一一篭灘薫鯛厘一一

己PH←。p胃留。

(⑫)】目ご]]三、m験(鮨)・ロ

zⅡ(亀{)】mごま「の冨己の“(垣)津(虫》…》よ)w鮓・(、)目』

Ⅱザ。、。ご窪の亘.】一二・雪「鷺蔓鈩(串』)…》宅))wか.)》ご理のご】》炉((一一)…)品」))w鮮・円冨Hの召局さ吋邑」一

函回国固函回国○因、

《。

謡(渉)》一二の胃。。[善の二盛一

Barbera,S,,HSonnenschein,andL・Zhou(1991):I1VOTINGBYCOMMITTEES,Ii

Econometnca59,595-609.

Bazbera,S,F・Gul,3,dB・Stacchetti(1991):IIGENERALIZEDMEDIANVOTER

SCHEMESANDCOMMITTEES,Iomimeo・

Bazbera,S・andMatthewJack8on(1991):I1ACHARACTEmZATIONOF

STRATEGY-PROOFSOCIALCHOICEFUNCTIONSFORECONOMIESWITH

PUREPUBLICGOODSII,DiscmBionPaPerNO、964.

Border,MinOandJSJordan(1983):ⅡSTRAIGHTFORWARDELECTIONS,

UNANIMITYANDPHANTOMVOTERSII,ReviewofEconomicStudieB,153-170.

Gibbard,A(1973):I1MANIPULATIONOFVOTINGSCHEMES:AGENERAL

RESULTII,EconometIica,40,587-602.

LinZhou(1991):IiIMPOSSIBILITYOFSTRATEGY-PROOFMECHANISMSIN

ECONOMIESWITHPUREPUBLICGOODSII,R2FiewofEconomicStudie8,107-119.

Satterthwaite,MA.(1975):I1STRATEGY-PROOFNESSANDARROW'S

CONDITIONEXISTENCEANDCORRESPONDENCETHEOREMSFORVOTING

PROCEDURESANDSOCIALWELFAREFUNCTIONS,'1JoumalofEconomicTheoIy,

10,187翅17.

Serizawa,S(1992):I1EXTENSIONOF'VOTINGBYCOMMITTEES'TOA

MULTIPLECONSUMPTIONLEVELSoI,mimeo・

Sprumont,Y、(1991):IITHEDIVISIONPROBLEMWITHSINGLE-PEAKED

PRnmaRENCES:ACHARACTERIZATIONOFTHEUNIFORMALLOCATION

RULE,IIEconometrica,59,509-519.

Thomson,w・(1990):I1CONSISTENTSOLUTIONSTOTHEPROBLEMOF

FAIRDIVISIONWHENPREFERENCESARESINGLE-PEAKED,IIURmimeo,1990,

JournalofEconomicTheoIy,fbrthcoming.

20

OSAKAUNIVERSITY

ThelnstituteofSocialandEconomicResearch

DiscussionPapers

CharlesYujillorioka,、ThelmpactoftheAgeStructureofthe

PopulationontheHouseholdSavingRateinjapan:ACointegration

Analysis.■Decemberl992.

No.287

No.288AtsushiTsuneki. ̄ANewlnterpretationofHaroldHotelling・sProofof

theOptiIIlalityofMarginalCostPricing. ̄Februaryl993.

No.289AtsushiTsuneki,pTheMeasurementofWastewithNonconvexTechnology,

Februaryl993.

HajinleOniki,嵐OntheOptimalSizeofEconomicOrganizations:

TheBenefitsandCostsofCentralizationandDecentralization,薄

Februaryl993.

No.290

No.291KazuyaKamiya. ̄OptimalCostA11ocationRuleinGeneralEquilibriuln

Models,衝Februaryl993.

No.292SajalLaMriandPascalisRainondos,、OntheCorrectionofTrade

DistortionsinaSmallOpenEconomy, ̄Februaryl993.

No.293JunIritaniandKiyoshiKuga,吟AlmostUniformCommodityTaxation

Doctrine-EquilibriumandEfficiency-・pMarchl993.

No.294KazuyaKamiya,ロOptimalPublicUtilityPricing:AGeneralEquilibrium

Analysis,園Aprill993.

No.295HajimeMiyazaki.、Employeeism・CorporateGovernanceandthej-Fir、. ̄

May1993.

No.296AtsushiYoshidapAmemiya,sPGLSforNonlinearTwoErrorComponents

Models,pMayl993.●

No.297AtsushiTsuneki,・Shadow-pricinglnterpretationofthePigovianRule

fortheOptimalProvisionofPublicGoods,菌May1993.

WuJiapei・画MacrocontrolistheGuaranteeoftheDevelopmentof

MarketEconoIny-ObserveChina・sMarketEconomyfrontheAngleof

Japan・sMacrocontrol, ̄May1993.

No.298

No.Z99MototsuguShintani, ̄ExcessSmoothnessofConsumptionin」apa、, ̄May

1993.

Nq300AtsushiYoshida,。Durbin-Wu-HausmanTestforNonlinearTwoError

ColnponentsModelsRobusttoHeteroskedasticity,画junel993.

No.301DonaldW、Katzner.・TheLocationofDecision-MakingintheFirm,

junel993.

No.302 TatsuoHatta

theJapanese

Julyl993.

andNoriyoshiOguchi,TheNetPublicPensionDebtof

Government. ̄(inJapanese「日本国政府の年金純債務」),

No.303WilfredJ・EthierandJamesRMarkusen,PMultinationalFirms,

TechnologyDiffusionandTrade, ̄August1993.

No.304WilfredLEthierandHenrikHorn,鰯Results-0rientedTradePolicy,鯵August1993.

Nq305FumioOhtakeandCh…LesYujiHorioka.、SavingMotives,厨(inJapanese「貯蓄動機」)。August1993.

ChinLim,画ErosionofInternationalPublicGoodsandThreatsand

ChallengesFacingtheAsia-PacificEconomies,鴬August1993.

No.306

KiyoshiKuga, ̄FamilyExpendituresasOutcomesofReciprocalCaring, ̄August1993.

No.307

CharlesYujiHorioka,”lsJapan,sHouseholdSavingRateReallyHighT

Septemberl993.

No.308

ChikashiMoriguchi,”Japan・sMacroeconomicPo1icyandJapan-US

EconomicRelationsDuringtheEighties,“October1993.

No.309

DonaldW・Katzner,WesternEconomicsandtheEconomyofjapan,”

October1993.

No.310

MototsuguShintani・同CointegrationandTestsofthePermanentlncomeh

Hypothesis:japaneseEvidencewithlnternationalComparisons,

Novemberl993.

No.311

HajimeOniki,Tae

pTheProductivity

Telecommunication

HoonOumRodneyStevensonandViminZhang,

EffectsoftheLiberalizationofJapanese

Policy,原DeceHlberl993.

No.312

HajimeOniki,鰯OnaDesirableOrganization

lndustryintheAgeofBroadbandNetwork,鰯

ク産業としての電気通信:広帯域通信(BISDN)

織」),Decemberl993.

No.313 oftheTelecommunications

(inJapanese:「ネットヮー

時代における電気通信産業組

Nq314KiyoshiKuga,PBudgetConstraintofaFirmandEconomicTheory,w

Januaryl994・

Nq315ShigehiroSerizawa,園Extensionof・VotingbyCommittees,toaModel

withMultipleConsumptionLevel,衝Januaryl994.

ShigehiroSerizawa.”AnlmpossibilityTheoreminPurePublicGoods

EconomieswithFeasibilityConstraints:VotingbyCommitteesin

Non-Rectangu1arFeasibleSets, ̄May1992,revisedJanuaryl994.

No.316