z*******3 发帖数: 13709 | 1 不会是logical clock吧?
感觉很忽悠很扯淡啊
就这玩意也能拿顶级奖? |
s******c 发帖数: 1920 | 2 擦,他拿奖是这么多年最没争议的。n年前大家就都认为他一定会拿了。
flg写分布式系统都要用到的chubby或者zookeeper,就是他搞出的paxos算法的实现
【在 z*******3 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 不会是logical clock吧? : 感觉很忽悠很扯淡啊 : 就这玩意也能拿顶级奖?
|
z*******3 发帖数: 13709 | 3 越来越觉得distributed的东西扯蛋了
web search用的那些数学还靠谱点
算法真的是,写起来很烦,但是给足够的时间,一定能写出来
数学可就不一定了
【在 s******c 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 擦,他拿奖是这么多年最没争议的。n年前大家就都认为他一定会拿了。 : flg写分布式系统都要用到的chubby或者zookeeper,就是他搞出的paxos算法的实现
|
s******g 发帖数: 3841 | 4 如果不告诉你quick search,估计你这辈子写不出来
【在 z*******3 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 越来越觉得distributed的东西扯蛋了 : web search用的那些数学还靠谱点 : 算法真的是,写起来很烦,但是给足够的时间,一定能写出来 : 数学可就不一定了
|
s******c 发帖数: 1920 | 5 分布式系统的东西一个主要问题是情况太复杂,至今没有一个公认的数学模型。leslie
已经是分布式研究者里面最向这个方向努力的了,算是奠基人了,也因此拿奖。逻辑
钟,拜占庭将军问题,paxos,就是把分布式系统问题高度抽象了表现出来,但也已经
足够难了。
【在 z*******3 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 越来越觉得distributed的东西扯蛋了 : web search用的那些数学还靠谱点 : 算法真的是,写起来很烦,但是给足够的时间,一定能写出来 : 数学可就不一定了
|
z*******3 发帖数: 13709 | 6 区别在于,告诉你数学关键字,很多人这辈子也还是写不出来
算法看看就懂了
【在 s******g 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 如果不告诉你quick search,估计你这辈子写不出来
|
a*******6 发帖数: 520 | 7 虽然自己做的东西偏web search但还是想说web search用的数学远不如distributed用
到的思想优美和成体系,目前算一大杂烩,什么数学结果都想拿来试试看。。。当然时
间还短了点,领域也不一样。。。另外,给足够的时间一定能写出来的,不叫"算法"。
。。
再另外,军版不适合讨论这种问题吧
【在 z*******3 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 越来越觉得distributed的东西扯蛋了 : web search用的那些数学还靠谱点 : 算法真的是,写起来很烦,但是给足够的时间,一定能写出来 : 数学可就不一定了
|
z*******3 发帖数: 13709 | 8 算法只是数学里面最低级的一层
web search里面随便统计还是代数学
其在数学的地位都要高于计算复杂度
算法理解起来真心不难
但是数学里面代数和统计理解起来
哼哼
就是应用数学多才牛逼阿,分布式算法这些倒是想用统计和代数,它用得上么?
【在 a*******6 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 虽然自己做的东西偏web search但还是想说web search用的数学远不如distributed用 : 到的思想优美和成体系,目前算一大杂烩,什么数学结果都想拿来试试看。。。当然时 : 间还短了点,领域也不一样。。。另外,给足够的时间一定能写出来的,不叫"算法"。 : 。。 : 再另外,军版不适合讨论这种问题吧
|
a*******6 发帖数: 520 | 9 统计和代数学或许现在地位高于计算复杂度,因为可以说应用更广泛一些,但是web
search里面用的只是最浅显的一部分,就这部分而言,难度和深度实在没法和计算复杂
度相比
算法现在也分应用的算法和理论的算法,按趋势会继续划分下去,可能你说的算法是现
在所谓的"实用算法",确实是“真心不难”(虽然有些分析起来还是很难的),至少写
成code不难
但理论算法可以比很多数学分支都难,都艰深,本身也推动了不少分支的进步,比方说
图论
可能就是因为太了解了才不觉得web search多“牛逼”,相反正是因为“数学门槛”低
所以研究的人才多,当然同时也是因为这个领域比较新,现在来说也很实用
【在 z*******3 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 算法只是数学里面最低级的一层 : web search里面随便统计还是代数学 : 其在数学的地位都要高于计算复杂度 : 算法理解起来真心不难 : 但是数学里面代数和统计理解起来 : 哼哼 : 就是应用数学多才牛逼阿,分布式算法这些倒是想用统计和代数,它用得上么?
|
z*******3 发帖数: 13709 | 10 图论算算法这种计算理论吗?
图论应该算一维拓扑,拓扑学是几何学
这个倒是有点数学主流的味道
几何地位应该高于统计
【在 a*******6 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 统计和代数学或许现在地位高于计算复杂度,因为可以说应用更广泛一些,但是web : search里面用的只是最浅显的一部分,就这部分而言,难度和深度实在没法和计算复杂 : 度相比 : 算法现在也分应用的算法和理论的算法,按趋势会继续划分下去,可能你说的算法是现 : 在所谓的"实用算法",确实是“真心不难”(虽然有些分析起来还是很难的),至少写 : 成code不难 : 但理论算法可以比很多数学分支都难,都艰深,本身也推动了不少分支的进步,比方说 : 图论 : 可能就是因为太了解了才不觉得web search多“牛逼”,相反正是因为“数学门槛”低 : 所以研究的人才多,当然同时也是因为这个领域比较新,现在来说也很实用
|
z*******3 发帖数: 13709 | 11 反正大多数时候我感觉写程序
如果只是算法问题,花时间都好解决,无论是树堆还是栈,都比较简单
但是如果问题涉及图论,就很棘手,但是堆时间还可以搞定
但是如果涉及代数,线性空间什么,那就不是编程的问题了
大多数时候就是看知道不知道
如果涉及统计,那就是纯粹理论问题了
涉及分析的还没有遇到过,不过一般分析都用来证明其他数学理论了 |
a*******6 发帖数: 520 | 12 很多领域现在确实很难做一个明确的区分,比方说图论,很早很早就有graph theory了
,现在搞图论算法的人称自己搞的是graph algorithms,其实解决的就是图论问题,其
中复杂度理论又让一些图论里的问题有了难易的区分,graph minors里的一些很艰深的
结果也是搞CS理论算法的人搞出来的,当然这些人称为数学家也不为过。。。扯远了。
。。
【在 z*******3 的大作中提到】![](/moin_static193/solenoid/img/up.png) : 图论算算法这种计算理论吗? : 图论应该算一维拓扑,拓扑学是几何学 : 这个倒是有点数学主流的味道 : 几何地位应该高于统计
|