AC karmaşıklık sınıfını kim tanıttı?

Bugün alt sınırlarını öğrettim ve öğrencilerden biri isminin nedenini sordu . Resmi açıklama "A" nın "Alternatif" anlamına gelmesidir. $AC^0$ $AC$

Yıllar önce ~~Nick Pippenger~~ Steve Cook'un Nick Pippenger'dan (Nick'in sınıfı) sonra ve daha sonra Nick'in Steve'den (Steve'in sınıfı) adlandırıldığı söyleniyor . $NC$ $SC$

hikayenin bir parçası içinde, örneğin belgelenmiştir Wikipedia ve karmaşıklık hayvanat bahçesinde, için hikaye anlatılıyor burada . $NC$ $SC$

benzer bir geçmişi olup olmadığını merak ediyorum , ancak mucitine herhangi bir referans bulamadım . $AC$ $AC$

kimin tanımladığını bilen biri var mı ? $AC$

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

— Dana Moshkovitz
kaynak

Ben sadece "Steve'in sınıfı" (Steven Cook sonra) ile ilgili soruyu fark ettim cstheory.stackexchange.com/questions/9298/… ve belki de bu hikayenin AC değil sınıf olduğunu düşünüyorum.

— Dana Moshkovitz

Furst, Saxe ve Sipser, AC0'a anlatabildiğim kadarıyla bir isim vermiyor. Ancak ana uygulamalarından biri PSPACE'i bir kehanete göre PH'dan (= sabit sayıda dönüşümlü alternatif makinelerle hesaplanan diller) ayırmaktır. Belki AC alternatif TM uygulamalarından geliyor ..

— Sasho Nikolov

Nick Pippenger'a göre (yorumda Dana tarafından bağlanan soruya bakın), Pippenger, Steve Cook'un ait olduğu Teori grubunu ziyaret ederken Toronto Üniversitesi'nde SC ve NC isimleri ortaya çıktı. Toronto'daki bir başka ünlü teorisyen de Allan Borodin'dir. AC, kıskanç olmamak için Allan'ın sınıfına dayanabilir mi? Şaşırtıcı olabilirim ...

— Bruno

Arkasında hikaye yok. A, alternatif anlamına gelir.

— Tayfun Pay

AC gösteriminin ilk olarak 1985'ten itibaren Cook'un "Hızlı Paralel Algoritmalar ile Bir Sorunlar Taksonomisi" nde yer aldığına inanıyorum . Sayfa 11'de (derginin 12. sayfasında):

Bu sonucun daha genel bir biçimini belirtmek için aşağıdaki terminolojiyi sunuyoruz.

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

Bu sınıf aslında AC'nin tek tip bir versiyonudur.

Rüzzo ve Tompa tarafından Stockmeyer ve Vishkin'in teknik raporunda ve daha sonra 1984'ten Chandra, Stockmeyer ve Vishkin tarafından "Sabit derinlik azaltılabilirliği" nde alternatif bir karakterizasyon izler. SIZE-DEPTH (poli, sabit) gösterimini kullanırlar. (bkz. sayfa 3).

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

Tüm bu makaleler A'nın alternatif anlamına geldiği hipotezine güvenerek, Turing makinelerinden çok bahsetmektedir.

— Yuval Filmus
kaynak