; TeX output 2004.02.24:1206 KE&:9color push Blackhtml:color push gray 0 color pop html:G color pop3ڍ:9|&html: html:.MTvkcolor push Black color popZVg5PSfile=logo129.eps llx=0 lly=0 urx=99 ury=16 rwi=28807獍color push Black color pop!
N q cmbx12PZartial
ComplementsandT=ransp osableo~ qDisp ersions.s獑vvXXQ ff cmr12Clark/KimbdCerlingandJohnE.Brown ˕Department/ofMathematics University/ofEv7xansville 1800/LincolnAvenue iEv7xansville,/IN47722 dUSA 0)html:color push cmyk 0 1 0 0߆T ff cmtt12ck6@evansville.edu html: color pop)
č vcolor push Black color pop r"V
3
cmbx10AbstractMƍlcolor push Black color pop-̻K`y
3
cmr10SuppMoserb>
3
cmmi10A
=!",
3
cmsy10fa(i;1j v)g;fori0andj0;isthedispMersionofastrictlyincreasing
_sequenceQzr O=q(rM(0);1r(1);r(2);:::)Qzofin!tegers;whererM(0)q=1Qzandinnitelymany_pMostiv!e+integersarenottermsofr":,VLetR+ӾbMethesetofsuchsequences,2anddenet_on2}RH%b!ytrM(n)!=a(0;1n)2}forn!0:2}LetFӾbethesubsetofRH%consistingofsequences_rD?satisfyingattr{=:r": ¾ThesetF{isc!haracterizedintermsoforderedarrangements_ofXn!umbMersi+j vM.NsFeorxedi0;thesequencea(i;1j v);forjY1;isthe(i+_1)stFpartialcomplemen!tofr":CentraltothecharacterizationofF"istheroleofthe_families~'ofgurate(orpMolygonal)n!umber~'sequencesandthecen!teredpolygonaln!umber_sequences..2Finallye,riteisconjecturedthatforev!eryrinR;theiteratest|{Y cmr8(22 cmmi8m)@rcon!verge_tofasequenceinFV.6ghtml: html:*N G cmbx121(Inutro =ductionb#XQ cmr12Let+g cmmi12N2denotethesetofpSositivreintegers.
?SuppSoserh=(r(0);r(1);r(2);:::ʞ)isastrictly increasing8/sequenceofinrtegerswithrS(0)H=18/andinnitecomplementinN :p^LetrS2K cmsy8 KbSethesequenceobtainedbryarranginginincreasingorderthecomplementofrS. #Let ?a(0;0)UR=1;a(0;1)=rS(1);andinductivrelyV, a(0;j ӹ)UR=rS(a(0;jW{,!",
cmsy10 1)) :9color push Black 1G color pop *KE&:9color push Blackhtml:color push gray 0 color pop html:G color pop3ڍ&:9for`j%UR1:Thesequencea(0;j ӹ);forjUR1;isthe1@ cmti121st#Spffartialcomplementof`rr:FVorarbitrary :9i0; dsuppSosethatthesequencea(i;j ӹ)forj]ɹ0isdened,-andleta(i>+1;0) dbSetheleast:9nrumbSerinN+thatisnota(h;j ӹ)foranry(h;j ӹ)satisfying0URhiandj%UR0:PDene html: html: a(i+1;j ӹ)UR=rS(a(i+1;jW{ 1))color push Black(1) color pop:9forjI¹1: VInthisinductivremanner,anarrayA¹=fa(i;j ӹ)g;fori0;jI0;isdened. :9Itiscalledthedispffersion̹ofrS2: P8(In[3],zwherethetermsdispSersionandinrterspersionare:9inrtroSduced,thePindexingisbyi~1;j+o1Pinsteadofi~0;Pj0:) 2FVorPxedi~0Pand:9vXariablej%UR1;thesequencea(i;j ӹ)isthe(i+1)st35pffartialcomplementofrr:-TVosummarize,GgthedispSersionAofthecomplemenrtofr;henceforthdenotedbyA(rS);:9consistsvofrstcolumnr`togetherwiththetermsofrS2 dispSersedinrtopartialcomplements;:9rorwiofA(rS)consistsofrsttermr(i)follorwedbythe(i(+1)stpartialcomplemenrtofrS.:9It.Gissometimesdesirabletousearecurrencefora(i+1;j ӹ).Gthatrefersdirectlytorr:
\TVo:9devrelop9sucharecurrence,foranystrictlyincreasingsequenceinN ;let#(t(n)m):9denoteؙthenrumbSerؙofnS1ؙsatisfying
(n)Sm: 2ClearlyV,#(h)ؙistheleffastmsatisfying:9#(t(n)URm)=h:PNorwtake
On=URrS2:andh=a(i;j ӹ)toseethatፑ\2#a(i;jW{+1)UR=?least"HmsatisfyingDt q G cmr17(?#(rS(n)m)=a(i;j ӹ))X<::9As#(rS(n)URm)+#(r2(n)URm)=m;wreobtainRѲhtml: html:a(i;jW{+1) H= V3least сmsatisfying(?m #(rS(n)URm)=a(i;j ӹ)) H= kmin 5!", G
cmsy10f mUR:max3|fn:rS(n)mg=a(i;j ӹ) m+16!", ff
cmsy10g34:color push Black(2) color pop:9ThisrecurrenceisespSeciallyusefulincodingcomputerprogramsthatgeneratedispersions. -LetZORsbSethesetofsequencesrݹdescribedintherstsenrtence.
%Lettrݹdenotetherst:9partialEcomplemenrtofr;andletFbSethefamilyofsequencesrrӹforwhichttrm=t:>A7main:9ob jectivre93ofthispapSeristocharacterizeFintermsofsequencesassoSciatedwithmultisets:9oftheform html: html: