五千年(敝帚自珍)

主题:来个好玩的吧 -- 长颈鹿

共:💬39 🌺18
分页树展主题 · 全看首页 上页
/ 3
下页 末页
  • 家园 来个好玩的吧

    最近吵架太多,俺都不敢来了,今天看见吵得更厉害了,怕怕。

    不过呢,在老虎的帖子里看到个牛人

    万里风中虎:小议消费需求

    凯恩斯主义的宏观经济学在80年代已经破产。原因是出现了比他更了不起的经济理论。凯恩斯以前在剑桥曾经帮助过一个叫Frank P. Ramsey(外链出处)的人。也就是这个Ramsey在20来岁时写的三篇论文,彻底结束了凯恩斯的时代。

    应该说,俺有点八卦,特别是对牛人感兴趣

    怎么看怎么觉得这个人面熟,点开链接一看,熟人啊

    Work

    In 1927 Ramsey published the influential article Facts and Propositions, in which he proposed what is sometimes described as a redundancy theory of truth.

    One of the theorems proved by Ramsey in his 1930 paper On a problem of formal logic now bears his name (Ramsey's theorem). While this theorem is the work Ramsey is probably best remembered for, he only proved it in passing, as a minor lemma along the way to his true goal in the paper, solving a special case of the decision problem for first-order logic. As it happened, the lemma was not actually necessary for the results he obtained from it. However, Alonzo Church would go on to show that the general case of the problem Ramsey was tackling is unsolvable (see Church's theorem), while, ironically, a great amount of later work in mathematics was fruitfully developed out of the ostensibly minor lemma, which turned out to be an important early result in combinatorics, supporting the idea that within some sufficiently large systems, however disordered, there must be some order. So fruitful, in fact, was Ramsey's theorem that today there is an entire branch of mathematics, known as Ramsey theory, which is dedicated to studying similar results.

    His philosophical works included Universals (1925), Facts and propositions (1927), Universals of law and of fact (1928), Knowledge (1929), Theories (1929), and General propositions and causality (1929). Wittgenstein mentions him in the introduction to his Philosophical Investigations as an influence (but not as great an influence as Piero Sraffa).

    学过组合数学的都知道拉姆塞(拉姆齐)定理外链出处

    或者参加过奥数的肯定知道这个题——任意6个人中至少存在3个人相互认识或者相互不认识

    用组合数学的语言就是

    在一个K6的完全图内,每边涂上红或蓝色,必然有一个红色的三角形或蓝色的三角形。

    (严格的说应该是“如果必然有一个红色的三角形或蓝色的三角形,至少需要完全图的顶点数为6)

    用ramsey的语言就是R(3,3)等于6

    K5是可以不存在同色三角形的

    点看全图

    外链图片需谨慎,可能会被源头改

    ramsey数的求解是非常难的题,有个八卦故事是erdos说的

    “想像有队外星人军队在地球降落,要求取得R(5,5)的值,否则便会毁灭地球。在这个情况,我们应该集中所有电脑和数学家尝试去找这个数值。若它们要求的是R(6,6)的值,我们要尝试毁灭这班外星人了。”

    愿意动脑筋的同学可以试试看这个——任意18个人中至少存在4个人相互认识或者相互不认识

    就是R(4,4)等于18

    • 家园 虽说我曾经做过这题目

      不过河里大牛众多,我就不出来献丑了,送花有宝

      恭喜:你意外获得【通宝】一枚

      鲜花已经成功送出。

      此次送花为【有效送花赞扬,涨乐善、声望】

      [返回] [关闭]

      • 家园 俺的花就送不出去了么?5555555
        • 家园 写个R(3,3)=6吧

          任意取一个点A,与A相连的5个点至少有3个点和A之间是红线(或者是蓝线)关系。

          若这3个点中有两个点之间有红线关系,取有红线关系的两个点为B,C,那么ABC是一个红线三角形。

          如果3个点中没有红线关系,那么这三个点构成一个蓝线三角形。

    • 家园 只学过R(3,3)的人飘过~~~
    • 家园 实在是不会,送花就闪
    • 家园 这样吧,证明R(3,3)等于6的前三名送花一朵

      证明R(3,4)等于9的前三名送花2朵

      证明R(4,4)等于18的前三名送花5朵

      前提是我要收到这么多花

      • 家园 试试看R(3,4)=9

        9个顶点的完全图,某个顶点的8条边,至少有4条是同色的,

        假设有4条蓝色的边,那么如果这4条边所连的顶点之间有蓝色的边,则形成蓝色三角形,

        如果这4条边所连的顶点之间没有蓝色的边,则形成红色4顶点完全子图

        以上证明了R(3,4)<=9

        再证明存在8顶点的没有同色三角形和4顶点同色完全子图即可

        没有很好的画图工具,描述一下:

        八边形,共C(8,2)=28条边

        所有边都是红色(8条),

        相隔一个顶点的对角线都是蓝色(8条),

        相隔两个顶点的对角线都是红色(8条),

        相隔三个顶点的对角线都是蓝色(4条),

        • 家园 先送一朵花

          恭喜:你意外获得【通宝】一枚

          鲜花已经成功送出。

          此次送花为【有效送花赞扬,涨乐善、声望】

          谢谢

        • 家园 似乎不太对...

          点看全图

          外链图片需谨慎,可能会被源头改

分页树展主题 · 全看首页 上页
/ 3
下页 末页


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河