当前在线人数13141
首页 - 分类讨论区 - 电脑网络 - 葵花宝典版 - 同主题阅读文章

此篇文章共收到打赏
0

  • 10
  • 20
  • 50
  • 100
您目前伪币余额:0
未名交友
[更多]
[更多]
Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
[版面:葵花宝典][首篇作者:minren] , 2019年09月24日07:35:25 ,2254次阅读,31次回复
来APP回复,赚取更多伪币 关注本站公众号:
[首页][上页] [下页] [末页][分页:1 2 ]
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 21 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Wed Sep 25 08:07:44 2019, 美东)

谁告诉你大数的素因子分解是npc或者np难算法?np问题通常是指npc或者np难问题。
【 在 Caravel (克拉维尔) 的大作中提到: 】
: Quantum algorithm并不能solve所有的NP problem,但是有一类问题,比如大数分解对
: 经典算法是NP problem,但是对量子计算机是P problem。(图中的BQP problem)。这
: 也很容易理解,这个世界是按照量子力学运行的,如果用经典计算机模拟,目前估计世
: 界上所有的计算机加起来只能模拟100个原子。但是这个世界却可以parallel演化不计
: 其数的原子。
: 谷歌这个进展据业内人士说是solid的,用量子计算机可以generate一组随机数,可以
: 用经典计算机来验证确实满足某个分布,但是经典计算机要运行非常长的时间。
: https://adriancolyer.files.wordpress.com/2018/01/quantum-complexity.jpeg



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 60.]

 
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 22 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Wed Sep 25 08:16:31 2019, 美东)

量子算法是指可以在量子计算机或者量子计算模型上运行的算法,具体说,凡可做可逆
运算的算法都可以在量子计算机上实现,反之亦然。
量子计算机或者模型能否实现,是未知的,大家不过大都相信可以实现。我近一两年怀
疑不可能实现。
【 在 lightroom (吃一条鱼,思考一个问题,法号三丰) 的大作中提到: 】
: 正好前两个星期研究了一下量子计算 ,具体说看的是量子编程不是量子物理。和
: tensorflow很象,第一步create circuit, 第二步 session.run。基本可以理解造个大
: 管子,再灌水。感觉在设计IC,还没有可用的floating point,主要int运算。和普通
: 计算不同,这里可能有计算错误。估计先用量子计算机缩小范围后,还有用CPU撸一
边.
: Non-Deterministic Turing Machine考虑出错的情况了吗?



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 60.]

 
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 23 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Wed Sep 25 08:17:51 2019, 美东)

赵凯华量子物理里面说得比较简单,去看吧。
【 在 nowwhat2012 (Judgment  day) 的大作中提到: 】
: 既然说到了Peter Shor的算法, 顺便来请教一下。
: 在Peter Shor的算法里面, quantum Fourier transform 是怎么加快寻找一个函数的
: period的? 读这个文章时感觉到这一点比较突兀。有没有简易的语言来表述这个



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 60.]

 
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 24 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运�
发信站: BBS 未名空间站 (Wed Sep 25 08:39:56 2019, 美东)

你咋觉得Tarski的欧几里德几何或者机器证明比数学家强呢?他那个定理无非说,他的
完备而和谐的(可有限形式化)公理集可以用机器跑出所有定理或者任何一个定理,除
他找出的这个体系是通常中等教育都熟悉的而外,其他的都很trivial,在数理逻辑或
者递归论上是trivial的。怎么可能比数学家强?如果说强,就是证明那些定理的时候
不辞劳苦而已。
猜测Buchberger's algorithm也大致在这个范围之间,包括吴弄出来的算法。
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 计算机定理证明,我的看法如下:
: 计算机定理证明好多方面早就比数学家强了。数学家的办法是,计算机证明出来的东西
: ,或者发现的定理。他们认为不重要。
: 例如给一个20万行的不等式,求证其有解。数学家是证明不出来的。但是计算机用塔斯
: 基算法就可以。
: 假如没有塔斯基算法,也许这个不等式就是有名的千年难题。
: 数学家塔斯基的结果,成了调整数学家的价值观的一个办法。所以形成了数学家内部的
: 闭环。
: 除非计算机可以证明所有的定理。不然数学家可以把计算机的强项分出去。但是因为停
: 机问题,计算机不可能证明所有的定理。所以数学家总有饭吃。
: ...................



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 60.]

 
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 25 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运�
发信站: BBS 未名空间站 (Wed Sep 25 08:45:14 2019, 美东)

