月归档:五月 2016

推箱子解关器算法(一):PI密室的故事
[ Sokoban Solver Algorithm (1) - A Story of PI-Corral ]

  本文链接:http://sokoban.ws/blog/?p=2570   作者:杨超  (by Yang Chao) 我曾在开源软件USokoban上实现一个简单的推箱子解关器,对其算法有一定了解,但不是太深入。最近发生了一件关于推箱子解关算法的论文剽窃事件,所以我也借此机会写写推箱子解关器算法。 I have implemented a simple solver in my open-source project USokoban,  so I have some basic understanding of Sokoban solver algorithm, but I am no expert on this topic. Recently, an idea … 继续阅读

发表在 推箱子, 算法, 编程 | 留下评论

读书笔记(之四)- The Fabric of Reality

  读书笔记系列博文主要记录阅读科学类图书的体会。 最近读了David Deutsch的《The Fabric of Reality》一书,是由英国Penguin Books出版的。此书作者是一位在以色列出生的英国量子物理学家,该书主要论述了作者的一套科学哲学思想,把四个领域的科学理论结合起来并且稍微拓展,形成了一个解释现实世界一切的“万有理论”(Theory of Everything)体系。   这四个理论是: 一、量子物理中非主流的“多重世界”(Many Worlds)解释。这是美国人Hugh Everett首先提出来的。作者David Deutsch批评的当前主流量子物理学界的工具主义思想,这种思想只满足于理论能准确预测实验结果,却没有对背后的机制作出合理或者可以理解的解释; 二、Karl Popper的认识论(epistemology)。Karl Popper 的主要观点是科学不是为了预测未来,而是为了给现实世界的种种现象作出解释。那种归纳主义(inductivism)的科学观是不正确的。只有在比较两套理论的优劣时,才有时候会用到实验设计和预测的方法; 三、生物进化论,得到Richard Dawkins在《自私的基因》一书中得到加强版的表述; 四、Turing-Church命题,用图灵机对可计算性进行的刻画。David Deutsch对此作了延伸,认为量子计算将在未来得到实现,世界在量子计算的角度看可以模拟自身。或者说,现实世界就是一台通用的量子计算机。我之前对量子计算的概念了解不多,读了此书有了初步了解。 David Deutsch的主要结论是:世界是可被认识的,并且可以在世界内部模拟世界。这类似于在经典的Turing计算理论中,通用图灵机可以模拟任何另外一部图灵机。由此一个重要推论就是,智慧生命比如人类的出现并非无足轻重的事。恰恰相反,人类的文明和知识才是证明现实世界可被认识、可计算模拟虚拟现实的最重要证据。很多其他科学读物中,往往认为日心说和进化论等科学理论的发展否定了人类中心论或者优越感。而David Deutsch却同样通过科学方法,论证人类是现实世界最重要的现象之一。 全书精彩的地方很多,令人手不释卷。特别是第一章就对一种观点提出了批评。这种观点认为人类知识爆炸性发展导致任何一个现代人无法掌握人类的全部知识。而David Deutsch却认为,一个人固然无法记住全球所有电话号码,但这些数据对理解世界几乎毫无用处。相反,正是如今的科学发展才第一次使得一个人能够比以往任何一个时代,从更深入更广泛的角度地去理解整个世界的结构。而他在书中建立在四个理论之上的“万有理论”可能是人类历史上的第一个“万有理论”。作者也很谦虚地表示,会有更完善的万有理论替代他的理论。 另外,书中有专门一章讨论了数学的本质。作者认为,数学并不比物理理论具备更高的可靠性。或者说数学所使用的公理系统和演绎的方法并不天然就具备更高的可靠性。哥德尔的不完备定理正是说明了这一点。数学的可靠性依然是通过解释现实世界来达成,这和物理是一样的。 David Deutsch还有另外一本书《The beginning of infinity》,我只翻了几页,可视为这本书的补充。如果两本书只看一本,我认为还是这本《The fabric of reality》更值得看。  

发表在 读书 | 留下评论

