Can ardaşımı simüle edilmesine ?

Let Turing makineleri alternatif karar dillerin sınıf olarak bu zaman halt alanı kullanılarak . Let durdurmak kullanarak bu Turing makineleri alternatif karar dillerin sınıf olarak değişmeleri ve boşluk .$\mathsf{ATISP}(f(n), g(n))$$f(n)$$g(n)$$\mathsf{AALTSP}(f(n), g(n))$$f(n)$$g(n)$

Ruzzo , olduğunu kanıtladı . Ayrıca .$\mathsf{NC}^k = \mathsf{ATISP}(\log^k n, \log n)$$\mathsf{NC}^k \subseteq \mathsf{AALTSP}(\log^k n, \log n) \subseteq \mathsf{NC}^{k + 1}$

Mi ?$\mathsf{NC}^k = \mathsf{AALTSP}(\log^k n, \log n)$

Elbette soruda iddia edilen eşitlikler ve inklüzyonlar sadece uniform . Sınıf tekdüze aynıdır sorusu ile aynıdır, böylece .$\mathsf{NC}^k$$\mathsf{AALTSP}(\log^k n, \log n)$$\mathsf{AC}^k$$\mathsf{NC}^k = \mathsf{AC}^k$

Özellikle , nin ve hatta eşit olduğu anlamına gelir , çünkü . $k=1$$\mathsf{L}$$\mathsf{NL}$$\mathsf{LogCFL}$$\mathsf{NC}^1 \subseteq \mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{LogCFL} \subseteq \mathsf{AC}^1$