Computing algebraic formulas using a constant number of registers

Michael Ben-Or, Richard Cleve

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

21 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 20th Annual ACM Symposium on Theory of Computing, STOC 1988
PublisherAssociation for Computing Machinery
Pages254-257
Number of pages4
ISBN (Print)0897912640, 9780897912648
DOIs
StatePublished - 1988
Event20th Annual ACM Symposium on Theory of Computing, STOC 1988 - Chicago, IL, United States
Duration: 2 May 19884 May 1988

Publication series

NameProceedings of the Annual ACM Symposium on Theory of Computing
ISSN (Print)0737-8017

Conference

Conference20th Annual ACM Symposium on Theory of Computing, STOC 1988
Country/TerritoryUnited States
CityChicago, IL
Period2/05/884/05/88

Fingerprint

Dive into the research topics of 'Computing algebraic formulas using a constant number of registers'. Together they form a unique fingerprint.

Cite this