Implikasi dari bukti dugaan abc untuk teori cs

Apa implikasi yang akan menjadi bukti dugaan abc untuk tcs?

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

Bhatnagar, Gopalan, dan Lipton menunjukkan bahwa, dengan asumsi dugaan abc, ada polinomial derajat mewakili Ambang-of- k fungsi lebih Z 6 . Untuk tetap konstan k , dan m yang memiliki t faktor utama, yang abc dugaan menyiratkan polinomial untuk Ambang-of- k lebih Z m dengan gelar 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})$

Ini mungkin memiliki relevansi dengan masalah versus A C C 0 [ 6 ] .${\sf TC^0}$$\sf ACC^0[6]$

makalah ini menunjukkan bahwa menghitung nilai akar kuadrat resiprokal dengan menggunakan representasi floating point tersebar luas dalam aplikasi CS ("sangat umum dalam perhitungan ilmiah"); penulis menunjukkan bahwa formula yang lebih efisien dimungkinkan untuk menghitung nilai yang dibulatkan dengan benar jika dugaan ABC berlaku.

[1] Abc dugaan dan akar kuadrat resiprokal yang dibulatkan dengan benar, Ernie Croot, Ren-Cang Li, Hui June Zhu, Elsevier TCS 2004

[2] perhitungan akar kuadrat terbalik cepat, wikipedia