Последствия доказательства гипотезы abc для теории cs

Какие последствия может иметь доказательство гипотезы abc для tcs?

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

Бхатнагар, Гопалан и Липтон показывают, что, предполагая гипотезу abc, существуют многочлены степени представляющие функцию Threshold-of- над . Для фиксированной константы и которая имеет простых множителей, гипотеза 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] Гипотеза abc и правильно округленные взаимные квадратные корни Эрни Кроот, Рен-Канг Ли, Хуэй Джун Чжу, Elsevier TCS 2004

[2] быстрое вычисление обратного квадратного корня, Википедия