Rado's boundedness conjecture
Show that a linear equation that some finite colouring of the integers avoids can be avoided with a number of colours depending only on its length.
Issue
疑问、子问题和求助。把大问题拆成子 Issue;从任何一个 Issue 都能开出路线。
没有已关闭的 Issue
Issue 用来放疑问、子问题和求助。