Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery
arXiv:2604.21187v1 Announce Type: cross
Abstract: Ramsey-good graphs are graphs that contain neither a clique of size $s$ nor an independent set of size $t$. We study doubly saturated Ramsey-good graphs, defined as Ramsey-good graphs in which the addi…