− | ~~We proceed [[recursion | recursively]]. Suppose we can build <math>T_m</math> towers using blocks of size <math>1, 2, \ldots, m</math>. How many towers can we build using blocks of size <math>1, 2, \ldots, m, m + 1</math>? If we remove the block of size <math>m + 1</math> from such a tower (keeping all other blocks in order), we get a valid tower using blocks <math>1, 2, \ldots, m</math>. Given a tower using blocks <math>1, 2, \ldots, m</math> (with <math>m \geq 2</math>), we can insert the block of size <math>m + 1</math> in exactly 3 places: at the beginning, immediately following the block of size <math>m - 1</math> or immediately following the block of size <math>m</math>. Thus, there are 3 times as many towers using blocks of size <math>1, 2, \ldots, m, m + 1</math> as there are towers using only <math>1, 2, \ldots, m</math>. There are 2 towers which use blocks <math>1, 2</math>, so there are <math>2\cdot 3^6 = 1458</math> towers using blocks <math>1, 2, \ldots, 8</math>, so the answer is <math>458</math>.~~
| |

− | ~~(Note that we cannot say, "there is one tower using the block <math>1</math>, so there are <math>3^7</math> towers using the blocks <math>1, 2, \ldots, 8</math>." The reason this fails is that our recursion only worked when <math>m \geq 2</math>: when <math>m = 1</math>, there are only 2 places to insert a block of size <math>m + 1 = 2</math>, at the beginning or at the end, rather than the 3 places we have at later stages. Also, note that this method generalizes directly to seeking the number of towers where we change the second rule to read, "The cube immediately on top of a cube with edge-length <math>k</math> must have edge-length at most <math>k + n</math>," where <math>n</math> can be any fixed integer.)~~
| |