Professional Documents
Culture Documents
S66 PROBLEMS #5
Spring 2003
31
135. [1.5] plane binary trees with 2n + 1 vertices (or n + 1 endpoints) (A
plane binary tree is a binary tree for which every vertex is either an
endpoint or has two children.)
136. [2] plane trees with n+1 vertices (A plane tree is a rooted tree for which
the subtrees of every vertex are linearly ordered from left to right.)
r r r r r
r r r @ @r r @ @r r r@@r
r r @ @r r r
r
137. [1.5] lattice paths from (0, 0) to (n, n) with steps (0, 1) or (1, 0), never
rising above the line y = x
r r r r r
r r r r r r r
r r r r r r r r r
r r r r r r r r r r r r r r
138. [1] Dyck paths from (0, 0) to (2n, 0), i.e., lattice paths with steps (1, 1)
and (1, 1), never falling below the x-axis
139. [2.5] (unordered) pairs of lattice paths with n + 1 steps each, starting
at (0, 0), using steps (1, 0) or (0, 1), ending at the same point, and only
intersecting at the beginning and end
r r
r r r r r r r r r r
r r r r r r r r r r r r r r
r r r r r r r r r r r r r r
32
140. [1.5] n nonintersecting chords joining 2n points on the circumference
of a circle
r r r r r r r r r r
r r r r r AA @ @r r @ @r r
r
r r @ @r r @@r Ar r r r r
141. [2] ways of drawing in the plane n + 1 points lying on a horizontal line
L and n arcs connecting them such that () the arcs do not pass below
L, () the graph thus formed is a tree, () no two arcs intersect in their
interiors (i.e., the arcs are noncrossing), and () at every vertex, all the
arcs exit in the same direction (left or right)
143. [1] sequences of n 1s and n 1s such that every partial sum is non-
negative (with 1 denoted simply as below)
111 111 111 111 111
33
147. [1.5] sequences a1 , a2 , . . . , an of integers such that ai 1, all partial
sums are nonnegative, and a1 + a2 + + an = 0
0, 0, 0 0, 1, 1 1, 0, 1 1, 1, 0 2, 1, 1
1, 1 1, 1, 1 1, 1, 1 1, 1, 1, 1 1, 1, 1, 1
153. [2] permutations a1 a2 an of [n] for which there does not exist i <
j < k and aj < ak < ai (called 312-avoiding permutations)
34
154. [2] permutations w of [2n] with n cycles of length two, such that the
product (1, 2, . . . , 2n) w has n + 1 cycles
155. [2.5] pairs (u, v) of permutations of [n] such that u and v have a total
of n + 1 cycles, and uv = (1, 2, . . . , n)
156. [2] noncrossing partitions of [n], i.e., partitions of [n] such that if a, c
appear in a block B and b, d appear in a block B 0 , where a < b < c < d,
then B = B 0
158. [2.5] nonnesting partitions of [n], i.e., partitions of [n] such that if a, e
appear in a block B and b, d appear in a different block B 0 where
a < b < d < e, then there is a c B satisfying b < c < d
35
159. [2.5] nonisomorphic n-element posets (i.e., partially ordered sets) with
no induced subposet isomorphic to 2 + 2 or 3 + 1, where a + b denotes
the disjoint union of an a-element chain and a b-element chain
r
r r r r
r r r
r
r @ @r r @ @r
r
r
160. [2] relations R on [n] that are reflexive (iRi), symmetric (iRj jRi),
and such that if 1 i < j < k n and iRk, then iRj and jRk (in the
example below we write ij for the pair (i, j), and we omit the pairs ii)
{12, 21} {23, 32} {12, 21, 23, 32} {12, 21, 13, 31, 23, 32}
161. [1.5] ways to stack coins in the plane, the bottom row consisting of n
consecutive coins
m
m m mm mm
mmm mmm mmm mmm mmm
{(0, 0), (1, 0), (2, 0)} {(0, 0), (1, 0), (1, 1)} {(0, 0), (1, 0), (2, 1)}
{(0, 0), (1, 1), (2, 1)} {(0, 0), (1, 1), (2, 2)}
164. [3] positive integer sequences a1 , a2 , . . . , an+2 for which there exists an
36
1 1 1 1 1 1 1 1 1 1 1 1 1 1
1 3 2 1 5 1 2 3 1 3 2 1 5
2 5 1 4 4 1 5 2 2 5 1 4
3 2 3 3 3 2 3 3 3 2 3
1 5 2 2 5 1 4 4 1 5
2 3 1 3 2 1 5 1 2
1 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
a1 a2 a3 an+2 a1 a2 an1
b1 b2 b3 bn+2 b1 bn2
r1 r2 r3 rn+2 r1
1 1 1 1
(6)
r
such that any four neighboring entries in the configuration s t sat-
u
isfy st = ru + 1 (an example of such an array for (a1 , . . . , a8 ) =
(1, 3, 2, 1, 5, 1, 2, 3) (necessarily unique) is given by Figure 1):
165. [3] n-tuples (a1 , . . . an ) of positive integers such that the tridiagonal
matrix
a1 1 0 0 0 0
1 a2
1 0 0 0
0 1
a3 1 0 0
0 0 0 0 an1 1
0 0 0 0 1 an
37
is positive definite with determinant one
Note. A real matrix A is positive definite if it is symmetric and every
eigenvalue is positive; equivalently, A is symmetric and every leading
principal minor is positive. A leading principal minor is the determi-
nant of a square submatrix that fits into the upper left-hand corner of
A.
131 122 221 213 312
166. [2] Vertices of height n1 of the tree T defined by the property that the
root has degree 2, and if the vertex x has degree k, then the children
of x have degrees 2, 3, . . . , k + 1
38
170. [2] n n N-matrices M = (mij ) where mij = 0 unless i = n or i = j or
i = j 1, with row and column sum vector (1, 2, . . . , n)
1 0 0 0 1 0 1 0 0 1 0 0 0 1 0
0 2 0 0 1 1 0 1 1 0 0 2 0 0 2
0 0 3 1 0 2 0 1 2 0 2 1 1 1 1
39
174. [2.5] The Narayana numbers N (n, k) are defined by
1 n n
N (n, k) = .
n k k1
40
!#"%$'&)(*(,+
/- .1023452769892):;8;<=<;<?>A@CBDFEHGJIKML,NOKMPQN'RTS!UVLXWYI5KOZ=[]\^KMU'4#_a`cbd>eMfhgQi)jMk,.l2nm]g
jYop.1fq0QrtsQuvgQ0^mpw).1xCjMyQyzj;{neMf|0^iv.lm]}O0^.=~.1y^gl89X8;<;<;<J8zB7.;jMieX==uy^y^mp}v~.JjMJ0zot{ne}v1.M
mt0zi2v/.=}O0^y^m].1gFm]}0^iv.0ziy^e vgQuvi0zi)j!0F.1M.=yQ{Yy^e jM}vx=eMo]uv}Ym]gm]}v1y^.=jMg^mp}v~vD
E}.9vjkvop.ceMfjM}_a`cbefgQi)jMk,.4v8zv8>m]gF~Mmp.1}O{
; <
. y^mp0^.TfeMy0ziv.}auv,.=yeMfh_a`cbeMfg^i)jMk,.2%D
-/.10c,.jgQau)jMy^.lef|0ziv.` eMuv}v~Yxvm]jM~y^jMeMf2/7xv.1}veM0z.1xC2/DbFiv.)SS
[]\JLXWMIq%4T>eMfdm]g0^iv.}auv,.=yeMfdg^au)jMyQ.=gxvm]yQ.=J0zop{
0zen0^iv.y^mp~iO0leyxvmpy^.110zot{
,.=ope %v1euv}O0zmp}v~lmt0zgQ.=opf%eM}v=.D f34Q8X>c4m5D.MDtm]gAm]}Y0zi.c#0ziyQe jM}vx0zi
1eo]uv}eMf4q0ziv.c` euv}~xvm]jM~y^jMeMfz>2T>9v0ziv.1}C%4T> 32)2)A DAbFiv.
iveXeo].=}~M0zivgeMf489V89>jMy^.~mt.=}O{
6 5 2 1
3 2
2 1
x ;: 6 :=D bFi.=}h4B>Am]gF.=au)jo0zel0ziv.}auv,.=y
efvjMo jM}=.=x0zjMvo].=jMuV4#jMgxv.Jw)}v.1xmp}0^iv.CkvyQ.1Xm]eugky^evop.=>eMfg^ivjMkT.
4B 8zB X8;<;<;<18;>JD
RTS UWVYX 0/0ziauvg/feopo]e gTfyQe0^iv.|kvyQ.1Xm]eug/kvy^eo].=0zivj0h4B>|3 L )6
X:
6NM D
L dvm sQ.=10^mpM.|kvy^eXeMfXeMfa0zivmpgxvm 1uvop0y^.=gQuvop0 euvopxcT.j}mpky^.=gQg^mt.jMivmp.1M.Jr
.=}O0=D4bFiv.1y^.djMyQ.da}ve }vm sQ.110zmt.FkvyQeVefg=avu00zi.1{jMyQ.FfjMyhfy^eeOXm]euvg
.J.1} iv.1}0zi.m sQ.=J0zmpe}m]gFxv.1g^1y^m],.=x7D >
XD4
>-/.1 0 ;G3B8^B 8zB V8=<;<;<=8=/ <jM} x Y3 :7 D .Jw)}v.
d3V4N698;<=<;<=87> B = ;G3Y?A?A? !!a8
i .=y^."=3 4^8^>jMgm]}0ziv.kvyQ.1Xm]eugkvyQevo].1DK+)ey.JjMkvo].# 3
V4 89V8=>J84#V8;8>9aDbFiv.=}
6 O3: ?A?A? c&
3 p<
L
! M #$ %
+)eyAm]}vg0jM}v1.M iv.1}B3 .~M.10@ ?!
?O ?O ?!3 pD
VDVD!/E}SG 'q[q[tKMI('qLXWI5KOZ=[]\^KMUefho].1}v~M0^i!BjM}vxg^i)jMk,.)mpgjgQ.=auv.1}v=.
452 G 892 6 8;<;<=<=892 : >98
G :
i .=y^..=)jM6i 2 mpgljnk)jMy0zmt0zm]eM}2 3 2 3*)vj}vx'.;jMi 2 m]geM0jMmp}v.=x
fyQe 2 O{.=mp0^iv.=yjxvxvm]}~
eMyly^.=eXm]}v~
jCg^au)jMyQ.fyQe q4 0ziv.xvm]jM~yzj
ef>2%D +)eym]}vg0jM}v1.M i.=}B3 .l~.100^iv.0^ivy^.1.eg^1m]opo j0^m]}v~0jMo].;juV
(4 )v8;8 )v8=8)a>J)4 )v8;8V8;8)a>9ajM}vxn4 )v8;8=8;8 )a>JDbFiv.}auv,.=y eMf/eMg^=mpo]o]j0zmp}v~
0zjMvop.;jMuVef|o].1}v~M0zinBjM}vxgQi)jMk,. )mpg.1au)jMo0^e?! ?(?A?A?;4#B >4q0ziv.
}auvT.1ydefk)jyQ0zmt0zmpe}vgeMfBT/mp}O0zeBr.1o].=.=}O0vopeVagz>JD
O DVD!,bFiv.}auvT.1yeMf j;{XgA0zeeM.fy^eM 0ziv.d.=k0{k)jMy0zmp0^m]e})0^e )mp}B
g0z.1kvg= iv.=yQ..;jMigQ0z.1k=e}g^m]g0zgeMf/.=mt0ziv.1y4mq>jMxvxvmp}v~j,eT4m]m >y^.1eXm]}v~
j,eTeMyn4m]m]m >jMxvxm]}v~jM}vx0ziv.1}y^.1eXm]}~jTe;TFjMo j;{Xg.=.1kvm]}v~
0ziv.
xm jM~y^jM ef/jk)jMyQ0^mp0^m]e}4.1.1}mp}0^iv.m]xxvo].ef/jgQ0z.1keMfT0{XkT.4mpm]mq>Q>Jm]g|0ziv.
.=o]o/}auvT.1y Y4B/>40^iv.}auv,.=ydeMfhk)jyQ0zmt0zmpe}vgeMfhjM}B,r.1o].1.1}a0dgQ.109>9(D +)ey
mp}vgQ0zjM}v1.M iv.1}B3 .~.J0F0ziv.cwvM.gQ.=auv.1}v=.1g
) 4 8 )a> 4 8 )a> 4 8 )a>
) 4 8 )a> )
) 4#V8;> ) <
) 4M8;> )
) ) 4 8 )a>
VD4
> c
mpM.=}
2
@B/o].J0 xv.=}ve0z.l0ziv.lky^eXxvuv10eMf0^iv.liveXeo].=}~M0zivgcef2/
gQe 3 BTOD|bFi.=}feMyd
X: 3 3B V54 ;68 ;F:;8;<;<=<=8 ;F=>=< ; :6 ; :: ?A?A?; : 3a<
J
D4
>bFiv.K)K
;S!P 'qL,NX\njs;4>eMfhjM}C_a`b m]gxv.Jw)}v.1xn0zeT.0ziv.g^uef
jo]o|.=}O0^y^m].1gef Hfey im]ijMkvk,.;jMyQgmp}jope .1yy^e 0^i)jM}QD +m
B jM}vx2@B)jM}xop.10 DbFiv.=}0ziv.c}auvT.1yFeMf|_O`cb eMfg^ivjMkT.
2gzj0^m]gQfq{Xmp}v~js;4
> 4 eXxB/>Axv.1kT.1}vxvge}vop{e}2njM}vx~1x%4 8zB>JD
MVDVD!-/.10,.jkvjMyQ0^mp0zmpe}7jM}vxo].J 0 ,.0ziv.mp}w)}vmt0z.gQi)jMk,.1e}vgQm]gQ0^m]}v~
ef0^iv.au)jxvyzjM}O0 63V4^8V>A 8 V mt0zi0ziv.g^ivjMkT.
y^.=e.1x
fyQeH0ziv.o]e .1yy^mp~iO0Qri)jM}vxY1ey^}.=y=D|bFiauvgF.J.1yQ{gQXuvjMy^.ceMf ivjMgFjw)}vmt0z.
ieVejM}vxiv.=}v1.jiveXeop.=}v~0zi2 D +)eym]}vg0jM}=.M iv.1}3 48;> .~.10
0^iv.xvm j~yzjM
a
??
???
jfjMeuvgfeMy^uvo]jeMfjMjMive}D
!#"WU X $dg^.0ziv. -_ jMop~eyQmp0ziD
RTS UWVYX E00^ivm]gk,em]}O0mp0 ?g})j!0zuvy^jMo0ze
=e}g^m]x.=yIXPz\\*%N ' )\JLG '5S!L,KM[4#jM}vx
im]~iv.1y>lk)jMy0zmp0^m]e}g=vuV0jMo]eg0}eM0zivmp}v~mpga}ve }jM,eu00^iv.=jM}vxj
.y^.;jg^e})jvo][. 0.1}auv.1yzj0^m]e}eMf0zi.=mpgFT.1o]m].J.1x0^e,.ivek,.=op.=g^g1D
MVD +m
88 VD-/.10%Y4&88 >Fxv.=}ve0z.0ziv.g^.J0eMfkvo]jM}v.k)jMy0zmp0^m]e}g mp0zi
j!0egQ' 0 y^e =g hj0egQ0 =eMo]uv}vg=jM}vx mt0zio jMyQ~.=g0k)jyQ0j0eg0 D
bFi.=} I v )6
3
I v X: <
#( L
M T6 T6 zT6
)deM0z.0^i)j0 9|y^eo].=MOm]g0^iv.;jMgQ. D
MMD 7Ekvo jM}.k)jMy0zmp0^m]e}
C34
) >Am]gG &) )\JIP ' mpf
) 3
feMyjMo]o,^8)D-/.10
!4B/>xv.=}eM0z.c0zi.}auvT.1ydefg{V.10zyQm]ckvo]jM}v.ck)jyQ0zmt0zmpe}vgeMfBDbFiv.1}
!4B> 3 I CE: D <
G )6 4
:
) 6 >/4 : > B
MOXD!-/.10 14B>x.=}veM0^.0^iv.}auvT.1yeMfkvo jM}.k)jyQ0zmt0zmpe}vg
34
) > mp0^inj0
eg0 Fy^e g=Mj0eg0#=eopuv}vg=jM}vx mp0^iIPQK\0^y4#
>A 3
66J
*::2?A?A?a3
BD|bFiv.=}
B
=4B/>|3 <
MVDD!E )S!L7S!I S!L7\IP 'KMLXWM[]\eMfop.=}v~0zinBmpgj0^y^m]jM}v~uvo]jMyjMy^y^j{eMfmp}O0z.=~M.=y^g
ieg^.w)y^g0yQe m]g8V8;<;<;<J8zB).1.1yQ{y^e mpgFgQ0^y^m]J0zot{m]}v1y^.=jMg^mp}v~v)jM}x.;ji
.1}O0zyQ{ m]gn4 .;jMaop{>,.10 .=.1}mt0zg0 e'}v.1m]~ia,ey^gjTe.DbFivm]gYgQe. i)j0
jM~Muv.cxv.1wv}vmp0^m]e}g^ieuvo]x,.jMx.c=o].=jMyFO{0ziv.cfeopo]e m]}~.JjMkvo].
<
bFi.=y^.jMyQ.cfeyFm]}vg0jM}=.g^.J.=}e}eM0ze}.0zyQm jM}v~Mo].=gFefop.=}v~M0^iv~mt.=}O{
l l l
l <
E}KM[I\JP9L,KMI 'qLXW G 'tWML )KMIP ' nm]gdjgQau)jMy^.j!0zy^m mt0zi.=}O0zyQm].=g8 )gQuvi
kvjMyQ0^mp0zmpe}vgFjy^.c~mt.=}O{,
<
EHNX\G \JL,N 'qLXW ,[tKML7\ KMP9I 'qI('5S!Lnm]gAjM}jMy^y^j;{eMf%k,egQmp0zmt.mp}O0z.=~M.=y^gAgzj0^m]gQfq{Xmp}v~v
4mq>
jMiy^e j!fq0z.=yh0^iv.Fw)y^g0 =e}O0jm]}vg|f. .=y.1o].=.=}O0^g0^i)jM}0ziv.yQe jM,eM.M
4m]m >.=jMiy^e m]gmp}vxv.=}O0^.=x'e}v.gQk)jM1.Y0ze0^iv.y^mp~iO0fy^eM0^iv.Yy^e jM,eM.M
4m]mpmq>0ziv..1}O0zy^mp.=g .;jMaot{'xv.=1y^.=jMg^.m]}'.=jMiy^e 4mtv>0ziv..1}a0^y^mp.=glgQ0^y^mp10zot{
x.==yQ.;jMgQ.mp}.;jMi =eopuv}4q>0^iv.w)y^g0.=}O0zy{'m]}.;ji y^e 4.JV1.=k00ziv.
wvy^gQ0>xeV.1g}ve0.9V=.=.1xn0ziv.}auv,.=ydeMf.=}O0zyQm].=gm]}0zi.kvyQ.=1.=xvmp}v~yQe ,jM}x
4qXmq>0^iv.w)yQgQ0F.1}a0^yQ{m]}.;jiyQe mpg~yQ.;j0^.=yA0^i)jM}Y0zi.c}XuT.1yeMf.=}O0^y^m].1gm]}
mt0zg e }Yy^e DhbFiv.xv.=gQ=.=}xvm]}v~k)jMyQ0^mp0^m]e}vg mt0zio]jMy^~M.=gQ0k)jMy0j!0AegQ0 0ziy^.=.
jy^.c~mt.=}O{
) F <
bFi.feMo]o]e mp}v~feuvyF}auvT.1y^gjMy^.jMopo.=au)jo5
)6
4#M,>*
4jO>
HG 4B >*
4*>Y0ziv.}auv,.=yeMfeM}veM0zeM}v.0zyQm jM}v~Mo].=gAeMfop.=}v~0ziB
4>Y0ziv.}auv,.=yeMfhB Bbd_vH_ kvo j}v.k)jMyQ0^mp0^m]e}vg
4x*>Y0ziv.n}auvT.1yeMfcx.=g^1.=}vxm]}v~kvo]jM}v.k)jMyQ0^mp0^m]e}vg mt0zio]jMy^~.1gQ0k)jMy0j0
eg0B
RTS UWVYX b iv.=yQ.jy^. : 3 k)jMmpy^geMf.=au)jMoc}auvT.1y^gjMTeM.MDS!L7\
ef
F
0^iv.=gQ.Cg^mk)jMmpy^gYmpga}ve }0ze',.C.=au)jMoO{jm sQ.=J0zmt.nkvyQeVef 4Eo]ojMy^.
a}ve } 0zeT..1XuvjMoa{1ekvo]mp;j0^.=x'm]}xvm]yQ.=10jy^~uv.=}O0^g=D>bFivmpgm]gle}v.
efF0ziv.egQ0m]}O0zyQm]~uvmp}v~eMkT.1}'kvy^eo].=gmp}0ziv.jy^.;jnefm sQ.=J0zmt.YkvyQeVefg=D
bFi.=y^.jMyQ.1.=y0jMmp}yQ.1w)}v.1.1}O0zgef0zi.}auv,.=yQgn4jO> T4x*> ivmpij;{'T.
ug^.1fuo|m]}Cw)}vxvmp}v~vm sQ.110^m]e}vg1D +)eymp}vgQ0zjM}v=.%mp0jMkvk,.;jy^g0zivj0c0ziv.}auv,.=y
efxv.1g^1.=}vxvmp}v~
kvo jM}.k)jMyQ0^mp0^m]e}vg mp0zio]jMy^~.1gQ0lkvjMyQ0j0eg0Bj}vx mp0zi
.9jM10^op{lk)jMy0zg|.1XuvjMo)0zeBm]g|.1XuvjMov0zec0zi.d}auvT.1y efTe}ve0ze}v.0^y^m]jM}v~op.=g
efop.=}v~M0^iB jM}x,eM0^0^e.1o].1.1}a0 D_Vm]m]o]jMy^ot{hmt0g^.=.1gl0^i)j00ziv.
}auvT.1yAeMf%xv.1g^1.=}vxvmp}v~kvo j}v.kvjMyQ0^mp0zmpe}vg mp0^iYo jMyQ~.=g0AkvjMyQ0j0egQ0ABnjM}x
mt0zi.JjMJ0zot{k)jyQ0zgmpg.1au)jMo|0ze0ziv.}auv,.=yeMfAeM}veM0zeM}v.0zyQm jM}v~Mo].=gcef
op.=}v~0ziB mp0zi.JjM10^op{Y.=}O0^y^m].1g ivmpijMy^.~y^.=j0z.1yA0zi)j}0ziv..=}O0zy{0^e0ziv.
ukvkT.1yo].1fq0=D
MVD f mpgj}jMot0z.=yQ})j0^m]}v~g^mp~}j0zyQmtTo].10 a4 >xv.1}veM0z.0ziv.}auv,.=yef
gm]} D|bFiv.1}
L M 3 4 % > 8
i.=y^.yzj}v~.=ge.1yjo]o7B B
jMot0z.1y^})j0^m]}v~lgQm]~}j0zyQm]1.=g=D
M
0^iv.=}8;l4 >|3M MO =<;D.Jw)}v.
g^~}%4 >|3
8mtf3;4>Am]gj}.J.1}k,.=y^u0j0^m]e}
8mtf3;4>Am]gj}eXxvxkT.1y^uV0j0^m]e},<
bFi.=}
g^~}4 >|3 B A CE: D 8 4#O>
gQuv.1xeM.=yjMo]o_a`cb mp0ziBC.=}O0^y^m].1g=D