TY - JOUR

T1 - Computing algebraic formulas using a constant number of registers

AU - Ben-Or, Michael

AU - Cleve, Richard

PY - 1992

Y1 - 1992

N2 - It is shown that, over an arbitrary ring, the functions computed by polynomial-size algebraic formulas are also computed by polynomial-length algebraic straight-line programs that use only three registers. This was previously known for Boolean formulas [D.A. Barrington, J. Comput. System Sci, 38 (1989), pp. 150-164], which are equivalent to algebraic formulas over the ring GF(2). For formulas over arbitrary rings, the result is an improvement over previous methods that require the number of registers to be logarithmic in the size of the formulas in order to obtain polynomial-length straight-line programs. Moreover, the straight-line programs that arise in these constructions have the property that they consist of statements whose actions on the registers are linear and bijective. A consequence of this is that the problem of determining the iterated product of n 3 × 3 matrices is complete (under P projections) for algebraic NC1 Also, when the ring is GF(2), the programs that arise in the constructions are equivalent to bounded-width permutation branching programs.

AB - It is shown that, over an arbitrary ring, the functions computed by polynomial-size algebraic formulas are also computed by polynomial-length algebraic straight-line programs that use only three registers. This was previously known for Boolean formulas [D.A. Barrington, J. Comput. System Sci, 38 (1989), pp. 150-164], which are equivalent to algebraic formulas over the ring GF(2). For formulas over arbitrary rings, the result is an improvement over previous methods that require the number of registers to be logarithmic in the size of the formulas in order to obtain polynomial-length straight-line programs. Moreover, the straight-line programs that arise in these constructions have the property that they consist of statements whose actions on the registers are linear and bijective. A consequence of this is that the problem of determining the iterated product of n 3 × 3 matrices is complete (under P projections) for algebraic NC1 Also, when the ring is GF(2), the programs that arise in the constructions are equivalent to bounded-width permutation branching programs.

UR - http://www.scopus.com/inward/record.url?scp=0026819849&partnerID=8YFLogxK

U2 - 10.1137/0221006

DO - 10.1137/0221006

M3 - Article

AN - SCOPUS:0026819849

SN - 0097-5397

VL - 21

SP - 51

EP - 58

JO - SIAM Journal on Computing

JF - SIAM Journal on Computing

IS - 1

ER -