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.