Myers's conjecture on a three-color Rado number

About 4 years old · traced to

Let R3(E)R_3(\mathcal{E}) denote the smallest nn such that every 3-coloring of [n][n] induces a monochromatic solution to the equation E\mathcal{E}. For m≥3m\ge 3, consider the equation x−y=(m−2)zx-y=(m-2)z. Myers's conjecture.

R3(x−y=(m−2)z)=m3−m2−m−1.R_3(x-y=(m-2)z)=m^3-m^2-m-1.

This conjecture gives exact values for a family of generalized Schur-related Rado numbers. The source does not state whether it has been resolved.

References

Primary source

Yuan Chang, Jesús A. De Loera and William J. Wesley, “Rado Numbers and SAT Computations”, arXiv:2210.03262 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.