嘘!装的。(For historic reasons :)) 2是Erdos定理:长为n^2+1的数列中一定有长为n+1的单调子列。 3和4是Turan定理:不含p阶完全子图的n阶图最多有n^2(p-2)/2(p-1)条边。 这题不知道这两个定理是很难想的,我肯定想不出来。总觉得应该有更直接的方法, 但是没想出来