files / problems / ramsey-r55 / compute / q1 / certs / srg43_params.json

426 B · on GitHub

{
  "degree_window": [
    18,
    24
  ],
  "n": 43,
  "n_integral": 0,
  "note": "No integral parameter set in the legal degree window. 43 \u2262 1 (mod 4), so there is also no conference graph. Every SRG is either a conference graph or has integer eigenvalues, so there is no strongly regular graph on 43 vertices with degree in [18,24]. That excludes an SRG (5,5,43)-graph. It is not a bound on R(5,5).",
  "params": []
}