OFFSET
1,2
COMMENTS
A. Wagner gave a computer-assisted proof for n <= 8. For n >= 9 known lower bounds, not necessarily optimal, are 225, 424, 795, 1484, 2809.
LINKS
Richard A. Brualdi and Lei Cao, Pattern-Avoiding (0,1)-Matrices, arXiv:2005.00379 [math.CO], 2020.
Adam Zsolt Wagner, Constructions in combinatorics via neural networks, arXiv:2104.14516 [math.CO], 2021.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Peter Luschny, May 01 2021
STATUS
approved