Name
Abstract | ||
|---|---|---|
Algebraic complexity theory studies the complexity of computing (multivariate) polynomials efficiently using algebraic circuits. This succinct representation leads to fundamental algorithmic challenges such as the polynomial identity testing (PIT) problem (decide nonzeroness of the computed polynomial) and the polynomial factorization problem (compute succinct representations of the factors of the circuit). While the Schwartz-Zippel-DeMillo-Lipton Lemma [Sch80,Zip79,DL78] gives an easy randomized algorithm for PIT, randomized algorithms for factorization require more ideas as given by Kaltofen [Kal89]. However, even derandomizing PIT remains a fundamental problem in understanding the power of randomness. In this column, we survey the factorization problem, discussing the algorithmic ideas as well as the applications to other problems. We then discuss the challenges ahead, in particular focusing on the goal of obtaining deterministic factoring algorithms. While deterministic PIT algorithms have been developed for various restricted circuit classes, there are very few corresponding factoring algorithms. We discuss some recent progress on the divisibility testing problem (test if a given polynomial divides another given polynomial) which captures some of the difficulty of factoring. Along the way we attempt to highlight key challenges whose solutions we hope will drive progress in the area. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1145/2852040.2852051 | SIGACT News |
Field | DocType | Volume |
Randomized algorithm,Polynomial identity testing,Combinatorics,Algebraic number,Polynomial,Computer science,Divisibility rule,Square-free polynomial,Theoretical computer science,Factorization,Factorization of polynomials | Journal | 46 |
Issue | Citations | PageRank |
4 | 4 | 0.39 |
References | Authors | |
32 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael A. Forbes | 1 | 31 | 3.27 |
| Amir Shpilka | 2 | 1095 | 64.27 |