Hoy enseñé los límites inferiores de , y uno de los estudiantes preguntó por la razón del nombre . La explicación oficial es que la "A" significa "Alternancia".
Recuerdo vagamente que me dijeron hace muchos años que Nick Pippenger Steve Cook nombró a después de Nick Pippenger (clase de Nick), y más tarde Nick nombró a después de Steve (clase de Steve).S C
La parte de la historia está documentada, por ejemplo, en Wikipedia y en el complejo zoológico, la historia de S C se cuenta aquí .
Me pregunto si tiene una historia similar, pero no pude encontrar ninguna referencia al inventor de A C.
¿Alguien sabe quién definió ?
cc.complexity-theory
reference-request
ho.history-overview
Dana Moshkovitz
fuente
fuente
Respuestas:
Creo que la notación AC aparece por primera vez en "Una taxonomía de problemas con algoritmos paralelos rápidos" de Cook de 1985. En la página 11 (página 12 de la revista) leemos:
Esta clase es en realidad una versión uniforme de AC.
Sigue una caracterización alternativa de Ruzzo y Tompa, que aparece en un informe técnico de Stockmeyer y Vishkin, y más tarde en "Reductibilidad de profundidad constante" por Chandra, Stockmeyer y Vishkin de 1984. Usan la notación TAMAÑO-PROFUNDIDAD (poli, constante) (ver página 3).
Todos estos documentos mencionan muchas máquinas Turing alternadas, dando crédito a la hipótesis de que A significa alternar.
fuente