Discoveries / combinatorics

Nineteen exact reflective and dihedral Ramsey numbers from Damnjanovic-Dordevic's tables

Nineteen individual exact values, each decided by SAT certificate: unsatisfiable at the claimed $n$, witnessed satisfiable at $n-1$. They close cells in DD26's Tables 3-13 but settle no infinite family - the sibling entries do that for the $K$ column. The three overlap cells are $R_{dih}(P_4^{alt},K_6)=16$, $R_{dih}(P_3^{alt},K_9)=17$ and $R_{dih}(P_9^{alt},K_3)=17$, each an instance of a sibling theorem; the remaining sixteen stand on their own certificates. Four further cells passed the producing solver but await their final referee leg and are not claimed. Open: every other cell of DD26's tables, all cyclic-action and online-Ramsey cells.