The set Ramsey number ,
for integers
and
, is the least integer
such that every simple
graph on
vertices has either
vertices inducing at least
edges
or
vertices inducing at least
edges in its graph
complement (Guo and Wan 2026). It is distinct from the set-coloring
Ramsey number, which assigns sets of colors to edges.
Guo and Wan (2026) proved that , using the equivalent notation
. They report a computer-assisted enumeration of
exactly 17 nonisomorphic 20-vertex graphs avoiding both
conditions, followed by exclusion of every one-vertex extension. Guo and Wan (2026)
report DeepSeek assistance with writing computational code, which the authors independently
verified.