由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Military版 - 更新以下某民科P vs. NP灌水情况
相关主题
Re: 包子请教万能的买买提一个整数集的问题 (转载)(一)不谈宗教,(二)不谈政治,(三)宗 旨忌远,(四)议
越南数学家吴宝珠获菲尔茨奖 (转载)方舟子到底为哪个生物公司服务大家可以人肉
北大为主的中国数学新生代横空出世了抓住法国大罢工背后的那只黑手
数学苍穹闪烁中国新星---中国基础科学井喷在即春节是中国文化的最后堡垒
上次张伟获奖;张寿武:数学苍穹闪烁中国新星国内政治课索然乏味的原因可能是因为把哲学当成文科
这个猥琐男到底是谁?再来一个禁枪的反例,这回没什么说的吧
纪念64,哥德巴赫猜想 - 徐迟看清美国评级下降烟雾背后的实质
《财富战争》前言我也举个反例,同样是总统夫人,吴淑珍魅力四射吗?
相关话题的讨论汇总
话题: omega话题: sj话题: union话题: 引理话题: np
进入Military版参与讨论
1 (共1页)
n********g
发帖数: 6504
1
前几天看了一下民科版P vs. NP灌水的修改章节。
去年年底的审稿意见集中在引理2.4。这引理给出一个语言(能够解决问题)集的上界
。原来的证明用了反证法。
审稿人给出一个反例说明证明错误(我们觉得这个反例只说明证明错误,不能说明引理
本身错误),而且(另一审稿人?)不相信语言集存在上界。第二点意见我们没有搞懂
,可能意思是语言集包含无穷的语言(问题),所以不存在上界。如果是这样很无语。
新的修改的一个突出之处是改变了表达方法。结果是让人感觉问题清晰得不用怎么证明
。如原来i属于非负整数集合N的写法改为0<=i 然数的最小序数。在这里omega只是一个记号,是否存在不重要。
大体而言,我尝试翻译这引理2.4如下:对任意一个集合S,任选一个函数f,对任意s属
于S,f(s)存在并是一个非负整数(想象一下用的时间或空间,有解的问题都是有限的
非负整数)。则可以定义S的子集,S_i={s|f(s)<=i}。S属于A=以所有Si为元素组成的
集合(0<=i 新的证明思路是一一对应,不需要反证法:
对任意0<=k 注意观察,UNION_{0<=j<=k UNION_{0<=j 而S=UNION_{0<=j 另外,在讨论审稿给出的反例时,发现一个没听说过的幼儿园到初小级别的模式(游戏
)。而解决这个反例只是这个模式的“一阶”情形。这个模式如果继续推广到无穷是什
么样(的几何结构)很有趣。
a***e
发帖数: 27968
2
你这个在自娱自乐啥呢?

★ 发自iPhone App: ChinaWeb 1.1.5

【在 n********g 的大作中提到】
: 前几天看了一下民科版P vs. NP灌水的修改章节。
: 去年年底的审稿意见集中在引理2.4。这引理给出一个语言(能够解决问题)集的上界
: 。原来的证明用了反证法。
: 审稿人给出一个反例说明证明错误(我们觉得这个反例只说明证明错误,不能说明引理
: 本身错误),而且(另一审稿人?)不相信语言集存在上界。第二点意见我们没有搞懂
: ,可能意思是语言集包含无穷的语言(问题),所以不存在上界。如果是这样很无语。
: 新的修改的一个突出之处是改变了表达方法。结果是让人感觉问题清晰得不用怎么证明
: 。如原来i属于非负整数集合N的写法改为0<=i: 然数的最小序数。在这里omega只是一个记号,是否存在不重要。
: 大体而言,我尝试翻译这引理2.4如下:对任意一个集合S,任选一个函数f,对任意s属

a******9
发帖数: 20431
3
get a life dude

:前几天看了一下民科版P vs. NP灌水的修改章节。
1 (共1页)
进入Military版参与讨论
相关主题
我也举个反例,同样是总统夫人,吴淑珍魅力四射吗?上次张伟获奖;张寿武:数学苍穹闪烁中国新星
越自恨,就越应该赖在美国这个猥琐男到底是谁?
反证法推理转基因问题纪念64,哥德巴赫猜想 - 徐迟
老外迷上中国麻将 游泳池里也“搓麻”《财富战争》前言
Re: 包子请教万能的买买提一个整数集的问题 (转载)(一)不谈宗教,(二)不谈政治,(三)宗 旨忌远,(四)议
越南数学家吴宝珠获菲尔茨奖 (转载)方舟子到底为哪个生物公司服务大家可以人肉
北大为主的中国数学新生代横空出世了抓住法国大罢工背后的那只黑手
数学苍穹闪烁中国新星---中国基础科学井喷在即春节是中国文化的最后堡垒
相关话题的讨论汇总
话题: omega话题: sj话题: union话题: 引理话题: np