Наслідки доказування abc гіпотези для теорії cs

Які наслідки мали б доказ хибної гіпотези для тс?

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

Бетнагар, Гопалан та Ліптон показують, що, якщо припустити, що існує гіпотеза, існують багаточлени ступеня представляють функцію порогу над . Для фіксованої постійної , а яка має прості коефіцієнти, abc гіпотеза передбачає поліном для порогу над зі ступенем .до Z 6 до м т до Z м Про ( п 1 / т + ε$O((kn)^{1/2+\varepsilon})$$k$${\mathbb Z}_6$$k$$m$$t$$k$$\mathbb Z_m$$O(n^{1/t+\varepsilon})$

Це, мабуть, має відношення до проблеми проти . A C C 0 [ 6 ${\sf TC^0}$$\sf ACC^0[6]$

у цій роботі вказується, що обчислення зворотного квадратного кореневого значення за допомогою представлення з плаваючою точкою широко поширене в додатках CS ("дуже поширене в наукових обчисленнях"); автори показують, що для обчислення правильно закругленого значення можлива більш ефективна формула, якщо дотримується гіпотеза ABC.

[1] Гіпотеза абс і правильно закруглені зворотні квадратні корені Ерні Кроот, Рен-Чанг Лі, Хуй Джун Чжу, Ельсев'є TCS 2004

[2] швидкий зворотний обчислення квадратного кореня, wikipedia