Placing $t$ horizontal dominoes in a $2 \times n$ table with some restrictions

combinatoricsrecurrence-relationstiling

Given positive integers $n$ and $t$ find the number of ways to place $t$ horizontal dominoes in a $2\times n$ table so that no two dominoes form a $2\times 2$ square and no $2\times 3$ rectangle contains two dominoes such that the one in the upper row has occupied the middle and the rightmost cell and the one in the lower row has occupied the middle and the leftmost cell.

Apart from $A(n,1) = 2(n-1)$ and $A(n,t) = 0$ for $t\geq n$ I have no further good ideas. Perhaps some recursion (hopefully with not too many equations to manipulate)?

Any help appreciated!

Best Answer

For convenience, let's say that Rule 1 is that there are no 2 dominoes forming a 2x2 square and Rule 2 is that there are no two dominoes forming the upper right and lower left corners of a 2x3 square.

Let us consider an arbitrary acceptable arrangement of a $2\times n$ square with $t$ horizontal dominoes. As I see it, there are four distinct possibilities:

  • The rightmost column has no dominoes in it. There are $A(n-1,t)$ of these.
  • There is a domino in the rightmost two squares of the top row. There is no domino in the rightmost square of the bottom row (by Rule 1) or the second right-most square (by Rule 2), so there are $A(n-2,t-1)$ of these.
  • There is a domino in the rightmost two squares of the bottom row. There is no domino in the rightmost square of the top row (by Rule 1).
    • There are $A(n-2,t-1)$ arrangements where there is no domino in the second rightmost square of the top row.
    • There could be a domino in the second and third rightmost squares of the top row without violating Rule 2. However, there could not be a domino in the third rightmost square of the bottom row, because that domino and the second one would violate Rule 2. Therefore, there are $A(n-3,t-2)$ of these.

In all, our recursion formula is $$A(n,t)=A(n-1,t)+2A(n-2,t-1)+A(n-3,t-2)$$

As for the base cases, I think that all you would need are $A(0,0)=1$ and $A(0,t)=A(1,t)=0$ for all $t>0$, but I could be missing something.