개관서지만 확인
Guest Column: A Casual Tour Around a Circuit Complexity BoundRyan Williams · 2011ACM SIGACT News 42(3), 54–76쪽 (2011) · arXiv:1111.1261NEXP 가 다항 크기 ACC 회로를 갖지 않는다는 자신의 증명을, 그것을 찾아 가는 사람의 눈으로 풀어 설명한 글이다. 2-4 가 다루는 NEXP ⊄ ACC⁰ 결과(williams-2014)를 원 논문보다 훨씬 읽기 쉽게 따라갈 수 있다. 「더 빠른 알고리즘이 곧 하한이다」라는 2-3 의 접근이 실제 증명에서 어떻게 작동하는지 보려는 독자에게 권한다.
확인:Crossref 의 DOI 등록 기록으로 저자·권호·쪽을(등록 제목은 Guest column 뿐), arXiv 초록 페이지로 전체 제목과 초록을 확인했다.