login
Minimum number of 1's in an n X n binary matrix with no zero 2 X 2 submatrix.
5

%I #12 Dec 25 2024 00:51:25

%S 0,1,3,7,13,20,28,40,52,66,82,99,117,140,164,189,215,243,273,304,336,

%T 376,414,454

%N Minimum number of 1's in an n X n binary matrix with no zero 2 X 2 submatrix.

%F a(n) = A347472(n) + 1 = n^2 - A001197(n) + 1 = n^2 - A072567(n).

%F a(n) >= A152125(n).

%e Solutions for a(3)=3, a(4)=7, a(5)=13, a(6)=20:

%e . . x . . . x . . . . x . . . x x x

%e . x . . x x . . x x x . . x x . . x

%e x . . x . x . x . x x . x . x . x .

%e x x . . x x . x . x x . x . .

%e x x x . . . x x x x .

%e x . x x . x

%Y Column 2 of A339635.

%Y Cf. A001197, A072567, A152125, A227133, A347472.

%K nonn,more

%O 1,3

%A _Andrew Howroyd_, Dec 23 2021

%E a(22)-a(24) computed from A001197, added by _Max Alekseyev_, Feb 08 2022