g****t
发帖数: 31659 | |
w***g
发帖数: 5958 | 2 我觉得是错的。没这么好的事情。
【在 g****t 的大作中提到】
: https://uni-muenster.academia.edu/RupertMcCallum
: 正在找人review。draft似乎还没公开。
|
T********i
发帖数: 2416 | 3 没准找到错误就能证明不相等呢。
Either way, 都是图灵，菲尔兹，沃尔夫级别的成就。
: 我觉得是错的。没这么好的事情。
【在 w***g 的大作中提到】
: 我觉得是错的。没这么好的事情。
|
w***g
发帖数: 5958 | 4 P=NP这事情很玄妙。证明对，或者证明错，或者证明不对不错，
或者证明不可证明，几条路都走不下去。 这里面我觉得证明对
这一条，会对人类现在的哲学体系有颠覆性的影响。
从计算机科学的角度来说，你说它不相等，只要给出反例就行，
你说它相等，得给出算法。 典型的问题，现代密码学的基础
素数分解，就是一个np问题。如果有算法转化成p，那密码就
可以破了。比特币立刻清零。我怀疑如果现在有个credible的
人如果号称他能把np破了，可能马上就会被谋杀。
【在 T********i 的大作中提到】
: 没准找到错误就能证明不相等呢。
: Either way, 都是图灵，菲尔兹，沃尔夫级别的成就。
:
:
: 我觉得是错的。没这么好的事情。
:
|
T********i
发帖数: 2416 | 5 那也不一定。量子计算对人类哲学体系颠覆更大，不也是搞得热火朝天？根据目前认识
来看，是不是等价一模拟计算机最终必须用万用表量出来？有人能证明证伪么？
: P=NP这事情很玄妙。证明对，或者证明错，或者证明不对不错，
: 或者证明不可证明，几条路都走不下去。 这里面我觉得证明对
: 这一条，会对人类现在的哲学体系有颠覆性的影响。
: 从计算机科学的角度来说，你说它不相等，只要给出反例就行，
: 你说它相等，得给出算法。 典型的问题，现代密码学的基础
: 素数分解，就是一个np问题。如果有算法转化成p，那密码就
: 可以破了。比特币也就破了。我怀疑如果现在有个credibal的
: 人如果号称他能把np破了，可能马上就会被谋杀。
【在 w***g 的大作中提到】
: P=NP这事情很玄妙。证明对，或者证明错，或者证明不对不错，
: 或者证明不可证明，几条路都走不下去。 这里面我觉得证明对
: 这一条，会对人类现在的哲学体系有颠覆性的影响。
: 从计算机科学的角度来说，你说它不相等，只要给出反例就行，
: 你说它相等，得给出算法。 典型的问题，现代密码学的基础
: 素数分解，就是一个np问题。如果有算法转化成p，那密码就
: 可以破了。比特币立刻清零。我怀疑如果现在有个credible的
: 人如果号称他能把np破了，可能马上就会被谋杀。
|
g****t
发帖数: 31659 | 6 我压根没看。不知何故邮件问我要不要review。
: 我觉得是错的。没这么好的事情。
【在 w***g 的大作中提到】
: P=NP这事情很玄妙。证明对，或者证明错，或者证明不对不错，
: 或者证明不可证明，几条路都走不下去。 这里面我觉得证明对
: 这一条，会对人类现在的哲学体系有颠覆性的影响。
: 从计算机科学的角度来说，你说它不相等，只要给出反例就行，
: 你说它相等，得给出算法。 典型的问题，现代密码学的基础
: 素数分解，就是一个np问题。如果有算法转化成p，那密码就
: 可以破了。比特币立刻清零。我怀疑如果现在有个credible的
: 人如果号称他能把np破了，可能马上就会被谋杀。
|
w***g
发帖数: 5958 | 7 想了想，我太狭隘了。科技突破可能整个CS学科就被废掉了。
----
量子计算机评价体系不一样的。计算机可计算性理论是建立在图灵机
模型的基础上的。图灵机的基本假设就是一次动一下，最后算法的
复杂度根据动了几下来衡量。对应的是时间复杂度。现在出来一个机器
说，按钮一按，NP难的问题咔的一下立刻出结果。我觉得最有可能
的就是把时间代价转换成了某种图灵机上面看不出来的代价。
根据时间和能量的对偶原理，我觉得很可能就是转换成了能量代价。
破解比特币可以瞬时完成，但是可能需要太阳级别的能量。
我上面没有说量子计算机，而是基于天下没有免费的午餐的假设。
关于量子计算机的能量消耗reddit上有讨论。
https://www.reddit.com/r/QuantumComputing/comments/dfirid/power_consumption_
of_a_quantum_computer/
显然量子计算机是一个低熵体，虽然电路本身并不耗电，但是需要
巨大的负熵才能工作。
比特币本身是个特别愚蠢的东西。很多别的创作难享受容易的东西
都是NP问题，像什么定理证明之类的。
【在 T********i 的大作中提到】
: 那也不一定。量子计算对人类哲学体系颠覆更大，不也是搞得热火朝天？根据目前认识
: 来看，是不是等价一模拟计算机最终必须用万用表量出来？有人能证明证伪么？
:
:
: P=NP这事情很玄妙。证明对，或者证明错，或者证明不对不错，
:
: 或者证明不可证明，几条路都走不下去。 这里面我觉得证明对
:
: 这一条，会对人类现在的哲学体系有颠覆性的影响。
:
: 从计算机科学的角度来说，你说它不相等，只要给出反例就行，
:
: 你说它相等，得给出算法。 典型的问题，现代密码学的基础
:
: 素数分解，就是一个np问题。如果有算法转化成p，那密码就
:
: 可以破了。比特币也就破了。我怀疑如果现在有个credibal的
|
g****t
发帖数: 31659 | 8 量子计算有两种。一种是和现在的PC类似，造一个机器，可以在上面跑无限多不同的
算法。
另一种是量子模拟退火算法，一个量子计算机只能跑一类算法。甚至只求解一个问题。
我认为后者更合理些。其本质上好比你养一窝蚂蚁，几个地
方放点糖，过一段时间，其router就是traveler sellsman的近似解。
只不过用的不是蚂蚁，是量子过程。
自然界中有很多现象其实都是NP问题的解。谁解出来的？似乎用进化论和神创论来解释
都可以。
【在 w***g 的大作中提到】
: 想了想，我太狭隘了。科技突破可能整个CS学科就被废掉了。
: ----
: 量子计算机评价体系不一样的。计算机可计算性理论是建立在图灵机
: 模型的基础上的。图灵机的基本假设就是一次动一下，最后算法的
: 复杂度根据动了几下来衡量。对应的是时间复杂度。现在出来一个机器
: 说，按钮一按，NP难的问题咔的一下立刻出结果。我觉得最有可能
: 的就是把时间代价转换成了某种图灵机上面看不出来的代价。
: 根据时间和能量的对偶原理，我觉得很可能就是转换成了能量代价。
: 破解比特币可以瞬时完成，但是可能需要太阳级别的能量。
: 我上面没有说量子计算机，而是基于天下没有免费的午餐的假设。
|
T********i
发帖数: 2416 | 9 我也同意没有免费的午餐天上不会掉馅饼。
所以你转发的那个reddit的评论才是通篇扯淡。
首先对于营造负熵的能量估计完全看不出靠谱。其次，说得好像给他负熵他就能造出量
子计算机一样。。。
【在 w***g 的大作中提到】
: 想了想，我太狭隘了。科技突破可能整个CS学科就被废掉了。
: ----
: 量子计算机评价体系不一样的。计算机可计算性理论是建立在图灵机
: 模型的基础上的。图灵机的基本假设就是一次动一下，最后算法的
: 复杂度根据动了几下来衡量。对应的是时间复杂度。现在出来一个机器
: 说，按钮一按，NP难的问题咔的一下立刻出结果。我觉得最有可能
: 的就是把时间代价转换成了某种图灵机上面看不出来的代价。
: 根据时间和能量的对偶原理，我觉得很可能就是转换成了能量代价。
: 破解比特币可以瞬时完成，但是可能需要太阳级别的能量。
: 我上面没有说量子计算机，而是基于天下没有免费的午餐的假设。
|
d*******r
发帖数: 3299 | |
g****t
发帖数: 31659 | 11 她没说quantumn 模拟退火吧？
那个approach类似于造实验装置。至少能留下些技术和工艺。兼且之前goog和nsf验收
过。所以不是空对空瞎吹。
【在 d*******r 的大作中提到】
: Don't fall for quantum hype
: https://www.youtube.com/watch?v=b-aGIvUomTA
|
