Demonstrate a lower bound for the Ramsey number R(4,4)
Python 3, 56 bytes
s=' '+bin(53643)[2:]
for _ in s:print(*s);s=s[-1]+s[:-1]
Try it online!
Python 3, 56 bytes
s=' 1101000110001011'*16
while s:print(*s[:17]);s=s[16:]
Try it online!
Python 2, 64 bytes
for k in range(289):print'\n'[k%17:]+' ab'[(k/17-k%17)**8%17%7],
Try it online!
Jelly, 12 bytes
“ḍ⁾’B⁶;ṙJ$ṚG
Try it online!
How it works
“ḍ⁾’B⁶;ṙJ$UG Main link. No arguments.
“ḍ⁾’ Set the return value to 53643.
B Binary; yield [1,1,0,1,0,0,0,1,1,0,0,0,1,0,1,1].
⁶; Prepend a space, yielding [' ',1,1,0,1,0,0,0,1,1,0,0,0,1,0,1,1].
$ Monadic chain:
J Yield all indices of the array, i.e., [1, ..., 17].
ṙ Rotate the array 1, ..., 17 units to the left, yielding a matrix.
Ṛ Reverse the order of the rows.
G Format the matrix as a grid.
05AB1E, 18 bytes
18G•Ó₆•bð«NFÁ}Sðý=
Try it online!
Uses 1 for R
and 0 for B
.