Computing partial information out of intractable: Powers of algebraic numbers as an example |
| |
Authors: | Mika Hirvensalo Juhani Karhumäki Alexander Rabinovich |
| |
Institution: | a TUCS - Turku Centre for Computer Science and Department of Mathematics, University of Turku, FIN-20014 Turku, Finland b Tel Aviv University, School of Computer Science, Ramat Aviv, Tel Aviv 69978, Israel |
| |
Abstract: | We consider an algorithmic problem of computing the first, i.e., the most significant digits of n2 (in base 3) and of the nth Fibonacci number. While the decidability is trivial, efficient algorithms for those problems are not immediate. We show, based on Baker's inapproximability results of transcendental numbers that both of the above problems can be solved in polynomial time with respect to the length of n. We point out that our approach works also for much more general expressions of algebraic numbers. |
| |
Keywords: | Efficient computability Linear forms of logarithms Baker theory |
本文献已被 ScienceDirect 等数据库收录! |
|