TC0⊆NC1\mathsf{TC^0} \subseteq \mathsf{NC^1}TC0⊆NC1
有没有人能给个证明的 pdf 啥的,谢谢
TC0\mathsf{TC^0}TC0 和 NC1\mathsf{NC^1}NC1 都是电路复杂度。
https://en.wikipedia.org/wiki/TC0
https://en.wikipedia.org/wiki/NC_(complexity)