不错,非确定图灵机是理论模型,可以把它看作其计算步为总能一次猜中正确的计算路
径,而不是逐个去测试,这个模型应该是找不到实现的。量子计算机是基于量子力学中
的态演化而给出的计算模型,通常认为是可以实现的。
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 非决定图灵机是个理论上的数学模型。精确的。不是量子计算机的模型吧。
: <br>: 正好前两个星期研究了一下量子计算 ,具体说看的是量子编程不是量子物理
。和
: <br>: tensorflow很象,第一步create circuit, 第二步 session.run。基本可以理解
: 造个大
: <br>: 管子,再灌水。感觉在设计IC,还没有可用的floating point,主要int运算。
: 和普通
: <br>: 计算不同,这里可能有计算错误。估计先用量子计算机缩小范围后,还有用
CPU
: 撸一边.
: <br>: Non-Deterministic Turing Machine考虑出错的情况了吗?
: <br>



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 60.]

 
chebyshev
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 26 ]

发信人: chebyshev (......), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运�
发信站: BBS 未名空间站 (Wed Sep 25 09:56:58 2019, 美东)

It looked that you googled the wrong items.
Try: Tarski–Seidenberg theorem and the Tarski Quantifier
eliminating algorithm.

【 在 ReedToBe (ReedToBe) 的大作中提到: 】
: 你咋觉得Tarski的欧几里德几何或者机器证明比数学家强呢?他那个定理无非说,他的
: 完备而和谐的(可有限形式化)公理集可以用机器跑出所有定理或者任何一个定理,除
: 他找出的这个体系是通常中等教育都熟悉的而外,其他的都很trivial,在数理逻辑或
: 者递归论上是trivial的。怎么可能比数学家强?如果说强,就是证明那些定理的时候
: 不辞劳苦而已。
: 猜测Buchberger's algorithm也大致在这个范围之间,包括吴弄出来的算法。





--
※ 修改:·chebyshev 於 Sep 25 10:03:38 2019 修改本文·[FROM: 38.]
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 38.]

 
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 27 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运�
发信站: BBS 未名空间站 (Wed Sep 25 10:09:11 2019, 美东)

在完备的可有限公理化的意义上,这两个都在一个范围之内,一个是所谓柱形代数,另
一个是Tarski消去量词算法。
【 在 chebyshev (......) 的大作中提到: 】
: It looked that you googled the wrong items.
: Try: Tarski–Seidenberg theorem and the Tarski Quantifier
: eliminating algorithm.




--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 60.]

 
Caravel
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 28 ]

发信人: Caravel (克拉维尔), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Wed Sep 25 18:42:07 2019, 美东)

NP,NPC,NPhard都是不同的概念,是你自己概念不清。

【 在 ReedToBe (ReedToBe) 的大作中提到: 】
: 谁告诉你大数的素因子分解是npc或者np难算法?np问题通常是指npc或者np难问题。



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 12.]

 
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 29 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Wed Sep 25 21:28:02 2019, 美东)

这你都看出来了?哪个地方显示我对NP,NPC,NP-hard没区分清楚?
【 在 Caravel (克拉维尔) 的大作中提到: 】
: NP,NPC,NPhard都是不同的概念,是你自己概念不清。



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 175.]

 
Caravel
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 30 ]

发信人: Caravel (克拉维尔), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Wed Sep 25 22:57:37 2019, 美东)

your own word

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Wed Sep 25 08:07:44 2019, 美东)

"np问题通常是指npc或者np难问题。"


【 在 ReedToBe (ReedToBe) 的大作中提到: 】
: 这你都看出来了?哪个地方显示我对NP,NPC,NP-hard没区分清楚?



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 12.]

 
ReedToBe
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 31 ]

发信人: ReedToBe (ReedToBe), 信区: Programming
标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
发信站: BBS 未名空间站 (Thu Sep 26 03:58:37 2019, 美东)

是啊,不专门研究复杂度理论的,大都这么用。专门研究复杂度理论的才做严格区分,
你没看到我用了一个通常吗?
【 在 Caravel (克拉维尔) 的大作中提到: 】
: your own word
: 发信人: ReedToBe (ReedToBe), 信区: Programming
: 标  题: Re: 里程碑:谷歌量子霸权, 3分钟完成世界超算万年运算
: 发信站: BBS 未名空间站 (Wed Sep 25 08:07:44 2019, 美东)
: "np问题通常是指npc或者np难问题。"



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 175.]

[首页][上页] [下页] [末页][分页:1 2 ]
[快速返回] [ 进入葵花宝典讨论区] [返回顶部]
回复文章
标题:
内 容:

未名交友
将您的链接放在这儿

友情链接


 

Site Map - Contact Us - Terms and Conditions - Privacy Policy

版权所有,未名空间(mitbbs.com),since 1996