TY - GEN
T1 - Computing algebraic formulas using a constant number of registers
AU - Ben-Or, Michael
AU - Cleve, Richard
PY - 1988
Y1 - 1988
N2 - We show that, over an arbitrary ring, the functions computed by polynomial-size algebraic formulas are also computed by polynomial-length algebraic straight-line programs which use only 3 registers (or 4 registers, depending on some definitions). We also show that polynomial-length products of 3×3 matrices compute precisely those functions that polynomial-size formulas compute (whereas, for general rings, polynomial-length 3-register straightline programs compute strictly more functions than polynomial-size formulas). This can be viewed as an extension of the results of Harrington in [Bal,Ba2] from the Boolean setting to the algebraic setting of an arbitrary ring.
AB - We show that, over an arbitrary ring, the functions computed by polynomial-size algebraic formulas are also computed by polynomial-length algebraic straight-line programs which use only 3 registers (or 4 registers, depending on some definitions). We also show that polynomial-length products of 3×3 matrices compute precisely those functions that polynomial-size formulas compute (whereas, for general rings, polynomial-length 3-register straightline programs compute strictly more functions than polynomial-size formulas). This can be viewed as an extension of the results of Harrington in [Bal,Ba2] from the Boolean setting to the algebraic setting of an arbitrary ring.
UR - http://www.scopus.com/inward/record.url?scp=84880193265&partnerID=8YFLogxK
U2 - 10.1145/62212.62236
DO - 10.1145/62212.62236
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84880193265
SN - 0897912640
SN - 9780897912648
T3 - Proceedings of the Annual ACM Symposium on Theory of Computing
SP - 254
EP - 257
BT - Proceedings of the 20th Annual ACM Symposium on Theory of Computing, STOC 1988
PB - Association for Computing Machinery
T2 - 20th Annual ACM Symposium on Theory of Computing, STOC 1988
Y2 - 2 May 1988 through 4 May 1988
ER -