An arithmetic model of computation equivalent to threshold circuits

Joan Boyar, Gudmund Frandsen, Carl Sturtivant

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Abstract

We define a new structured and general model of computation: circuits using arbitrary fan-in arithmetic gates over the characteristic-two finite fields (F2n). These circuits have only one input and one output. We show how they correspond naturally to boolean computations with n inputs and n outputs. We show that if circuit sizes are polynomially related, then the arithmetic circuit depth and the threshold circuit depth to compute a given function differ by at most a constant factor. We use threshold functions with arbitrary weights; however, we show that when compared to the usual threshold model, the depth measure of this generalised model differs only by at most a constant factor (at polynomial size). The fan-in of our arithmetic model is also unbounded in the most generous sense: circuit size is measured as the number of Σ and Π-gates; there is no bound on the number of "wires". We show that these results are provable for any reasonable correspondence between strings of n-bits and elements of F2n. And we find two such distinct characterizations. Thus, we show that arbitrary fan-in arithmetic computations over F2n constitute a precise abstraction of Boolean threshold computations with the pleasant property that various algebraic laws have been recovered.

Original languageEnglish (US)
Pages (from-to)303-319
Number of pages17
JournalTheoretical Computer Science
Volume93
Issue number2
DOIs
StatePublished - Feb 17 1992

Fingerprint Dive into the research topics of 'An arithmetic model of computation equivalent to threshold circuits'. Together they form a unique fingerprint.

Cite this