09.12.2012 Views

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

Concrete mathematics : a foundation for computer science

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

546 ANSWERS TO EXERCISES<br />

7.40 The egf <strong>for</strong> (nF, 1- F,) is (z - lip(z) where i(z) = J&0 F,z”/n! =<br />

(e@’ - e&‘)/fi. The egf <strong>for</strong> (ni) is e -‘/(l - z). The product is<br />

5 l/2 Ii 112 -el@ ‘12) = 5 liqe -42 _~ e 6’).<br />

(e<br />

We have i(z = -?(-z). So the answer is (--l)"F,.<br />

7.41 The number of up-down permutations with the largest element n in<br />

position 2k is (z”k ‘,)A ok ,A,, -2k. Similarly, the number of up-down permutations<br />

with the smallest element 1 in position 2k + 1 is (‘&‘)A2kAn ok 1,<br />

because down-up permutations and up-down permutations are equally numerous.<br />

Summing over all possibilities gives<br />

AkA,~r~~k+2[n=O] + [n=l]<br />

The egf A there<strong>for</strong>e satisfies 2A’(2) = A(z)’ + 1 and A(0) = 1; the given<br />

function solves this differential equation.<br />

7.42 Let a, be the number of Martian DNA strings that don’t end with c<br />

or e; let b, be the number that do. Then<br />

a n = 3~~1 + 2b,- 1 + [n = 01, b, -= 2a n I + h-1 ;<br />

A(z) = 3zA(z) +2zB(z) + 1 , B(z) = ZzA(z)+zB(z);<br />

and the total number is [z”] ( 1 + z)/( 1 - 42 ~ z2) = F3,, +2.<br />

7.43 By (5.45), g,, = An6(0). The nth difference of a product can be<br />

written<br />

A”A(z)B(z) = t ‘k” (ACED kA(Z))(AR k~(~)) )<br />

k<br />

0<br />

and En k = (1 + A)nPk = xi (“j “)Ai. There<strong>for</strong>e we find<br />

hn = G (E) (“yk) fjfkgn-k.<br />

3<br />

This is a sum over all trinomial coefficients; it can be put into the more<br />

symmetric <strong>for</strong>m<br />

fj+kgk+L.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!