不记得这算不算提供奖金的“爱多士问题”中的一个了,但在关于数学家保罗·爱多士的传记(中译本《我的大脑打开了》——个人觉得取名《天书之梦》更佳)中提到了这个问题。这个问题背景和叙述都很简单的:
或许很多人都见个题目(记得曾作为奥赛题吧):证明6个人参加的派对(party)中至少有3个人互相认识或互为陌生人。这只需要6个点(代表6个人)互相连线(实线表示认识,虚线表陌生),证明必然出现一个全由实线构成的三角形或虚线构成的三角形即可。这是很容易证明的。事实上,从任一点P到另外5个点的5条连线至少有三条同为实或同为虚线,不妨设为实线,考察这三个点,若有两个点间以实线相连,则此二点与p点构成实线三角形,否则这三个点即构成虚线三角形。证毕。
数学家将保证3个人互相认识或互为陌生人的派对大小(人数)计为R(3,3)。同样,保证4个人互相认识或互为陌生人的派对大小计为R(4,4)。通过不算复杂的推理(同样的方法),易得R(4,4)=18(有兴趣的朋友们不妨一试身手)。
但R(5,5)以上就不这么简单了——不,它简直就超难),到目前为止还没有人得出R(5,5),只知道在42到50之间。R(6,6)被认为无策,这以上就更不用说了。如果哪位兄弟某一天不小心做出来了,可以肯定党和人民是不会忘记他的,呵呵。
或许很多人都见个题目(记得曾作为奥赛题吧):证明6个人参加的派对(party)中至少有3个人互相认识或互为陌生人。这只需要6个点(代表6个人)互相连线(实线表示认识,虚线表陌生),证明必然出现一个全由实线构成的三角形或虚线构成的三角形即可。这是很容易证明的。事实上,从任一点P到另外5个点的5条连线至少有三条同为实或同为虚线,不妨设为实线,考察这三个点,若有两个点间以实线相连,则此二点与p点构成实线三角形,否则这三个点即构成虚线三角形。证毕。
数学家将保证3个人互相认识或互为陌生人的派对大小(人数)计为R(3,3)。同样,保证4个人互相认识或互为陌生人的派对大小计为R(4,4)。通过不算复杂的推理(同样的方法),易得R(4,4)=18(有兴趣的朋友们不妨一试身手)。
但R(5,5)以上就不这么简单了——不,它简直就超难),到目前为止还没有人得出R(5,5),只知道在42到50之间。R(6,6)被认为无策,这以上就更不用说了。如果哪位兄弟某一天不小心做出来了,可以肯定党和人民是不会忘记他的,呵呵。
