# Finite Playground

## NEXP do not have ACC0 circuits

$\mathsf{NTIME}(2^n)$不能用$\mathsf{ACC}^0$circuits – 也就是 constant-depth, poly-size circuits with AND, OR, NOT, and Mod_m gates for any m 解掉.