2016年欢乐跑中国10公里锦标赛广州站暨第二届广州10公里路跑赛

  本文地址:http://sokoban.ws/blog/?p=2487 欢乐跑中国10公里系列赛是盈方体育主办的,今年已经是第三年了。2014、2015两年都只有五站,其中广东有深圳站和惠州站两站。今年和中国田协合作,升级为CAA认证的10公里锦标赛,并新设广州站。控股了瑞士盈方(infront)的王健林曾说:拥有重大赛事品牌的组织才是体育产业中的上游A端。看来欢乐跑中国10公里系列锦标赛就是盈方在大众路跑产业中要打造的品牌。除了盈方,王健林还收购了拥有铁人三项品牌的WTC公司。 广州10公里路跑赛是广州市体育竞赛中心主办的,2015年办第一届。今年第二届和欢乐跑中国10公里锦标赛广州站合二为一。 2014年,第一次参加李宁10k深圳站时,李宁10公里路跑联赛还是中国田协CAA认证的。但2015年起,李宁10k舍深圳站设广州站后,便不再和寻求CAA认证,导致今年李宁10k的赛道更是选择人行道,标准大为降低。 虽然最近跑得少,跑个10公里应该还是很轻松的,所以广州本地的正规比赛一定要报名。 一、报名 2016年3月10日,官网报名了欢乐跑中国10k广州站,并支付120元报名。当时比赛信息显示比赛日期为4月17日,地点广州大学城。 后比赛地点更改为阅江路一带,日期改为5月15日,报名费也降价到100元,还收到将退我20元的邮件通知。4月14日,20元终于退回我的支付信用卡。 临近5月,才又知道这项比赛和广州10公里路跑赛合二为一了,是同一个比赛。之前一直未见广州10k官网更新或者发布信息,我还以为广州10k赛事要取消了。 二、领装备 5月13日,坐地铁至宝岗大道站,步行至鹤洞大桥引桥底下的主场篮球场领取了装备。有存衣包、B-Tag芯片的大号码布一张、特步T恤、比赛指南。居然还送装手机的跑步腰带一条,十分实用。 三、比赛日 5月15日早上,6点40分和蔡老师汇合,后一起坐地铁至新港东站,步行至起点–琶洲展馆北广场,存衣,在A区等待起跑。安保工作和秩序都不错。 7点30时准时开跑,跑出一百来米后第三次在跑步比赛中遇见中学体育老师担任裁判。停下打招呼后又赶上和我一起跑的蔡老师。 第2公里跑得略快,其余都基本维持在5分至5分10秒的配速。50分兔子一直在我前面,最后50分多几十秒通过终点。自己手表记录的净时间也是50分3秒。 天气热,近来跑得少,所以没有特意跑太快。从2公里开始取水喝,全程喝水4次。差100米左右没有拿到欢乐英雄戒指(第一名冲线后18分钟内)。 先是领取奖牌,再领取两瓶水、一根香蕉、一条毛巾。排队领回存衣包。和蔡老师又照一会相,才坐地铁离开。 四、赛后 赛后当天晚6点多,短信收到枪声成绩为50分39秒。 5月16日下午,官网下载到电子版证书。我排名532,净时间50:01。 5月18日中午,又在官网下载到照片4张,是runff.com提供的技术服务。    

发表在 健身 | 留下评论

读书笔记(之三)

  我一直对生命科学还是非常感兴趣的,本篇读书笔记谈谈这方面的一些认识。 上大学时,读过湖南科学技术出版社翻译出版的《我们为什么生病》一书。看了该书后,我感冒就再也不吃药了,一般三四天就好。近来看王立铭的一些科普文章,人类疾病无非主要由三种原因引起,第一类是外部原因,由病毒、细菌、寄生虫等引起;第二类是内部原因,如基因疾病等;第三类是内外部原因共同起作用,如肥胖等。去年(2015年)诺贝尔生理学或医学奖首次颁发给中国科学家屠呦呦,就是表彰她发现青蒿素用于治疗由寄生虫引起的疟疾。 这两三年坚持跑步,于是我就想搞清楚人体内运动能量代谢的原理。为此,买了一本英文影印版的《医学生理学》(Textbook of Medical Physiology),此书有专门一节谈运动生理学(sports physiology),这一节我反复看过多遍。还查阅了其它多种资料,比如青年千人学者王立铭在微信公众号上连载发布的《糖尿病的故事》等,对理解血糖的作用也很有帮助。长跑过程中,主要的还是由肌糖原提供能量,要连续跑1个小时左右,脂肪的供能比例才会显著提高。 跑步时,多次使用心率带实时监测运动前、运动中和运动后的心率变化,对理解呼吸系统在运动中的作用也有一定帮助。 有一个衡量有氧耐力运动的实测数据是最大摄氧量(VO2max),常用单位是毫升每分钟每公斤(mL/(kg·min))。从生理机能上来讲,最大摄氧量主要由三方面决定:一是呼吸系统从外界获取氧气的效率;二是循环系统(心脏和血管)把氧气从肺部运送到全身(对跑步而言,主要是腿部肌肉)的效率;三是肌肉细胞分解肌糖原转化成能量的效率。 对大脑的工作机制也比较好奇,但一直没找到合适的书。2014年读了一本《The Tale of the Dueling Neurosurgeons》,才对神经科学有了初步了解。还买了英文影印版教材《Neuroscience》。 对进化论也比较感兴趣,很多年前看过戴蒙德的《第三种猩猩》一书。最近才搞清楚人科下现存只有四个物种:红毛猩猩、大猩猩、黑猩猩,还有人。戴蒙德的另一本书《枪炮、病菌与钢铁》也给我留下深刻的印象,书中讲的南岛人的史前迁徙是我之前从来没有听说过的。不过书中对南岛人迁徙的主要证据还是来自语言学和其它文化特征等等。最近分子人类学的发展,对包括南岛人在内的更多史前人类迁徙提供了科学上的证据。十年前读过《出非洲记》一书就是从父系Y染色体和母系mtDNA谈人类的史前迁徙的,不过也许是翻译的原因,看得我一头雾水。 但是基因测序和相关研究的发展非常快,这个月我又在网上搜索一下这方面的知识,发现已经有按父系Y染色体的突变情况,把人类分成从A到T共20个主要单倍群的理论。而且现在的基因测序的速度大大加快、成本大大降低。国内也有像WEGENE这样的公司,提供价格可议接受的通过唾液检测基因的服务。 前面写了这么多,主要是为了说我买了一个WEGENE的基因检测服务。4月份买的,5月11日查到结果,我的Y染色体单倍群为O,属于典型中国人。 说到基因,不得不说最近两年很火的基因编辑技术CRISPR/Cas9,看过多篇对此技术的英文科普,以及土摩托、王立铭等人的中文科普。    

发表在 读书 | 留下评论