NC class

for $\text{[math]}$ , define
$\text{[math]}$ and let
$\text{[math]}$ [cite:;taken from @complexity_vollmer_1999 definition 4.1]

the following remains an option question:

does there exist $\text{[math]}$ such that $\text{[math]}$ ? we can formulate this question as: $\text{[math]}$ .