
Summary: We examine the problem of incrementally evaluating algebraic functions. In particular, if \(f(x_1,x_2,\dots,x_n)=(y_1,y_2,\dots,y_m)\) is an algebraic problem, we consider answering on-line requests of the form ``change input \(x_i\) to value \(v\)'' or ``what is the value of output \(y_j\)? We first present lower bounds for some simply stated algebraic problems such as multipoint polynomial evaluation, polynomial reciprocal, and extended polynomial GCD, proving an \(\Omega(n)\) lower bound for the incremental evaluation of these functions. In addition, we prove two time-space trade-off theorems that apply to incremental algorithms for almost all algebraic functions. We then derive several general-purpose algorithm design techniques and apply them to several fundamental algebraic problems. For example, we give an \(O(\sqrt n)\) time per request algorithm for incremental DFT. We also present a design technique for serving incremental requests using a parallel machine, giving a choice of either optimal work with respect to the sequential incremental algorithm or superfast algorithms with \(O(\log\log n)\) time per request with a sublinear number of processors.
algebraic functions, Parallel algorithms in computer science
algebraic functions, Parallel algorithms in computer science
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
