login
Triangle T(n,k) (n >= 1 and 1 <= k <= n) read by rows, arising from the Mosaic Problem.
0

%I #50 Sep 06 2023 20:30:00

%S 0,0,1,0,73,31998,0,3960,10414981,20334816290,0,190475

%N Triangle T(n,k) (n >= 1 and 1 <= k <= n) read by rows, arising from the Mosaic Problem.

%C Fill an n X k array of cells with tiles taken from a set of six (each one connecting two sides of the cell). T(n,k) is the number of tilings containing at least one loop.

%C There are 6 tiles, all of size 1 X 1, one for each way of joining two sides of the cell.

%H Jack Hanke, <a href="https://www.youtube.com/watch?v=D3dp5RBmPcs">The Mosaic Problem - How and Why to do Math for Fun</a>, Youtube video.

%F T(n,1) = 0 for all n.

%F T(n,2) = 36^n - ((36*beta - 35)*beta^(1 - n) - (36*alpha - 35)*alpha^(1 - n))/(beta - alpha), where alpha = (1 + sqrt(33/37))/2 and beta = (1 - sqrt(33/37))/2.

%e Triangle begins:

%e k=1 k=2 k=3 k=4

%e n=1: 0;

%e n=2: 0, 1;

%e n=3: 0, 73, 31998;

%e n=4: 0, 3960, 10414981, 20334816290;

%e n=5: 0, 190475, ...

%e ...

%e For T(3, 2), there are 73 solutions (squares marked with an asterisk can take any of the six different tiles):

%e .

%e 1. (36 tilings) 2. (36 tilings) 3. (1 tiling)

%e +---+---+---+ +---+---+---+ +---+---+---+

%e | | | | | | | | | | | |

%e | | | * | | * | | | | |---| |

%e | /|\ | | | | /|\ | | /| |\ |

%e +---+---+---+ +---+---+---+ +---+---+---+

%e | \|/ | | | | \|/ | | \| |/ |

%e | | | * | | * | | | | |---| |

%e | | | | | | | | | | | |

%e +---+---+---+ +---+---+---+ +---+---+---+

%K nonn,tabl,hard,more

%O 1,5

%A _Douglas Boffey_, Aug 02 2023