login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A263542
Triangle T(M, N): Number of M X N matrices where 1<N<=M, all elements are distinct, all elements are at least 0 and at most M*N-1, and every 2 X 2 block of elements has the same sum.
0
24, 112, 376, 768, 2160, 20352, 5376, 5904, 86208, 51840, 64512, 56736, 1628352, 1342656, 44084736
OFFSET
2,1
COMMENTS
This sequence is given in this order: (2,2), (3,2), (3,3), (4,2), (4,3), (4,4), etc.
The idea of the program below is that the first row, first column, and the (1,1)th element uniquely determine the rest of the matrix. Hence, all permutations of m+n integers in the range 0..m*n-1 are generated to fill the first row, first column, and (1,1). Then the empty spots in the matrix are filled in and if at any point a condition is violated (duplicate, < 0, >= M*N), the program immediately moves on to the next permutation.
Much of the conversation in the main chat room of the Programming Puzzles and Code Golf Stack Exchange site - the Nineteenth Byte - following the linked message in the Links section deals with finding the terms of this sequence.
Observation: at least the first 15 terms are divisible by 8. - Omar E. Pol, Oct 20 2015, Nov 21 2015
When M and N are both even, the block sum is 2(MN-1). When one or both is odd the block sum can vary: e.g., for M=N=3, it varies from 12 to 20. - Peter J. Taylor, Oct 21 2015
When M and N are both even, all solutions are toroidal: the block sums created by wrapping from the last column to the first column or the last row to the first row also equal 2(MN-1). When one of M or N is even, all solutions are cylindrical, with wrapping in the even dimension, but they are toroidal only in the trivial case of Odd X 2. When both M and N are odd, except in the trivial case of 1 X 1, solutions do not wrap in either direction. - Peter J. Taylor, Oct 21 2015
LINKS
EXAMPLE
One 3 X 3 solution (with a sum of 19) is:
0 4 2
8 7 6
3 1 5
One 4 X 4 solution (with a sum of 30) is:
0 3 4 7
12 15 8 11
1 2 5 6
13 14 9 10
One 5 X 5 solution (with a sum of 48) is:
0 24 1 23 2
9 15 8 16 7
10 14 11 13 12
19 5 18 6 17
20 4 21 3 22
The triangle T(M, N) begins:
M\N 2 3 4 5 6 ...
2: 24
3: 112 376
4: 768 2160 20352
5: 5376 5904 86208 51840
6: 64512 56736 1628352 1342656 44084736
...reformatted. - Wolfdieter Lang, Dec 16 2015
PROG
(Python)
from itertools import permutations as P
n = 4; m = 4; permutes = P(range(m*n), m+n); counter = 0
for p in permutes:
grid = [p[:n]]
for i in range(m-1):
grid.append([p[n+i]]+[-1]*(n-1))
grid[1][1] = p[-1]
s = p[0]+p[1]+p[n]+p[-1]
has = list(p)
fail = 0
for y in range(1, m):
for x in range(1, n):
if x == y == 1: continue
r = s - (grid[y-1][x-1] + grid[y-1][x] + grid[y][x-1])
if r not in has and 0 <= r < m*n:
grid[y][x]=r
has.append(r)
else:
fail = 1
break
if fail: break
if not fail:
counter += 1
print(counter)
CROSSREFS
Sequence in context: A103473 A162451 A307859 * A281133 A064595 A064591
KEYWORD
nonn,tabl,more
AUTHOR
Lee Burnette, Oct 20 2015
STATUS
approved