a******a
发帖数: 2646 | |
n**********5
发帖数: 1707 | 2 因为它们相等
【在 a******a 的大作中提到】
: 为什么证不出来他们不等，
|
a******a
发帖数: 2646 | 3 你整出来了？
文章在军版发表了？
【在 n**********5 的大作中提到】
: 因为它们相等
|
p****s
发帖数: 3184 | 4 有量子计算的因素在里面搅和。
这是个罕见的当前物理实现干扰算法理论的特例：假设目前为止物理实现的最强
quantum computer有N个qubits，则 for x<=N, P=NP；
但是对于y = x+N，P和NP的关系 仍然 等于 N为0时(即没有quantum computing存在时)
的 普通的P和NP之间的关系。换句话说，N就是个搅局的，仍不能改变问题的实质。N终
归是有限的，因为宇宙里一共就有2^280个氢原子，你就是把每个氢原子都能实现成1个
qubit，N也不会超过2^280. |
h******k
发帖数: 810 | 5 你是不是不知道P/NP是什么的缩写？代表什么意思？这个和计算机有多少bit有毛关系。
时)
【在 p****s 的大作中提到】
: 有量子计算的因素在里面搅和。
: 这是个罕见的当前物理实现干扰算法理论的特例：假设目前为止物理实现的最强
: quantum computer有N个qubits，则 for x<=N, P=NP；
: 但是对于y = x+N，P和NP的关系 仍然 等于 N为0时(即没有quantum computing存在时)
: 的 普通的P和NP之间的关系。换句话说，N就是个搅局的，仍不能改变问题的实质。N终
: 归是有限的，因为宇宙里一共就有2^280个氢原子，你就是把每个氢原子都能实现成1个
: qubit，N也不会超过2^280.
|
n**********5
发帖数: 1707 | 6 你面对的问题是阿列夫零无穷，比你的氢原子总数的总数次方次方次方下去都要多。
这个问题其实并不难解。问题是考试100分容易，真正知道可数无穷的人少，知道图灵
机的人更少，同时知道两者的人更少。我bet库克并不是很本质地认识可数无穷或图灵
机。他是研究代数出身的。所以他能定义出NP难问题。但是没能证明P其实等于NP。库
克的课程太枯燥，没有什么学生愿意选，不想拖累GPA。学什么都对找工作有帮助。学
代数真是脑子坏了。因此也决定了P＝NP问题令人生畏。但其实并不特别复杂。
我相信这个问题不久就会有突破。
图灵机是建立在可数的基础上的。通用图灵机对应阿列夫零。但是量子系统不是可数的
。这也是“测不准”的根源。哪怕最简单的量子系统，计算能力都要强于通用图灵机。
令人感兴趣的是这些基数是没有上限的。量子系统对应实数域。之上的层次的物理意义
是什么。令人好奇。也许是人类还没有观察到的物理现象。
时)
【在 p****s 的大作中提到】
: 有量子计算的因素在里面搅和。
: 这是个罕见的当前物理实现干扰算法理论的特例：假设目前为止物理实现的最强
: quantum computer有N个qubits，则 for x<=N, P=NP；
: 但是对于y = x+N，P和NP的关系 仍然 等于 N为0时(即没有quantum computing存在时)
: 的 普通的P和NP之间的关系。换句话说，N就是个搅局的，仍不能改变问题的实质。N终
: 归是有限的，因为宇宙里一共就有2^280个氢原子，你就是把每个氢原子都能实现成1个
: qubit，N也不会超过2^280.
|
m******g
发帖数: 621 | |
m******g
发帖数: 621 | 8 卧槽
时)
【在 p****s 的大作中提到】
: 有量子计算的因素在里面搅和。
: 这是个罕见的当前物理实现干扰算法理论的特例：假设目前为止物理实现的最强
: quantum computer有N个qubits，则 for x<=N, P=NP；
: 但是对于y = x+N，P和NP的关系 仍然 等于 N为0时(即没有quantum computing存在时)
: 的 普通的P和NP之间的关系。换句话说，N就是个搅局的，仍不能改变问题的实质。N终
: 归是有限的，因为宇宙里一共就有2^280个氢原子，你就是把每个氢原子都能实现成1个
: qubit，N也不会超过2^280.
|
m******g
发帖数: 621 | 9 P=NP问题其实不特别复杂？WTF
对于NP-COMPLETE问题，你的量子计算机（假设有的话）算依旧是NP（假设P!=NP）。
【在 n**********5 的大作中提到】
: 你面对的问题是阿列夫零无穷，比你的氢原子总数的总数次方次方次方下去都要多。
: 这个问题其实并不难解。问题是考试100分容易，真正知道可数无穷的人少，知道图灵
: 机的人更少，同时知道两者的人更少。我bet库克并不是很本质地认识可数无穷或图灵
: 机。他是研究代数出身的。所以他能定义出NP难问题。但是没能证明P其实等于NP。库
: 克的课程太枯燥，没有什么学生愿意选，不想拖累GPA。学什么都对找工作有帮助。学
: 代数真是脑子坏了。因此也决定了P＝NP问题令人生畏。但其实并不特别复杂。
: 我相信这个问题不久就会有突破。
: 图灵机是建立在可数的基础上的。通用图灵机对应阿列夫零。但是量子系统不是可数的
: 。这也是“测不准”的根源。哪怕最简单的量子系统，计算能力都要强于通用图灵机。
: 令人感兴趣的是这些基数是没有上限的。量子系统对应实数域。之上的层次的物理意义
|
p****s
发帖数: 3184 | 10 你这一张嘴就缩写的水平 知道NP问题的实质是规模问题么？刚上个算法课知道NP的缩
写就了不起了？
Non-deterministic poly time的搜索空间是指数，在问题规模小的时候用brute-force
穷举法可以解决。傻帽去学学Andrew Yao和Manuel Blum的算法基础/密码基础，这个规
模由所谓的input metric x度量，在哈密尔顿回路这样的图论问题里就是节点个数，在
加密等用的one-way function里就是密钥bit长。
不以bit计的input metric x可以转换成以二进制bit计的等价NP问题，学点Elliptic
Curve Crypto里的Zp到Z2的转换.
系。
【在 h******k 的大作中提到】
: 你是不是不知道P/NP是什么的缩写？代表什么意思？这个和计算机有多少bit有毛关系。
:
: 时)
|
|
|
p****s
发帖数: 3184 | 11 呵呵，对于N qubit的quantum computer，一般computer (Turing Machine)上的NP问题
在input metric x <= N的时候 就是这台quantum computer的P问题。
【在 m******g 的大作中提到】
: P和NP跟量子计算不搭界吧。
|
m******g
发帖数: 621 | 12 好。
我之前以为P NP只定义在图灵机上呢。。。
【在 p****s 的大作中提到】
: 呵呵，对于N qubit的quantum computer，一般computer (Turing Machine)上的NP问题
: 在input metric x <= N的时候 就是这台quantum computer的P问题。
|
p****s
发帖数: 3184 | 13 你这是上离散数学课扯算法基础的蛋
还是先去上上Goldwasser, Bellare, Impagliazzo这些MIT gang出身的人的算法基础课吧
先去弄明白NP问题的input metric bit length和probabilistic Turing Machine是什
么意思
【在 n**********5 的大作中提到】
: 你面对的问题是阿列夫零无穷，比你的氢原子总数的总数次方次方次方下去都要多。
: 这个问题其实并不难解。问题是考试100分容易，真正知道可数无穷的人少，知道图灵
: 机的人更少，同时知道两者的人更少。我bet库克并不是很本质地认识可数无穷或图灵
: 机。他是研究代数出身的。所以他能定义出NP难问题。但是没能证明P其实等于NP。库
: 克的课程太枯燥，没有什么学生愿意选，不想拖累GPA。学什么都对找工作有帮助。学
: 代数真是脑子坏了。因此也决定了P＝NP问题令人生畏。但其实并不特别复杂。
: 我相信这个问题不久就会有突破。
: 图灵机是建立在可数的基础上的。通用图灵机对应阿列夫零。但是量子系统不是可数的
: 。这也是“测不准”的根源。哪怕最简单的量子系统，计算能力都要强于通用图灵机。
: 令人感兴趣的是这些基数是没有上限的。量子系统对应实数域。之上的层次的物理意义
|
h******k
发帖数: 810 | 14 呵呵，我就知道你到现在还没弄明白NP问题的定义是什么。
“Non-deterministic poly time的搜索空间是指数” - 所有的P问题都是NP问题，P问
题需要个毛的指数搜索空间。
force
【在 p****s 的大作中提到】
: 你这一张嘴就缩写的水平 知道NP问题的实质是规模问题么？刚上个算法课知道NP的缩
: 写就了不起了？
: Non-deterministic poly time的搜索空间是指数，在问题规模小的时候用brute-force
: 穷举法可以解决。傻帽去学学Andrew Yao和Manuel Blum的算法基础/密码基础，这个规
: 模由所谓的input metric x度量，在哈密尔顿回路这样的图论问题里就是节点个数，在
: 加密等用的one-way function里就是密钥bit长。
: 不以bit计的input metric x可以转换成以二进制bit计的等价NP问题，学点Elliptic
: Curve Crypto里的Zp到Z2的转换.
:
: 系。
|
n**********5
发帖数: 1707 | 15 MIT的paper我基本不看。你知道库克是谁吧。我好歹还和他的学生扯过蛋。我估计我说
的名词你半个都没看懂。Probabilistic图灵机就是在扯蛋。说起P versus NP扯量子力
学的paper压根就不会有人review。写这些paper的人连图灵机是啥怕都没有弄懂。
课吧
【在 p****s 的大作中提到】
: 你这是上离散数学课扯算法基础的蛋
: 还是先去上上Goldwasser, Bellare, Impagliazzo这些MIT gang出身的人的算法基础课吧
: 先去弄明白NP问题的input metric bit length和probabilistic Turing Machine是什
: 么意思
|
n***s
发帖数: 287 | 16 根本驴唇不对马嘴，真有tmd啥都不懂还敢胡说的，靠
时)
【在 p****s 的大作中提到】
: 有量子计算的因素在里面搅和。
: 这是个罕见的当前物理实现干扰算法理论的特例：假设目前为止物理实现的最强
: quantum computer有N个qubits，则 for x<=N, P=NP；
: 但是对于y = x+N，P和NP的关系 仍然 等于 N为0时(即没有quantum computing存在时)
: 的 普通的P和NP之间的关系。换句话说，N就是个搅局的，仍不能改变问题的实质。N终
: 归是有限的，因为宇宙里一共就有2^280个氢原子，你就是把每个氢原子都能实现成1个
: qubit，N也不会超过2^280.
|
p****s
发帖数: 3184 | 17 简单特例不具有代表性，因为你排除了同一个问题里的更多的复杂例子，elliptic
curve crypto里的几个NP-complete问题的（目前为止的在非量子计算机上的）搜索空
间都是fully exponential O(e^{x/2}) where x is the input metric. 你到现在
搞清楚了什么叫input metric吗？呵呵，英文算法砖家同学
【在 h******k 的大作中提到】
: 呵呵，我就知道你到现在还没弄明白NP问题的定义是什么。
: “Non-deterministic poly time的搜索空间是指数” - 所有的P问题都是NP问题，P问
: 题需要个毛的指数搜索空间。
:
: force
|
p****s
发帖数: 3184 | 18 呵呵，你还真是无知者无畏啊。说“Probabilistic图灵机就是在扯蛋”，估计是你无
论如何看不懂为啥Yao, Blum, Micali, Goldwasser这帮人要把coin flips放到TM的
input tape上吧。
Cook是1982年的Turing award winner，Blum是95年的winner，Yao是2000年的winner,
Micali和Goldwasser是12年的winner.
30年来的进步，你是明显一点都不知道，可不等于世界都和你一样无知哦
【在 n**********5 的大作中提到】
: MIT的paper我基本不看。你知道库克是谁吧。我好歹还和他的学生扯过蛋。我估计我说
: 的名词你半个都没看懂。Probabilistic图灵机就是在扯蛋。说起P versus NP扯量子力
: 学的paper压根就不会有人review。写这些paper的人连图灵机是啥怕都没有弄懂。
:
: 课吧
|
p****s
发帖数: 3184 | 19 呵呵，这个贴子暴露出来国内翻墙来的傻逼小留还真不少 |
f******1
发帖数: 727 | 20 +1,
NP问题最后是归结到物理领域，我记忆中，这个结论是至少几十年前就定论了的，这不
是啥新鲜题目啊
无意中发现你住我隔壁啊，
【在 p****s 的大作中提到】
: 呵呵，这个贴子暴露出来国内翻墙来的傻逼小留还真不少
|
|
|
f******1
发帖数: 727 | 21 Berkeley的？
【在 p****s 的大作中提到】
: 呵呵，这个贴子暴露出来国内翻墙来的傻逼小留还真不少
|
p****s
发帖数: 3184 | 22 也不算很早吧，94年Shor的paper出来了以后这才起爆开花的，21年前的事。
99打头的IP也可以差很远哈
【在 f******1 的大作中提到】
: +1,
: NP问题最后是归结到物理领域，我记忆中，这个结论是至少几十年前就定论了的，这不
: 是啥新鲜题目啊
: 无意中发现你住我隔壁啊，
|
p****s
发帖数: 3184 | 23 不是。不过教foundation of CS的教授是MIT Micali的学生，在Berkeley呆过。
【在 f******1 的大作中提到】
: Berkeley的？
|
f******1
发帖数: 727 | 24 我这么问你，是因为系统的鼻祖是Berkeley那边，我在S家上学读的基本是Berkeley出
的书，机器系统都是B家的，教授也是B毕业的
能悄悄告诉我你哪儿的吗？ 就给个字母头就够了。
【在 p****s 的大作中提到】
: 不是。不过教foundation of CS的教授是MIT Micali的学生，在Berkeley呆过。
|
p****s
发帖数: 3184 | 25 这个你说的没错。Micali也是Blum的学生，因为行业最大的大牛Blum退休前是Berkeley
的，所以大家可以说都是受益自Berkeley，就连独立于Blum学术家族的独行侠Andrew
Yao的Turing奖也是Blum极力推荐才拿到的，呵呵
【在 f******1 的大作中提到】
: 我这么问你，是因为系统的鼻祖是Berkeley那边，我在S家上学读的基本是Berkeley出
: 的书，机器系统都是B家的，教授也是B毕业的
: 能悄悄告诉我你哪儿的吗？ 就给个字母头就够了。
|
f******1
发帖数: 727 | 26 其实不光是NP问题，就连目前著名的大数据幕后的DB model都是物理问题，只不过S家
太NB了，几十年前就预见到了，当时上DB课的时候，其实学的都是物理版的模型，根本
不是啥 sql statement.
Berkeley
【在 p****s 的大作中提到】
: 这个你说的没错。Micali也是Blum的学生，因为行业最大的大牛Blum退休前是Berkeley
: 的，所以大家可以说都是受益自Berkeley，就连独立于Blum学术家族的独行侠Andrew
: Yao的Turing奖也是Blum极力推荐才拿到的，呵呵
|
P***y
发帖数: 2885 | 27 大概在2010年，有个惠普公司的员工已经证明了这两个确实不等。但我没有找他的证明
来看，因为我一直感觉这两个不应该相等。所以没什么好稀奇的。
：为什么证不出来他们不等， |
G****r
发帖数: 5579 | 28 是不是把 NP 问题归结到黑洞里去了？
【在 f******1 的大作中提到】
: +1,
: NP问题最后是归结到物理领域，我记忆中，这个结论是至少几十年前就定论了的，这不
: 是啥新鲜题目啊
: 无意中发现你住我隔壁啊，
|
G****r
发帖数: 5579 | 29 其实大爆炸这概念几十年前我就听一位大姐（刚上大学计算机系）： 信息大爆炸。。
。。。。
【在 f******1 的大作中提到】
: 其实不光是NP问题，就连目前著名的大数据幕后的DB model都是物理问题，只不过S家
: 太NB了，几十年前就预见到了，当时上DB课的时候，其实学的都是物理版的模型，根本
: 不是啥 sql statement.
:
: Berkeley
|
G****r
发帖数: 5579 | 30 不要拿图灵奖来吓人了， 图灵奖已近50年了， 你所列的不过总共4个， 不到 10%。
再说了， 这四个图灵奖的获得， 真是因为 “Probabilistic图灵机” 吗？
,
【在 p****s 的大作中提到】
: 呵呵，你还真是无知者无畏啊。说“Probabilistic图灵机就是在扯蛋”，估计是你无
: 论如何看不懂为啥Yao, Blum, Micali, Goldwasser这帮人要把coin flips放到TM的
: input tape上吧。
: Cook是1982年的Turing award winner，Blum是95年的winner，Yao是2000年的winner,
: Micali和Goldwasser是12年的winner.
: 30年来的进步，你是明显一点都不知道，可不等于世界都和你一样无知哦
|
|
|
n**********5
发帖数: 1707 | 31 套用好虫的说法，又是一个修过几门课看过几本书的大牛。
【在 p****s 的大作中提到】
: 不是。不过教foundation of CS的教授是MIT Micali的学生，在Berkeley呆过。
|
n**s
发帖数: 2230 | 32 就是两类问题
一类是多项式时间内能验证的问题，一类是多项式时间内能解决的问题。问这两类问题
是否等价 |
n**********5
发帖数: 1707 | 33 惠普有这样的大牛还用裁员？他那篇文章没有一个大牛愿意给他review。倒是便宜了不
少PhD发refutation：那篇没有发表的文章有系统性不可修复的错误/
P versus NP的核心并不是什么算法复杂性。所有通过一个NP（完全）问题存在或不存
在P的算法都是死路一条。所以理论界说要有新思路。如果从算法入手这个问题能解决
，几十年前库克就解决了，前些年库克两年才要带一次课，就是不想打搅他思考，还用
等到现在的徒子徒孙？
99.99%的计算机系毕业生不知道NP是什么。为什么不相等？
图灵并没有得图灵奖。
不要以为去维基百科或者谷歌搜素一下就可以充专家。发言之前先问一问自己，你知道
怎么用确定性图灵机模拟不确定性图灵机么？这就是你修算法课或离散数学课知道图灵
机的缺陷。你要是不懂去谷歌个答案出来，你看得懂哪个答案么？
【在 P***y 的大作中提到】
: 大概在2010年，有个惠普公司的员工已经证明了这两个确实不等。但我没有找他的证明
: 来看，因为我一直感觉这两个不应该相等。所以没什么好稀奇的。
:
: ：为什么证不出来他们不等，
|
f******1
发帖数: 727 | 34 你少在这喷粪，很多EE的paper都有NP问题的证明的
你做房地产的不知道，就别往CS专业上扣狗屎盆
死得远一点！
99.99%的计算机系毕业生不知道NP是什么。为什么不相等？
【在 n**********5 的大作中提到】
: 惠普有这样的大牛还用裁员？他那篇文章没有一个大牛愿意给他review。倒是便宜了不
: 少PhD发refutation：那篇没有发表的文章有系统性不可修复的错误/
: P versus NP的核心并不是什么算法复杂性。所有通过一个NP（完全）问题存在或不存
: 在P的算法都是死路一条。所以理论界说要有新思路。如果从算法入手这个问题能解决
: ，几十年前库克就解决了，前些年库克两年才要带一次课，就是不想打搅他思考，还用
: 等到现在的徒子徒孙？
: 99.99%的计算机系毕业生不知道NP是什么。为什么不相等？
: 图灵并没有得图灵奖。
: 不要以为去维基百科或者谷歌搜素一下就可以充专家。发言之前先问一问自己，你知道
: 怎么用确定性图灵机模拟不确定性图灵机么？这就是你修算法课或离散数学课知道图灵
|
P***y
发帖数: 2885 | 35 我不是百度谷歌来了解这个课题的。当年我用的是Standford的教材，不是很厚。据说
是给他们大二学生的课程。里面有从deterministic automata构建non-deterministic
automata的推导，两个是等价的。
当年考GRE sub的参考书。国内离散数学没有教这玩意儿，所以给我很深的印象。但懂
这玩意儿不会帮助你提高编程水平。理论思考的高度?可能吧。
基本上和孔乙己写茴香豆的茴字差不多。
：惠普有这样的大牛还用裁员？他那篇文章没有一个大牛愿意给他review。倒是便宜了
不少PhD发refutation：那篇没有发表的文章有系统性不可修复的错误/
： |
n**s
发帖数: 2230 | 36 可笑，这东西能随便就证明了？无知者无畏。
这个是CS目前未解决的难题之一。悬赏100万美元的。
deterministic
【在 P***y 的大作中提到】
: 我不是百度谷歌来了解这个课题的。当年我用的是Standford的教材，不是很厚。据说
: 是给他们大二学生的课程。里面有从deterministic automata构建non-deterministic
: automata的推导，两个是等价的。
: 当年考GRE sub的参考书。国内离散数学没有教这玩意儿，所以给我很深的印象。但懂
: 这玩意儿不会帮助你提高编程水平。理论思考的高度?可能吧。
: 基本上和孔乙己写茴香豆的茴字差不多。
:
: ：惠普有这样的大牛还用裁员？他那篇文章没有一个大牛愿意给他review。倒是便宜了
: 不少PhD发refutation：那篇没有发表的文章有系统性不可修复的错误/
: ：
|
G****r
发帖数: 5579 | 37 严肃点讨论， 你能不能对你这个定论给个文献连接？
最早研究计算机科学的是一批数学家和物理学家， 但像姚期智那样同时有物理学博士
和计算机博士的很少见。
【在 f******1 的大作中提到】
: +1,
: NP问题最后是归结到物理领域，我记忆中，这个结论是至少几十年前就定论了的，这不
: 是啥新鲜题目啊
: 无意中发现你住我隔壁啊，
|
n**********5
发帖数: 1707 | 38 P/NP问题起源和物理一点关系都没有。和图灵机的关系也没有。这个问题是库克在搞定
理自动证明的时候发现的。其余的东西都是后人脑补的等价的命题。
【在 G****r 的大作中提到】
: 严肃点讨论， 你能不能对你这个定论给个文献连接？
: 最早研究计算机科学的是一批数学家和物理学家， 但像姚期智那样同时有物理学博士
: 和计算机博士的很少见。
|
i********r
发帖数: 12113 | 39 估计是个物理老千转的马工
【在 p****s 的大作中提到】
: 有量子计算的因素在里面搅和。
: 这是个罕见的当前物理实现干扰算法理论的特例：假设目前为止物理实现的最强
: quantum computer有N个qubits，则 for x<=N, P=NP；
: 但是对于y = x+N，P和NP的关系 仍然 等于 N为0时(即没有quantum computing存在时)
: 的 普通的P和NP之间的关系。换句话说，N就是个搅局的，仍不能改变问题的实质。N终
: 归是有限的，因为宇宙里一共就有2^280个氢原子，你就是把每个氢原子都能实现成1个
: qubit，N也不会超过2^280.
|
n**********5
发帖数: 1707 | 40 所以只有吃饱饭没事干的人去研究。100万美元就是个joke。扣完税连小小黑屋都买不
起。更多的只是荣誉。向钱看还不如刷题进FG。
deterministic
【在 P***y 的大作中提到】
: 我不是百度谷歌来了解这个课题的。当年我用的是Standford的教材，不是很厚。据说
: 是给他们大二学生的课程。里面有从deterministic automata构建non-deterministic
: automata的推导，两个是等价的。
: 当年考GRE sub的参考书。国内离散数学没有教这玩意儿，所以给我很深的印象。但懂
: 这玩意儿不会帮助你提高编程水平。理论思考的高度?可能吧。
: 基本上和孔乙己写茴香豆的茴字差不多。
:
: ：惠普有这样的大牛还用裁员？他那篇文章没有一个大牛愿意给他review。倒是便宜了
: 不少PhD发refutation：那篇没有发表的文章有系统性不可修复的错误/
: ：
|
|
|
G****r
发帖数: 5579 | 41 他没说起源， 而是说“归结”。
【在 n**********5 的大作中提到】
: P/NP问题起源和物理一点关系都没有。和图灵机的关系也没有。这个问题是库克在搞定
: 理自动证明的时候发现的。其余的东西都是后人脑补的等价的命题。
|
G****r
发帖数: 5579 | 42 别走极端了， P/NP 问题当然很重要。
【在 n**********5 的大作中提到】
: 所以只有吃饱饭没事干的人去研究。100万美元就是个joke。扣完税连小小黑屋都买不
: 起。更多的只是荣誉。向钱看还不如刷题进FG。
:
: deterministic
|
n**********5
发帖数: 1707 | 43 我有预感，这个问题很快就有结果。就在这几年。结果会是P=NP。
【在 G****r 的大作中提到】
: 别走极端了， P/NP 问题当然很重要。
|
G****r
发帖数: 5579 | 44 那你赶紧去把证明写出来了： 奖金是小意思， 古狗微软等等都会高薪聘你， 还有美
国科学院工程院两院院士， 再还有回国比杨教授还要爽。。。。。
【在 n**********5 的大作中提到】
: 我有预感，这个问题很快就有结果。就在这几年。结果会是P=NP。
|
n**********5
发帖数: 1707 | 45 你没明白我那句话。能写出来的人金钱名誉地位女人车子房子都不会看在眼里。
就像你们说的，能打开这扇门，谁会care身后有什么，肯定是好奇门里面是什么。那才
是最吸引人的地方。
承蒙看得起，我今晚试试。哈哈哈哈。
【在 G****r 的大作中提到】
: 那你赶紧去把证明写出来了： 奖金是小意思， 古狗微软等等都会高薪聘你， 还有美
: 国科学院工程院两院院士， 再还有回国比杨教授还要爽。。。。。
|
f******1
发帖数: 727 | 46 他就是一个bitch生养出来的，一个做房地产贷款的，连个正式职业都没有
身高1米6， 你以后讨论问题切记，要跟一个正常人讨论
【在 G****r 的大作中提到】
: 那你赶紧去把证明写出来了： 奖金是小意思， 古狗微软等等都会高薪聘你， 还有美
: 国科学院工程院两院院士， 再还有回国比杨教授还要爽。。。。。
|
p****s
发帖数: 3184 | 47 呵呵，俺没foundation of CS这方面的gift，老师教过的还记得点儿，老师没教过的基
本不会，显然谈不上大牛，也从没说过自己是大牛。
但是俺学东西记笔记的工夫还是下的，详细的推导老师可能不讲没有记录，但记录的基
本结论没搞错过，呵呵。
【在 n**********5 的大作中提到】
: 套用好虫的说法，又是一个修过几门课看过几本书的大牛。
|
p****s
发帖数: 3184 | 48 同时有物理学博士和计算机博士也不见得如何。
Shor引爆量子计算的研究后，大家都觉得Andrew Yao同时有物理学博士和计算机博士，
凭他的牛劲可以爆出比Shor更大的成果，可是20年过去了，Yao在量子计算上的成就真
的是很普通
【在 G****r 的大作中提到】
: 严肃点讨论， 你能不能对你这个定论给个文献连接？
: 最早研究计算机科学的是一批数学家和物理学家， 但像姚期智那样同时有物理学博士
: 和计算机博士的很少见。
|
G****r
发帖数: 5579 | 49 Yao 做量子计算完全就是顺手牵羊， 没有真下功夫来做。
【在 p****s 的大作中提到】
: 同时有物理学博士和计算机博士也不见得如何。
: Shor引爆量子计算的研究后，大家都觉得Andrew Yao同时有物理学博士和计算机博士，
: 凭他的牛劲可以爆出比Shor更大的成果，可是20年过去了，Yao在量子计算上的成就真
: 的是很普通
|
z***t
发帖数: 2374 | 50 Yao是CS领域公认最聪明的几个人之一
成果多的不可数
图灵奖是早晚的事
Berkeley
【在 p****s 的大作中提到】
: 这个你说的没错。Micali也是Blum的学生，因为行业最大的大牛Blum退休前是Berkeley
: 的，所以大家可以说都是受益自Berkeley，就连独立于Blum学术家族的独行侠Andrew
: Yao的Turing奖也是Blum极力推荐才拿到的，呵呵
|
|
|
n**********5
发帖数: 1707 | 51 找到一个博客很有意思：
Can Amateurs Solve P=NP?
https://rjlipton.wordpress.com/2010/07/01/can-amateurs-solve-pnp/
两个CS教授认为证明P=NP的将可能是民科。他们对民科的定义就是没有受过专业训练但
love。
他们尝试不用图灵机解释P=NP。不过我个人觉得图灵机是目前为止定义得最严谨的数学
模型。要让人信服易于判定是否正确的证明还是应该用图灵机写出来。
美国科学院工程院两院院士， 再还有回国比杨教授还要爽。。。。。
【在 G****r 的大作中提到】
: 那你赶紧去把证明写出来了： 奖金是小意思， 古狗微软等等都会高薪聘你， 还有美
: 国科学院工程院两院院士， 再还有回国比杨教授还要爽。。。。。
|
x****y
发帖数: 1853 | 52 WTF, 我只知道 i = i+1...
【在 a******a 的大作中提到】
: 为什么证不出来他们不等，
|
