누가 복잡성 등급 AC를 도입 했습니까?

나는 오늘 하한을 가르쳤으며 , 한 학생은 라는 이유에 대해 물었습니다 . 공식적인 설명은 "A"는 "Alternation"을 나타냅니다. $AC^0$ $AC$

몇 년 전에 ~~Nick Pippenger~~ Steve Cook이 Nick Pippenger (Nick의 수업)의 이름을 , 나중에 Nick이 Steve (Steve의 수업)의 이름을 지명 했다는 말을 모호하게 기억 합니다. $NC$ $SC$

이야기 의 부분은 예를 들어 Wikipedia 와 복잡한 동물원 에 문서화 되어 있으며 대한 이야기 는 여기에 나와 있습니다 . $NC$ $SC$

에 비슷한 역사가 있는지 궁금 하지만 발명가에 대한 언급을 찾을 수 없었습니다 . $AC$ $AC$

누가 를 정의했는지 알고 있습니까? $AC$

cc.complexity-theory reference-request ho.history-overview

— 다나 모시 코 비츠
소스

난 그냥 (스티븐 쿡 후) "스티브의 클래스"에 대한 질문 눈치 cstheory.stackexchange.com/questions/9298/...을 , 나는 어쩌면이이 이야기에서 클래스, 그리고 AC라고 생각합니다.

— Dana Moshkovitz

Furst, Saxe 및 Sipser는 내가 알 수있는 한 AC0의 이름을 지정하지 않습니다. 그러나 주요 응용 프로그램 중 하나는 PSPACE를 Oracle과 비교하여 PH (= 교체 횟수가 일정한 대체 기계로 계산 가능한 언어)와 분리하는 것입니다. 어쩌면 AC는 교류의 TMS 응용 프로그램에서 온다 ..

— Sasho 니콜 로프

Nick Pippenger (Dana가 언급 한 질문 참조)에 따르면 SC와 NC라는 이름은 Pippenger가 Steve Cook이 속한 이론 그룹을 방문 할 때 토론토 대학교에서 나타났습니다. 토론토의 또 다른 유명한 이론가는 Allan Borodin입니다. AC는 Allan의 수업에 참여하여 질투하지 않을 수 있습니까? 난 엉망이 될 수 있습니다 ...

— 브루노

그 뒤에 이야기가 없습니다. 교체를 의미합니다.

— Tayfun Pay

저는 AC 라는 표기 가 1985 년부터 Cook의 "빠른 병렬 알고리즘 문제의 분류"에 처음 나타난다 고 생각합니다 .

이 결과의보다 일반적인 형태를 설명하기 위해 다음 용어를 소개합니다.

$AC^k$ $k=1,2,\ldots$ $O(\log n)$ $O(\log^k n)$

이 클래스는 실제로 균일 한 AC 버전입니다.

Ruzzo와 Tompa의 대안 적 특성은 Stockmeyer와 Vishkin의 기술 보고서에 나타나고 나중에 1984 년 Chandra, Stockmeyer 및 Vishkin의 "Constant depth reducibility"에 나와 있습니다. SIZE-DEPTH (poly, constant) 표기법을 사용합니다. (3 페이지 참조).

$AC^k \subseteq NC^{k+1}$

이 모든 논문은 교대 Turing 기계를 많이 언급하며 A가 교대한다는 가설을 신뢰합니다.

— 유발 필름 러스
소스