登陆注册
57676100000110

第110章 西塔潘猜想

有n个人,其中有k个人相识,l个人不相识。请问n最少有几个人?

这个公式记做r(k,l)=n。

这是英国数理逻辑学家西塔潘在上个世纪90年代提出的。

其中r(3,3)=6.

用计算机穷举遍历r(4,5)=25.

r(5,5)的计算量极大。

而2011年5月,刘路否定r(3,3)=6.

同类推荐
  • 一个90后的一生

    一个90后的一生

    长辈们眼中的90后真的就那么幸福吗?九零后真的就那么的放肆,那么的不知上进吗?生活从来都没有改变过。一直都是那么的难。
  • 来年六月

    来年六月

    阔别数年,再度回到这座熟悉的城镇……熟悉的街头巷尾、熟悉的男男女女,陌生却是变了的心,无论是我,还是你。
  • 我要你打开

    我要你打开

    注:由于手残,点成了完结(这就有点尴尬了)不过会不定时更新的,更新主要在于更新一些小自创的小诗和小文。记叙一个叫清戈的小家伙,身心不断蜕变,不断打开……。打开,今天紧闭的双眼。打开,微风拂过的窗台。打开,夜空遮掩的星光。打开,……
  • 学术霸主

    学术霸主

    一位未能替国家赢取学术荣誉的2050年学者,重生于1980年代的华夏国,带着对历史的记忆和2050年的图像记忆法,他从一位普通大学生成长为学界旗手。勇夺古典文化竞赛冠军;搅动华夏学术界;打败东洋日本国十大学者;阻止韩国非遗申请;挑战美国学术霸权;终于带中国学术走向世界之巅!钱钟书、季羡林、朱光潜、宗白华、启功、金克木……那个年代的大学者们将一一露面;路遥、芦苇、贾平凹、余光中、罗大佑、李安……那个年代的文化史也渐渐轮廓清晰。承诺给大家带来一个好看的故事,一些有趣的知识。(本人科班出身,保证内容有史有料)
  • 疯子加拐子

    疯子加拐子

    一个莫名出现在李家屯中的疯女人一个游手好闲多年的光棍废柴搭伙加凑活,沉默与反抗都只是生活的缩影
热门推荐
  • 再见不负相思意

    再见不负相思意

    五年前,安慕遥说对她已经没有任何感觉。于是,沈漫琳怀着他的孩子一夜之间消失无踪。五年间,他实践对她的诺言,以她的名字命名创立angleLYN婚纱,一跃成为服装界新宠。五年后,他们重逢,历经波折,聚聚合合,磨难重重,过尽千帆,终发现,原来唯有彼此才能相伴到老。
  • 九州魔影

    九州魔影

    战争,永远不会停止。樊朝末年,山河破碎,国土已失去一半。六百年的王朝如今只能凭着高山险阻苟延残喘,偏安天南。帝都武安表面上歌舞升平,暗地里却人人自危,深恐被这乱世的洪流所吞噬。人力有时而穷,阵仪之术却有无限潜能。身世曲折的少年,第一次被秘道大师的术深深震撼。他能否找到传说中的绝世强者?请看九州魔影
  • 清茶蜜茶

    清茶蜜茶

    他以为的世界,靠自己就能走下去,反正那么多年都过来了。但是有个人的闯入打破了这一切。这种两个人的小幸运能持续多久呢?谁也不知道走一步看一步吧
  • 极剑纵横

    极剑纵横

    无需他人喝彩,只为坚持自我所选得道路、即便千难万阻……也要一登巅峰。
  • 千万遍阳光

    千万遍阳光

    “采采你还好吧!你醒醒呀.......视线里慢慢模糊的图片Fabienne和Andreas焦急的面孔,远处的声音Fabienne跑去打急救电话,Andreas在给自己做心肺复苏,自己的眼帘慢慢盖住“好累呀!”在灿烂的白光温暖的沐浴下,采采觉得好温暖没有霸道总裁,有的只是一对一的前缘再续
  • 平桥稿

    平桥稿

    本书为公版书,为不受著作权法限制的作家、艺术家及其它人士发布的作品,供广大读者阅读交流。
  • 天行

    天行

    号称“北辰骑神”的天才玩家以自创的“牧马冲锋流”战术击败了国服第一弓手北冥雪,被誉为天纵战榜第一骑士的他,却受到小人排挤,最终离开了效力已久的银狐俱乐部。是沉沦,还是再次崛起?恰逢其时,月恒集团第四款游戏“天行”正式上线,虚拟世界再起风云!
  • 战国:星阁

    战国:星阁

    这个世界很乱,是战国末期,但这里,却是武侠横行……
  • 特种修真狂少

    特种修真狂少

    青石小道尽,破败山门显!凉风萧瑟,气氛肃杀。一个身穿灰色劲装的年轻女孩子身形极快的跑到山门之前,昂着骄傲的脑袋,冷冷的瞥着面前摇头晃脑,一脸唏嘘的老人,一脸冷笑:“啧啧啧,老头子,你果真教出来个好徒弟,竟留书出走啦!”
  • 荆楚大地

    荆楚大地

    昔我先王熊绎,辟在荆山,筚路蓝缕,以处草莽,跋涉山林,以事天子,唯是桃弧、棘矢,以共御王事。今有我族支庶,名叫莫敖,带着一只灵鼠,拖着一根木棍,从神山中走出。