시간 공간 절충을 위한 교대 계층과 EuLinH

본 논문은 시간‑공간 절충을 다루는 복잡도 이론의 한 갈래인 Nepomnjascii 정리를 출발점으로 삼아, 선형 시간 계층(LinH) 안에서 보편 양화사의 크기를 로그 수준으로 제한한 새로운 하위 계층을 정의하고 그 구조적 특성을 면밀히 분석한다. 먼저, 저자는 기존 Nepomnjascii 정리(Nepomnjascii’s Theorem)가 “모든 0 ≤ ε < 1, k > 0에 대해 NTISP