Хто представив клас складності змінного струму?

Я вчив нижніх меж сьогодні, і один зі студентів запитав про причини назви . Офіційне пояснення полягає в тому, що "A" означає "Чергування". $AC^0$ $AC$

Я туманно пам'ятаю, як мені говорили багато років тому, що ~~Нік Піппенгер~~ Стів Кук назвав честь Ніка Піппенгера (клас Ніка), а пізніше Ніка назвав честь Стіва (клас Стіва). $NC$ $SC$

частина історії документована, наприклад, в Вікіпедії і в складності зоопарку, історія для сказано тут . $NC$ $SC$

Цікаво , буде чи має таку ж історію, але я не зміг знайти жодних посилань на винахідником «s. $AC$ $AC$

Хтось знає, хто визначив ? $AC$

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

— Дана Мошковіц
джерело

Я щойно помітив питання про "клас Стіва" (після Стівена Кука) cstheory.stackexchange.com/questions/9298/… , і я думаю, що, можливо, це був клас із розповіді, а не AC.

— Дана Мошковіц

Наскільки я можу сказати, Фурст, Сакс і Сіпсер не дають ім'я AC0. Але одне з основних їх застосувань - це відокремлення PSPACE від PH (= мови, що обчислюється чергуванням машин з постійною кількістю чергувань) щодо оракула. Можливо, AC походить від змінної програми TM. ..

— Сашо Ніколов

За словами Ніка Піппенгера (див. Питання, пов'язане Даною в коментарі), імена SC та NC з'явилися в університеті Торонто, коли Піппенгер відвідував групу "Теорія", до якої належить Стів Кук. Ще один відомий теоретик Торонто - Аллан Бородін. Чи міг АС виступати за клас Аллана, щоб він не заздрив? Можливо, я блукаю ...

— Бруно

За цим немає жодної історії. Підставка для чергування.

— Tayfun оплачує

Я вважаю, що позначення AC вперше з'являється у творі Кука "Таксономія проблем з швидкими паралельними алгоритмами" від 1985 р. На сторінці 11 (стор. 12 журналу) ми читаємо:

Для викладення більш загальної форми цього результату ми вводимо наступну термінологію.

Визначення . , при - клас задач, що вирішуються банкоматом у просторі та глибині чергування . $AC^k$ $k=1,2,\ldots$ $O(\log n)$ $O(\log^k n)$

Цей клас насправді є єдиною версією змінного струму.

Далі випливає альтернативна характеристика Руццо і Томпа, яка міститься в технічному звіті Стокмейєра і Вишкіна, а згодом у «Постійному зменшенні глибини» Чандри, Стокмейера і Вишкіна від 1984 року. Вони використовують позначення SIZE-DEPTH (полі, постійне) (див. сторінку 3).

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

Усі ці документи багато згадують про чергування машин Тьюрінга, що підтверджує гіпотезу про те, що A означає чергування.

— Юваль Фільм
джерело