Ý nghĩa của việc chứng minh abc phỏng đoán cho lý thuyết cs

Điều gì có ý nghĩa một bằng chứng về phỏng đoán abc có cho tcs?

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

Bhatnagar, Gopalan, và Lipton cho thấy, giả sử các giả thuyết abc, có đa thức của mức độ đại diện cho Threshold-of- k chức năng trên Z 6 . Đối với hằng số k cố định và m có t thừa số nguyên tố, phỏng đoán abc ngụ ý một đa thức cho Ngưỡng của k trên Z m với độ 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})$

Điều này có lẽ có liên quan đến vấn đề so với A C C 0 [ 6 ] .${\sf TC^0}$$\sf ACC^0[6]$

bài viết này chỉ ra rằng tính toán giá trị căn bậc hai đối ứng bằng cách sử dụng biểu diễn dấu phẩy động là phổ biến trong các ứng dụng CS ("rất phổ biến trong các tính toán khoa học"); các tác giả cho thấy một công thức hiệu quả hơn có thể để tính giá trị được làm tròn chính xác nếu phỏng đoán ABC giữ.

[1] Giả thuyết abc và căn bậc hai đối xứng được làm tròn chính xác Ernie Croot, Ren-Cang Li, Hui tháng 6 Zhu, Elsevier TCS 2004

[2] tính toán căn bậc hai nghịch đảo nhanh, wikipedia