AI-created image
Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:analyzes |
circuit depth
circuit size |
| gptkbp:canBe |
gptkb:directed_acyclic_graph
combinational circuit sequential circuit |
| gptkbp:composedOf |
logic gates
|
| gptkbp:hasComponent |
gptkb:AND_gate
gptkb:NOT_gate gptkb:OR_gate |
| gptkbp:hasProperty |
circuit depth
circuit size fan-in fan-out |
| gptkbp:input |
binary values
|
| gptkbp:limitation |
cannot compute all functions with polynomial size
non-uniform model |
| gptkbp:output |
binary values
|
| gptkbp:relatedTo |
gptkb:P/poly_complexity_class
gptkb:algebra digital circuits |
| gptkbp:SIM |
gptkb:Turing_machine_(with_unbounded_size)
|
| gptkbp:studiedIn |
circuit complexity
|
| gptkbp:usedFor |
computing Boolean functions
modeling parallel computation |
| gptkbp:usedIn |
gptkb:complexity_theory
computer science cryptography hardware design |
| gptkbp:bfsParent |
gptkb:Claude_Shannon
|
| gptkbp:bfsLayer |
3
|
| https://www.w3.org/2000/01/rdf-schema#label |
Boolean circuits
|