abc猜想的证明对CS理论的启示

abc猜想的证明对tcs有什么影响？

http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

big-picture nt.number-theory

— vtt
source

另请参见Ball，Nature提出的素数之间的连接所要求的证据

— vzn 2012年

bkg /分析/论文/链接，mathoverflow，mochizuki工作背后的哲学

— vzn 2012年

关于Mochizuki攻击的polymath资源，通常会经常更新。链接到Mochizukis论文，近期讨论，（MSM）媒体报道等

— vzn 2012年

Answers:

纳加尔，Gopalan，和Lipton表明，假定ABC猜想，有阶多项式表示阈值- OF- 以上功能。为固定的恒定，和具有素因子，所述ABC猜想意味着多项式为阈值- OF- 超过度数。 $O((kn)^{1/2+\varepsilon})$ $k$ ${\mathbb Z}_6$ $k$ $m$ $t$ $k$ $\mathbb Z_m$ $O(n^{1/t+\varepsilon})$

推测这与对问题有关。 ${\sf TC^0}$ $\sf ACC^0[6]$

— 瑞安·威廉姆斯（Ryan Williams）
source

本文指出，使用浮点表示法计算倒数平方根值在CS应用中非常普遍（“在科学计算中非常常见”）；作者表明，如果ABC猜想成立，则可以使用更有效的公式来计算正确的舍入值。

[1] abc猜想和正确取整的倒数平方根 Ernie Croot，李仁苍，朱慧君，Elsevier TCS 2004

[2] 快速反平方根计算，维基百科

— z
source

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.

Licensed under cc by-sa 3.0 with attribution required.