Handbook of theoretical computer science (vol. A)
Complexity and real computation
Complexity and real computation
Some Remarks on the L-Conjecture
ISAAC '02 Proceedings of the 13th International Symposium on Algorithms and Computation
The Complexity of Factors of Multivariate Polynomials
FOCS '01 Proceedings of the 42nd IEEE symposium on Foundations of Computer Science
On Faster Integer Calculations Using Non-arithmetic Primitives
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Hi-index | 0.00 |
It has long been observed that certain factorization algorithms provide a way to write product of a lot of integers succinctly. In this paper, we study the problem of representing the product of all integers from 1 to n (n!) by straight-line programs. Formally, we say that a sequence of integers an is ultimately f(n)-computable, if there exists a nonzero integer sequence mn such that for any n, anmn can be computed by a straight-line program (using only additions, subtractions and multiplications) of length at most f(n). Shub and Smale [12] showed that if n! is ultimately hard to compute, then algebraic version of NP 驴 P is true. Assuming a widely believed number theory conjecture concerning smooth numbers in short interval, a subexponential upper bound (exp(c驴log n log log n)) for the ultimate complexity of n! is proved in this paper, and a random subexponential algorithm constructing such a short straight-line program is presented as well.