Circuit Value Problem
The Circuit Value Problem (aka. the Circuit Evaluation Problem) is the computational problem of computing the output of a given Boolean circuit on a given input. The problem is complete for P under uniform AC0 reductions.The Boolean Formula Value Problem (aka. Boolean Formula Evaluation Problem) is the special case of the problem when the circuit is a tree. The Boolean Formula Value Problem is complete for NC1 The problem is closely related to Boolean Satisfiability Problem which is complete for NP and its complement Propositional Tautologihood Problem which is complete for coNP.
primaryTopic
Circuit Value Problem
The Circuit Value Problem (aka. the Circuit Evaluation Problem) is the computational problem of computing the output of a given Boolean circuit on a given input. The problem is complete for P under uniform AC0 reductions.The Boolean Formula Value Problem (aka. Boolean Formula Evaluation Problem) is the special case of the problem when the circuit is a tree. The Boolean Formula Value Problem is complete for NC1 The problem is closely related to Boolean Satisfiability Problem which is complete for NP and its complement Propositional Tautologihood Problem which is complete for coNP.
has abstract
Das Schaltkreis-Auswertungspro ...... elegung „erraten“ werden muss.
@de
The Circuit Value Problem (aka ...... m which is complete for coNP.
@en
Wikipage page ID
50,036,569
Wikipage revision ID
743,897,535
comment
Das Schaltkreis-Auswertungspro ...... elegung „erraten“ werden muss.
@de
The Circuit Value Problem (aka ...... m which is complete for coNP.
@en
label
Circuit Value Problem
@de
Circuit Value Problem
@en