Quem introduziu a classe de complexidade AC?

17

Hoje ensinei limites inferiores a e um dos alunos perguntou sobre o motivo do nome . A explicação oficial é que o "A" significa "Alternação".AC0AC

Lembro-me vagamente de ter sido informado há muitos anos que Nick Pippenger Steve Cook nomeou homenagem a Nick Pippenger (classe de Nick), e mais tarde Nick nomeou homenagem a Steve (classe de Steve).NCSC

A parte da história está documentada, por exemplo, na Wikipedia e no zoológico de complexidade, a história da é contada aqui .NCSC

Gostaria de saber se a tem uma história semelhante, mas não encontrei nenhuma referência ao inventor da .ACAC

Alguém sabe quem definiu ?UMAC

Dana Moshkovitz
fonte
6
Acabei de notar a pergunta sobre a "aula de Steve" (depois de Steven Cook) cstheory.stackexchange.com/questions/9298/… , e acho que talvez essa tenha sido a aula da história, e não AC.
Dana Moshkovitz 19/09/12
2
Furst, Saxe e Sipser não dão um nome ao AC0, pelo que sei. Mas uma de suas principais aplicações é separar PSPACE de PH (= linguagens computáveis ​​por máquinas alternadas com número constante de alternâncias) em relação a um oráculo. Talvez AC vem do aplicativo TMs alternadas ..
Sasho Nikolov
11
Segundo Nick Pippenger (veja a pergunta vinculada por Dana no comentário), os nomes SC e NC apareceram na Universidade de Toronto quando Pippenger estava visitando o grupo Theory, ao qual Steve Cook pertence. Outro famoso teórico de Toronto é Allan Borodin. AC poderia representar a classe de Allan, para que ele não estivesse com ciúmes? Eu poderia estar divagando ...
de Bruno
Não há história por trás disso. A significa alternância.
Tayfun Pay

Respostas:

18

Acredito que a notação AC aparece pela primeira vez em "Uma taxonomia de problemas com algoritmos paralelos rápidos" de 1985. Na página 11 (página 12 da revista), lemos:

Para declarar uma forma mais geral desse resultado, introduzimos a seguinte terminologia.

UMACkk=1 1,2,...O(registron)O(registrokn)

Esta classe é na verdade uma versão uniforme do AC.

Segue uma caracterização alternativa por Ruzzo e Tompa, aparecendo em um relatório técnico de Stockmeyer e Vishkin, e mais tarde em "Redutibilidade de profundidade constante" por Chandra, Stockmeyer e Vishkin de 1984. Eles usam a notação SIZE-DEPTH (poly, constant) (veja a página 3).

UMACkNCk+1 1

Todos esses trabalhos mencionam muito as máquinas de Turing alternadas, dando credibilidade à hipótese de que A significa alternância.

Yuval Filmus
fonte