- 最后登录
- 2024-6-25
- 在线时间
- 1439 小时
- 阅读权限
- 100
- 注册时间
- 2009-7-5
- 积分
- 4934
- 帖子
- 1771
- 精华
- 9
- UID
- 101889
- 性别
- 保密
- 积分
- 4934
- 帖子
- 1771
- 精华
- 9
- UID
- 101889
- 性别
- 保密
|
本帖最后由 stopheart 于 2012-6-6 10:44 编辑
前面说过,西北天狼先生是唯一一个解出《万里长征》之人,这一天是 2004年3月15日,中国商品维权日,打假日。
打假日后,论坛里来了一个人 。
也正是这个人冒出,让老封论坛出现了共同的敌人!
我想20603先生,看到这些也不愿意再出来吧。
这件事情是如何发生的呢?找不到原始贴了,如果我想从上百万字节的资料里去找,一辈子也找不到......
qwater之前我略微介绍过他,大家还记得我用了一个词汇:犀利,他的注册时间很早:2003-1-30
大家一起来看一下,当天qwater在密集的时间内发了几个帖子,都是有所指的,如果你读懂的话。
先看第一个帖子:从“游戏规则”谈起
日期:2004-3-31
时间:16:11:15
最近论坛的气氛有了一些变化,好像有了一些“火药味”。以前这里是箱子迷们交流的场所,大家或积极攻关或发表自己设计的关卡。自从ggglgq在论坛发布了许多篇相同的文章后(为了严谨,刚才特地在所有版面数了一下,只剩2篇相同的了,估计是被斑竹删除了),由于互联网上众所周知的原因,我首先对此表示了怀疑,从回应看到有此想法的并非只有我一个人。接着而来的
,我的正当的怀疑变成了
又有人恶意攻击,真让人气愤[/quote],要求我为我说的话“负责”,一下子严肃了起来。然后gglgq发表了对自己的算法的一系列修饰性的介绍,
需要说明的是:目前,据我所知,除了我这儿已发现的这一 彻底的单箱最少步 推箱子 程序算法,我还从没听说有人发现过这一算法(现在正在同你们发现这个 “精妙机”,因她太神奇深奥了!),她势必开创计算机算法的新纪元!即便说它值 十万美圆,也不为过!可惜因为我害得她的身价降至十万元人民币!
这些修饰是否有夸大其词的成份,到目前为止还无法验证。单单从这些修饰性的词汇来看,这里所有的箱子迷恐怕第一感觉都是不相信的。我对此使用了“永动机” 的比喻,得到了Jackal“精妙!”的评论,这些评论正常的网友都会把它看成是一种调侃。这之后像我这样的箱子迷就变成了叫喧“地心学说”顽固守旧的幽灵们,害怕面对“精妙机” 。呵呵,我要是真的变成了,也许更有意思。
在互联网上,每天我们都可以看到许多批评和评论,比如央视的《射雕英雄传》、崔永元冯小刚以及《手机》、哈尔滨宝马案等等,网友评论或者激烈,或者幽默,或者中肯,甚至于直接的国骂、女性亲属骂和生殖器官骂也不鲜见。既然在互联网上,就应
该遵循互联网的游戏规则。这里最著名的一条游戏规则就是“没有人知道在你网络对面的是不是一条狗”,也没有人关心“对面的是不是一条狗”。如果不能接受互联网的游戏规则,还是待在荒山野岭或世外桃源的好,否则碰见一个网友,就要引起一番“纠葛”,纯粹自己找麻烦了。
我不是数学系,也不是计算机系的,对于你的算法(还没有看到的)不敢说懂,但至少学过数据结构的人,都知道大凡复杂算法,无非是在时间复杂度和空间复杂度上寻求一个最佳的平衡。推箱子游戏的解关算法之所以难,也就是难在了目前的硬件条件,还无法同时满足这两点需求。据我所知,国外一些计算机系的博士论文就是关于解关程序算法的实现问题,Andreas Junghanns, Wolfgang Holzinger等人也对此公开发表过论文探讨。
关于“单箱最少步推箱子”,这是gglgq使用的词汇,我的理解是解决单个箱子单一目标情况下的最少步移动(没有其他箱子和目标的影响),对于此,葛永已经做了比较清楚的说明,
单个箱子的推动的最优化,不论是考虑推动数还是移动数,只需要考虑箱子的位置以及对应的人的位置,搜索空间是M*N*4;对于每个箱子位置,还需要计算一下人是不是能从箱子的一边走到另一边,这个复杂度是M*N。因此最大搜索数大约是M*M*N*N*4。
对于20*20大小的关卡,最多要搜索640000个状态,用广度优先搜索遍历一遍,应该可以在毫秒级完成,只有正确与否,谈不上精妙吧。
如果“单箱最少步推箱子程序”,确实是解决这样的问题,可以说没有什么实际意义,早已经不成问题的解决方案,谁还会关心呢?如果是专门针对 Supersoko中的单箱单目标最少步(在我使用的Freesoko1.88b中,确实存在不是最佳移动的情况,Supersoko4.0未使用,但估计是同一个算法,也存在同样的问题;BoxSearch4.03中由于手工工作量大,懒于做单独箱子的测试),也没有实际意义,因为 Freesoko1.88b中不能正确的单箱单目标最少步,人工很容易就能判断出来。
如果“单箱最少步推箱子”,是指多个箱子多个目标环境下,其中一个单独箱子到所有可能目标点的最少步移动,我想如果能解决了,所有箱子的最佳移动问题也许可以相应得到解决,但真正要解决所有箱子的最佳移动问题,其考虑的出发点也不一定就是“多个箱子多个目标环境下,其中一个单独箱子到所有可能目标点的最少步移动”,这是我个人观点,不保证正确。
关于商业利益,现在的社会大家已经能够接受这样的观点。但在这里想找十万元人民币恐怕是痴人说梦,换作是我1分钱也不会出的。商业价值的体现必须有相应的市场基础,推箱子游戏的爱好者人数本来就不多,这里面大多数还是以娱乐为主,根本不关心最佳移动还是最佳推动。说到这里,提一下前段时间20603曾经有一些市场推广的想法,我倒是认为设计关卡的市场价值比解关程序在推箱子游戏这个领域要大得多,当然在其他领域就另当别论了。但即使如此,由于推箱子游戏本身的特点,其爱好者人数也无法和同为智力游戏的棋牌类相比,自然商业价值也很难得到体现,唯一的可能是在全世界范围内,人气还旺一些。说到底,想跟足球这样的运动比是永远也不可能的,即使是臭不可闻的中国足球,里面蕴藏的商业价值也是无法估算的天文数字。
再说一下文字的表达和理解能力,似乎gglgq需要补课。举例说明:
从你前后矛盾的谈论中,我已看出你与老封先生等重量级智能软件开发者在单箱最少步问题上的困惑及不信任的心态! 我看别人的谈论前后逻辑清楚,并无矛盾之处,也许我太聪明。:)别人的评论并没有表现出困惑的地方,不信任还差不多。
《智娶华山》的说明,我是看不懂了,也许我太笨。:(。
未申请并得到批准之前是专利吗?
葛永先生,你的确是计算机编程高手,你的《智娶华山》算法我估计(老封)先生是难以想到的! 葛永先生是算法高手,程序嘛,从用户角度说还是有很多改进之处;老封才是编程高手,程序功能强大,界面友好。
baoxkbaoxk:
那更好,欢迎!!那更有利于我们找出你的程序中会导致最少步错误的地方!!
欢迎!!欢迎!!但我的程序若公开,你们就根本无法找出我的程序中出现的任何会导致最少步错误的地方!! baoxkbaoxk的程序什么时候测试的最少步错误?刚发布了一个,转眼就变量错误,后面一句还是不评也罢。
以前,光考虑不要侵犯 xsb文件 的格式(因你的boxworld
1.49软件是永远免费的,不会牵扯到版权利益) xsb是公开格式,使用有何侵权顾虑,难道想把xsb据为己有?
[quote]
老封,我要给出你的程序运行出错的关卡!!你说的((你可以使用我的最新版本4.0,不注册也可以对演示关卡进行所有操作。))
在那里下载,怎么我在你的网站下载的最新版本4.0,不注册根本不能对演示关卡进行所有操作。这是怎么会事??
怎么回事?我告诉你,笨。
……
另外请,gglgq先生不要动不动就来那么一个声明,这里不需要那样严肃的东西。
1996年就上Internet,从最初的热心逐渐变为现在的冷漠,多年来,很少发表100字以上的文字,灌水为主。今日所言,有所得罪之处,还请所涉及到的各位淡然视之,就当是疯子卖唱,也无不可。
第二个帖子,40秒左右就粘出来了!
10万年心血 只为一个“猜想”
日期:2004-3-31
时间:16:11:54
据中科院数学研究院介绍,每年他们都会收到上万封自称是破解了哥德巴赫猜想的论文,这些人倾心“猜想”却徒劳无获,全国累积耗在“猜想”上的时间达到十万年!专家指出:此举大可不必。
本报流动编辑室刊发了《街头流浪汉破解哥德巴赫猜想?》一文后,几天来流动编辑室再次接到多位市民的来电。
这些市民称自己也完成了对哥德巴赫猜想的论证工作,来自瓯海区的一名退休教师还来电声称:“流浪汉”证明方法是错的,他自己经过二十多年苦心研究,已真正破解了哥德巴赫猜想……哥德巴赫猜想就这么好论证吗?连日来记者就此采访了多方人士。
廿年心血 凝成一纸文稿
李先生,退休前是瓯海区一所小学的数学教师。前几天,李先生带着厚达283页的研究论文来到本报,论文用普通信纸手抄并装订而成,他指着上边密密麻麻的数字公式激动地告诉记者,二十多年来,他几乎用了所有工作以外的时间,来证明哥德巴赫猜想并最终“取得成功”。据李本人介绍,他从1981年开始走上证明之路的,其间曾几度中止论证。
上世纪九十年代初,有些丧气的他无意中看到英国费伯出版社和美丽布鲁姆新出版社悬赏百万美元求解,遂重新开始“长征”。经反复对比、论证,最终他用 “周期性概率”完成了“1+1”证明。目前,他已将论文寄往国内外数学研究机构。讲述自己的研究史时,李先生显得非常激动,翻阅手稿的手甚至在颤抖。记者问如果有人看了论文,指出研究错误时,他会怎么看?李表示,证明哥德巴赫猜想的确非常难,但他的方法“不可能错误”,繁杂的计算中可能“有疏误之处”,但那仅是个别问题,不会影响整个证明结果。记者提醒他很多论证者也都这么认为,如被认定错误、是否觉得二十年来白白浪费精力时,李激动地在纸上写了这样一段话:我不企求什么,我只想证明中国人的研究精神,为证明“1+1”贡献自己的力量。
破题论文 均是一沓废纸
带着流浪汉与退休教师的“破题”声明,记者专门采访了中科院有关研究人员以及我市高校的数学教授。
温州师范学院数学系特聘教授陆征一,对三天之内接连两人证明猜想的惊讶溢于言表。陆教授表示,哥德巴赫猜想以及费马尔定律在内的许多数学难题,有初等数学知识的人都看懂,但要证明绝没有捷径可言。古今中外多少世界公认的数学大师都在这些问题上无功而返。温州师范学院另一位曾从事数论研究的陈光瀛副教授也认为这是在“做无用功”。陈教授表示,爱好数学无可厚非,但拿二十年甚至更多心血去攻克哥德巴赫猜想,这种做法显然不明智。
随后,本报记者又向中国科学院的数学专家核实,几名专家告诉记者所谓的“破解”一说纯属虚妄之谈,利用现有数学理论及工具,根本不可能解决“歌德巴赫猜想”。
中科院数学与系统科学研究院书记李福安教授是我国数学研究领域的一位权威。李福安说,按照正常的程序,学术成果要得到承认必须先投到相应的权威学术刊物发表。像“歌德巴赫猜想”这样的世界性数学难题,即使权威刊物发表还不能算成功解决,还需要等待其他数学家进行检验并予公认。这些论证者大多数连一些基本的数学概念都没搞清楚。
李福安表示,要想证明“歌德巴赫猜想”,就必须寻找到新的理论和工具。“歌德巴赫猜想”是描述整数之间关系的一个猜想,但其论证必须跳出整数的范围。许多对其跃跃欲试的人,都仍然视其为整数问题,把世界难题简单化了。
北京师范大学数学系陈木法教授在接受记者采访时也表示,“近20年来,哥德巴赫猜想的证明没有本质进展。”
专家寄语 切莫一味猜想
在采访中,中科院数学院工作人员告诉记者,自从作家徐迟那篇著名的报告文学发表后,使数亿普通百姓对“自然科学的皇后是数学;数学的皇冠是数论;哥德巴赫猜想,则是皇冠上的明珠”这句话记忆深刻,也极大地激发了他们研究数学的热情。
去年在广东梅州也出现过“哥德巴赫猜想”被论证的消息。消息称一位当地的农用拖拉机手撰写出了《利用数学技巧对“歌德巴赫猜想1+1=2”的绝对证明》论文,事实上论文破解也是农用拖拉机手的“一厢情愿”而已。
目前,数学院每年都收到有关哥德巴赫猜想的信件、论文超过万封(件)———有上万人宣称自己破解了“哥德巴赫猜想”,在这些人中间为研究论证哥德巴赫猜想付出了极大的心血,有的甚至化费了20多年的时间,他们都是在徐迟发表报告文学之后开始破解猜想的,他们为了论证“猜想”基本上都已耗费了10年的时间,如此计算花在猜想上的时间已达10万余年,这些时间与精力的付出最终全是白白浪费。
另据了解,中科院数学院面对每年数以万计的宣称自己完成了对“歌德巴赫猜想”的论文,曾多次公开劝说那些尚不具备必要数学素养的爱好者们,放弃论证“歌德巴赫猜想”。■本报记者白锐
流动编辑室观点
“哥迷”:还要“猜”多久?
又是一名“猜想”的“破解者”。一篇报告文学竟然引出了这么多的“哥迷”。这是徐迟所始料未及的。在这些“哥德巴赫猜想迷”中,有初中学生,也有数学老师;有农用拖拉机手,也有街头流浪汉;有在田头萌发破解“新法”的,也有用“易经”点拨破题的……在这场“群众数学运动”中,“破题手”身份各异,“破题法”千差万别,但他们最终的结果是一样的:“哥迷们”长时间的付出都打了水漂!科学需要有探险精神,但科学更有着自身的规律,严肃就是其一大特性,谁都去猜,谁都要猜,这本身就不是科学的态度。科学攻关,不应该成为一场人人参与的“群众运动”———因为,科学不是人人都有能力去“猜”的。中国科学院数学院的李福
安说得好———“民间人士热爱科学的热情应该保护,但我们不提倡民间人士去攻世界数学难题。他们可以用这种热情去做更合适的事情。”“哥迷们”,别再猜了!■周丽峰
请注意关键词:猜想,最后一句话:“哥迷们”,别再猜了!
|
|