方弦

方弦

科学松鼠会成员,信息学硕士生

海外 法国

个人签名:那啥从松鼠会摸来的,计算机比较在行(理论方面),数学物理啥的也喜欢,请大家多多指教~~~

博客:http://fwjmath.wordpress.com/

随便说说数学(全部19篇)

  • 机械证明可不仅仅是枚举——最近Erdos某猜想特殊情况的证明

    2014-03-10 04:43

    前段时间有这么一个新闻,说是有人用计算机证明了Erdos的一个猜想的特殊情况。因为忙,最近才看了这个论文,想给大家说说是怎么搞的。 首先,我们来说说这个问题到底是啥。 我认为这个问题可以归到拉姆赛类型的问题中,粗略来说,这类问题说的是即使在非常无序的结构中,当结构的大小达到一定程度时,必然会有高...查看全文

  • 最近去了德国开会

    2014-03-10 03:21

    黑森林环境太幽美了,树真是多……另外德国菜为啥这么咸…… 查看全文

  • 【最后一贴】关于数学小组的成立,以及几点澄清

    2012-11-30 04:31

    在正式开始之前,我先做一点说明。这篇日志,正如题目所言,是介绍数学小组的成立以及提出几点澄清。之所以以日志的形式发布,是因为我已经不再打算关注死理性派小组。如果是普通帖子,我将无法回复各位的跟贴;但作为日志的话,即使退出小组,也可以继续回复各位的疑问。对于只关心数学内容的诸位,抱歉了,这里没有数学。...查看全文

  • 【对专业吐槽向】理论计算机不是计算机万能的……

    2012-10-24 19:47

    一篇旧文(而且是吐槽文……),偶然重新看到了,贴一下不要太介意…… -----------------我是实验室里的分割线-----------------   我是学计算机的,而且是很偏理论那种,说白了跟数学不是差太远。经历过以下这些事之后,我正在严肃考虑是否应该自称是学数学的……      ...查看全文

  • 挑战一下死理性派风格的解谜吧!(Instant Execute已有一人通关)

    2012-10-08 03:49

    看了Vinner同学的帖子有感(虽然有感但是题目没有做……),决定做一个更加死理性派的解谜游戏。当然,作为一个搞数学的程序员,除了单纯的谜题之外,当然希望再多做点东西,于是就捣鼓出来下面这个东西了: ChainQuiz:http://code.google.com/p/chainquiz/ 这是...查看全文

  • 写了一个演化艺术的程序

    2012-09-18 04:45

    话说暑假的时候,读了本关于复杂性的书,然后重温了一本关于计算机仿真的书,抽筋了就想写一个演化艺术的程序。 所谓演化艺术,其实跟遗传算法很像。关于遗传算法,请参看我在松鼠会的文章《遗传算法:内存中的进化》。而演化艺术,实际上就是以人的美感作为选择压力。 我的程序,演化的对象是数学公式。首先将包含x...查看全文

  • 回答关于哥德尔定理与人工智能的问题...

    2012-07-20 05:18

    本文为针对《关于哥德尔定理与人工智能的问题...》的回答。 Q1:这个解释不太对。应该是如果G是假的,那么在PM中必然存在G的一个证明,然后导出G是真的,因为PM是一致的所以这种情况不可能发生,所以G是真的。那么根据G自己的陈述,就有G在PM中不可证明的结论。 Q2:可以这样说,G是背景一中的那...查看全文

  • 关于最近正在写的图灵专题的文章

    2012-07-06 01:31

    嗯,虽然图灵诞辰已经过了但是我还没有全部写出来……因为内容太多,打算写成一个系列,尽量说清楚(我知道的)可计算性理论里边跟图灵有比较大关系的,比较基本或者比较有趣的概念。现在第一篇已经写好了,正在改,第二篇也写到一半了。 问题是,现在正是实习的尾声,我要写实习报告还有报告用的幻灯片……于是本来就不...查看全文

  • 子集和数,以及其中的相变现象

    2012-05-17 17:05

    子集和数是一个很有名的计算性问题。给定一个自然数集S和一个目标值m,求是否存在S的子集T,使得T中元素的和正好是m。它是一个NP完全问题,但是那种比较弱的类型,因为动态规划的时间复杂度是有关S中元素和的多项式。与之对比的则是哈密尔顿回路问题,在NP完全问题中它算是非常难的。 不过,我在这里讨论的当...查看全文

  • 刚想出来一个可能有点奇怪的题目

    2012-03-27 07:02

    实际上是跟我现在实习有些关系的,不过伪装一下之后看起来相当神奇。 设正整数a_1>a_2>...>a_k>=0,b_1>b_2>...>b_k>=1 又设n=a_1+a_2+...+a_k+b_1+b_2+...+b_k 求证: (a_1+b_1)(a_1+b_2)...(a_1+b_k)(a_2...查看全文

©果壳网    京ICP证100430号    京网文[2015] 0609-239号    新出发京零字东150005号     京公网安备11010502007133号

违法和不良信息举报邮箱:jubao@guokr.com    举报电话:18612934101    网上有害信息举报专区    儿童色情信息举报专区