be the number of ways in which one can cover a rectangle with dominoes (rectangles with side length ). Find the sum of the digits of .
LetExplicit examples
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
I don't know how to draw pictures here so I'll describe it using chess coordinates.
Suppose we need to tile a 3 × n checkerboard with dominoes. Let the rows be represented by A,B,C; and let the columns be represented by 1,2,3,etc. Let's only consider the cases where n is even.
First let's define an almost-checkerboard to be a checkerboard with one corner missing. Or you could think of it as attaching the squares A 0 and B 0 to the existing 3 × n checkerboard. Let's define a new function g ( n ) , to be the number of ways to tile a 3 × ( n + 1 ) almost-checkerboard. Note that an almost-checkerboard of this form can be tiled with dominoes only if n is even.
Now let's try to find a recursive definition for f ( n ) . Assume that n ≥ 2 and consider the three squares A 1 , B 1 , C 1 . We have 3 mutually exclusive cases:
( 1 ) A 1 and B 1 are covered by a single domino. This forces C 1 and C 2 to be covered by a single domino, and the rest is a 3 × ( n − 1 ) almost-checkerboard. So in this case, there are g ( n − 2 ) ways of tiling the rest.
( 2 ) C 1 and B 1 are covered by a single domino. This is similar to case ( 1 ) - again there are g ( n − 2 ) ways in this case.
( 3 ) A 1 , B 1 and C 1 are covered by 3 different dominoes. Then these three dominoes also cover A 2 , B 2 and C 2 . The rest is a 3 × ( n − 2 ) checkerboard, which can be tiled f ( n − 2 ) ways.
Therefore, f ( n ) = 2 g ( n − 2 ) + f ( n − 2 ) for n ≥ 2 . ( A )
Similarly, using a case analysis we can find that g ( n ) = g ( n − 2 ) + f ( n ) for n ≥ 2 .
Now we can replace f ( n ) using equation ( A ) to get:
g ( n ) = 3 g ( n − 2 ) + f ( n − 2 ) ( B )
For the base cases we can set f ( 0 ) = 1 = g ( 0 ) , and now we have a well-defined joint recursive formula for f and g .
Plugging this into DrRacket, I got f ( 1 0 0 ) = 3 1 2 0 8 6 8 8 9 8 8 0 4 5 3 2 3 1 1 3 5 2 7 7 6 4 9 7 1 .