Implikacje dowodu hipotezy abc dla teorii cs

Jakie konsekwencje miałby dowód hipotezy abc dla tcs?

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

Bhatnagar, Gopalan i Lipton pokazują, że przyjmując hipotezę ABC są wielomianów stopnia reprezentujące Próg-of- k funkcji stosunku Z 6 . Dla stałej stałej k , m, która ma t czynników pierwszych, domniemanie abc implikuje wielomian dla wartości progowej k powyżej Z m ze stopniem 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})$

Przypuszczalnie ma znaczenia dla w porównaniu z A, C, C, 0 [ 6 ] problemu.${\sf TC^0}$$\sf ACC^0[6]$

ten artykuł wskazuje, że obliczanie wartości odwrotności pierwiastka kwadratowego przy użyciu reprezentacji zmiennoprzecinkowej jest szeroko rozpowszechnione w aplikacjach CS („bardzo powszechne w obliczeniach naukowych”); autorzy pokazują, że możliwa jest bardziej wydajna formuła do obliczania poprawnie zaokrąglonej wartości, jeśli utrzymuje się hipoteza ABC.

[1] Hipoteza abc i prawidłowo zaokrąglone pierwiastki kwadratowe Ernie Croot, Ren-Cang Li, Hui June Zhu, Elsevier TCS 2004

[2] szybkie odwrotne obliczanie pierwiastka kwadratowego, wikipedia