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.

I bet Iknowwhat<br />

happensin four<br />

A ANSWERS TO EXERCISES 485<br />

1.13 Given n straight lines that define L, regions, we can replace them<br />

by extremely narrow zig-zags with segments sufficiently long that there are<br />

nine intersections between each pair of zig-zags. This shows that ZZ, =<br />

ZZ, ’ +9n-8, <strong>for</strong> a’11 n > 0; consequently ZZ, = 9S, -8n+ 1 = ;n2 - In+ 1.<br />

1.14 The number Iof new 3-dimensional regions defined by each new cut is<br />

the number of 2-dimensional regions defined in the new plane by its intersections<br />

with the previous planes. Hence P, = P, ’ + L, ~1, and it turns out<br />

that P5 = 26. (Six cuts in a cubical piece of cheese can make 27 cubelets, or<br />

up to P6 = 42 cuts of weirder shapes.)<br />

Incidentally, the solution to this recurrence fits into a nice pattern if<br />

we express it in terms of binomial coefficients (see Chapter 5):<br />

x, = (;)i-(1;);<br />

L,, = (;)i-(;)-(1);<br />

pn = (‘3)+-(;)-(1)+(Y)<br />

Here X, is the maximum number of l-dimensional regions definable by n<br />

dimensions! points on a line.<br />

1.15 The function I satisfies the same recurrence as J when n > 1, but I( 1)<br />

is undefined. Since I(2) = 2 and I( 3) =I 1, there’s no value of I ( 1) = OL that<br />

will allow us to use our general method; the “end game” of unfolding depends<br />

on the two leading bits in n’s binary representation.<br />

If n = 2” + 2mp1 +k,whereO~k 2. Another way to express<br />

this, in terms of the representation n = 2” + 1, is to say that<br />

I(n) = {<br />

J(n) + 2 ml , ifO

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

Saved successfully!

Ooh no, something went wrong!