0,2

Of course, the matrices are multiplied using "Boolean matrix multiplication", which is not the same as multiplication over GF(2). It is known that a(5) >= 6732481, as evidenced by the matrices [[0,0,0,0,1],[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0],[0,0,0,1,0]] and [[0,0,1,0,0],[1,1,0,0,0],[0,1,0,0,0],[0,0,0,1,0],[0,0,0,0,1]].

K. H. Kim and F. W. Roush, Two-generator semigroups of binary relations, J. Mathematical Psychology 17 (1978), 236-246.

For n = 2 the maximum order is 11, generated (for example) by the two matrices [[0,0],[0,1]] and [[1,1],[1,0]].

For n = 3 the maximum 175 is achieved by (for example) by the two matrices [[0,0,1],[1,0,0],[0,1,0]] and [[0,0,1],[0,1,0],[1,0,1]].

For n = 4 the maximum 15689 is achieved by (for example) by the two matrices [[0,0,0,1],[0,1,0,0],[0,1,1,0],[1,0,0,0]] and [[0,0,0,1],[0,0,1,0],[1,0,0,0],[0,1,0,0]].

Sequence in context: A039747 A049531 A031508 * A011806 A012953 A012974

Adjacent sequences: A202137 A202138 A202139 * A202141 A202142 A202143

nonn,hard,more

Jeffrey Shallit, Dec 12 2011

approved