Circuit value problem
= Circuit value problem
= CIRCUIT VALUE
{c}
{synonym}
Given a finite acyclic <Boolean circuit> and its input assignment, determine the output bit. Topological gate evaluation places the problem in <P>; it is a standard <P-complete> problem under <logspace many-one reductions>. <Boolean circuit> evaluation is different from <Circuit satisfiability problem>, which asks whether some assignment succeeds.