Generalized Circuit Value Problem
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:alsoKnownAs |
gptkb:GCVP
|
| gptkbp:citation |
gptkb:S._Cook,_The_complexity_of_theorem-proving_procedures,_STOC_1971
|
| gptkbp:complexity |
P-complete
|
| gptkbp:definedIn |
theoretical computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Generalized Circuit Value Problem
|
| gptkbp:importantFor |
used to show P-completeness
|
| gptkbp:input |
Boolean circuit
input values for circuit |
| gptkbp:output |
value at designated output gate
|
| gptkbp:relatedTo |
parallel algorithms
P-completeness Boolean circuit |
| gptkbp:studiedBy |
gptkb:Stephen_Cook
1971 |
| gptkbp:studiedIn |
parallel computing
|
| gptkbp:variant |
gptkb:Circuit_Value_Problem
|
| gptkbp:bfsParent |
gptkb:PSPACE
|
| gptkbp:bfsLayer |
5
|