Arithmetic Circuit Complexity - Overview

Overview

Given a polynomial f, we may ask ourselves what is the best way to compute it - for example, what is the smallest size of a circuit computing f. The answer to this question consists of two parts. The first part is finding some circuit that computes f; this part is usually called upper bounding the complexity of f. The second part is showing that no other circuit can do better; this part is called lower bounding the complexity of f. Although these two tasks are strongly related, proving lower bounds is usually harder, since in order to prove a lower bound one needs to argue about all circuits at the same time.

Note that we are interested in the formal computation of polynomials, rather than the functions that the polynomials define. For example, consider the polynomial x2 + x; over the field of two elements this polynomial represents the zero function, but it is not the zero polynomial. This is one of the differences between the study of arithmetic circuits and the study of Boolean circuits. In Boolean complexity, one is mostly interested in computing a function, rather than some representation of it (in our case, a representation by a polynomial). This is one of the reasons that make Boolean complexity harder than arithmetic complexity. The study of arithmetic circuits may also be considered as one of the intermediate steps towards the study of the Boolean case, which we hardly understand.

Read more about this topic:  Arithmetic Circuit Complexity

Other articles related to "overview":

International Union Of Pure And Applied Chemistry - Publications - Series of Books On Analytical and Physical Chemistry of Environmental Systems
... of Fractal Structures and Processes in Environmental Systems is meant to give an overview of a technique based on fractal geometry and the processes of environmental systems ... It also gives an overview of the knowledge needed to solve environmental problems ... The book gives an overview of chemical mechanisms, transport, kinetics, and interactions that occur in environmental systems ...
Golden Brown - Overview
... The single was a hit around the world, scaling the Top 10 as far away as Australia ... Its commercial success was probably the single factor that secured The Stranglers their continuing life in pop mainstream for the remainder of the 1980s ...
Unified Modeling Language - Topics - Diagrams Overview - Interaction Diagrams
... Interaction overview diagram provides an overview in which the nodes represent communication diagrams ... Communication diagram Interaction overview diagram Sequence diagram The Protocol State Machine is a sub-variant of the State Machine ...
Kewanee, Illinois - Schools - Overview
... There are also other schools in Kewanee like Visitation Catholic School home of the Giants, and a community college, Black Hawk College ... Black Hawk College-East Campus is recognized nationally for its equestrian program, as well as livestock judging teams ...
United States Presidential Election, 1992 - Nominations - Democratic Party Nomination - Overview
... U.S ... Senator Tom Harkin (Iowa) ran as a populist liberal with labor union support ...