Abs varsayımının cs teorisi için ispatının sonuçları

Abc konjonktürünün bir kanıtı tcs için ne gibi etkileri olacaktır ?

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

Bhatnagar, Gopalan ve Lipton derecesi polinomları vardır abc varsayım varsayarak göstermektedir Eşik-of temsil k fazla fonksiyonu Z 6 . Sabit, sabit için k ve m sahip T ana faktörler, ABC varsayım Eşik-of için bir polinom eder k fazla Z m derecesi ile O ( n, 1 / t + ε ) .$O((kn)^{1/2+\varepsilon})$$k$${\mathbb Z}_6$$k$$m$$t$$k$$\mathbb Z_m$$O(n^{1/t+\varepsilon})$

Bunun muhtemelen ile A C C 0 [ 6 ] problemi ile ilgisi vardır .${\sf TC^0}$$\sf ACC^0[6]$

Bu makale, kayan nokta gösterimi kullanarak karşılıklı karekök değerinin hesaplanmasının CS uygulamalarında yaygın olduğunu (“bilimsel hesaplamalarda çok yaygındır”); Yazarlar, ABC varsayımı tutarsa, doğru yuvarlanmış değeri hesaplamak için daha verimli bir formülün mümkün olduğunu göstermektedir.

[1] Abc varsayımı ve doğru yuvarlanmış karşılıklı kare kökler Ernie Croot, Ren-Cang Li, Hui Haziran Zhu, Elsevier TCS 2004

[2] hızlı ters kare kök hesaplaması, wikipedia