複雑度クラスACを導入したのは誰ですか？

今日、私は下限を教え、生徒の1人が名前理由について尋ねました。公式の説明では、「A」は「Alternation」の略です。 $AC^0$ $AC$

私は漠然とことを何年も前に言われて覚えている~~ニック・ピッペンガー~~スティーブ・クックは、名前のニック・ピッペンガー（ニックのクラス）の後に、後にニックが名前のスティーブ（スティーブのクラス）の後。 $NC$ $SC$

物語の一部はで、例えば、文書化されているウィキペディアと複雑さの動物園では、のために物語語られているここ。 $NC$ $SC$

にも同様の歴史があるのではないかと思いますが、の発明者へ言及は見つかりませんでした。 $AC$ $AC$

誰かがを定義した人を知っていますか？ $AC$

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

— ダナ・モシュコヴィッツ
ソース

「スティーブのクラス」（スティーブンクックの後）cstheory.stackexchange.com/questions/9298/…についての質問に気づいたところです。これはACではなく、物語のクラスであると思います。

— ダナモシュコヴィッツ

Furst、Saxe、Sipserは、私が知る限り、AC0に名前を付けていません。しかし、それらの主なアプリケーションの1つは、オラクルと比較してPSPACEをPH（=一定数の交互のマシンを交互に使用して計算可能な言語）から分離することです。たぶん、ACは、交流のTMSアプリケーションから来ている...

— Sashoニコロフ

Nick Pippenger（コメントでDanaがリンクした質問を参照）によれば、SCとNCという名前は、Stipp Cookが所属するTheoryグループを訪問したときにトロント大学に現れました。トロントのもう1つの有名な理論家は、アランボロディンです。ACはアランのクラスを支持することができたので、彼はjeしませんでしたか？私はとりとめのないかもしれない...-

— ブルーノ

その背後に物語はありません。Aは交互を表します。

— Tayfunペイ

私は信じています AC表記は、1985年のCookの「高速並列アルゴリズムの問題の分類法」に最初に登場する。11ページ（ジャーナルの12ページ）に次の記事があります。

この結果のより一般的な形式を述べるために、次の用語を紹介します。

$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}$ （ "均一回路の複雑で"、Ruzzo、1981）。後者の論文（および前述のRuzzoの以前の論文）にはACという表記は含まれていませんが、使用される均一性の概念を強調する無数の他の表記が含まれています。

これらの論文はすべて、交互のチューリングマシンについて多く言及しており、Aが交互を表すという仮説に信giving性を与えています。

— ユヴァル・フィルマス
ソース