“Steve sınıfı”: SC'nin kökeni

in Steve Cook için ve nin Nick Pippenger için adlandırıldığını "biliyoruz" . Yanılmıyorsam, Steve Cook, Nick Pippenger onuruna NC adını verdi ve tersinin de doğru olduğu söylendi. Bununla birlikte, bu son gerçeğin kanıtlarını Steve Cook'un DCFL'ler hakkındaki makalesinde veya Nisan'ın . $\mathsf{SC}$ $\mathsf{NC}$ $\mathsf{RL} \subseteq \mathsf{SC}$

Bu iddiaya ilişkin kanıtlanmış herhangi bir kanıt var mı, yoksa bu sadece "havada" mı?

ps soruyorum çünkü Stigler'ın Eponymy Yasası örneklerine göz atıyordum ve "Stigler Karşılıklılığı" olarak adlandırdığım şeyi merak ediyordum: A'nın icat ettiği şeyin B ve tam tersi olarak adlandırıldığı yer. Buna bir örnek, Cartan Matrisleri ve Öldürme formlarıdır.

cc.complexity-theory ho.history-overview

— Suresh Venkat
kaynak

Sadece Profesör Pippenger'a sormayı denedin mi?

— Joe,

@Joe: Onu tanımıyorum :)

— Suresh Venkat

IIRC, Nick'in burada olduğu zamanlarda burada olan başkalarının da ( UofT / DCS / teori ) aynı hikayeyi duydum, bu yüzden doğru olduğunu düşünüyorum (ama Steve'e sormadım). Bunun Stigler'ın Anonim Yasası örneği olduğunu sanmıyorum, çünkü adlandırma kasıtlıydı ve kimse keşiflerini başkasına atfetmiyor.

— Kaveh

Hayır bu bir örnek değil. Karşılıklılık yasası formüle ediyordum :)

— Suresh Venkat

@SureshVenkat Ondan senden rica ettim ve cevabını aşağıdaki cevabıma yazdım.

— Joe,

Yanıtlar:

Nick Pippenger'a göre:

İlgili referanslar aşağıdaki gibidir. Steve, NC'de "Sınıf Belirleyici CFL'lerin Polinom Zamanında ve Günlük Kare Alanında Eşzamanlı Olarak Kabul Edildiğini" adlı makalesinde Nick'in Sınıfı olarak tanımladı (ACM STOC, 11 (1979) 338-345). Kuzey Carolina'da Kaynak Sınırları '' (IEEE FOCS, 20 (1979) 307-311). Ancak isimler Toronto CS Bölümü'nü ziyaret ettiğimde (Ocak-Haziran 1978) bir buçuk yıl önce ortaya çıktı. İki sınıf araştırması başladığında, Steve SC ve ben NC'yi tanımlarken ve bölümdeki çeşitli insanlar (sanırım Allan Borodin'in ilk olduğunu sanıyordum) iki adı kullanarak tanımladılar. Bu STOC için program komitesindeydim, ve bildiri göndermeme izin verilmedi.

En iyi dileklerimle,

Nick

— Joe
kaynak

Dipnot 1, Ruzzo'nun "Düzgün Devre Karmaşıklığı Üzerine" adlı makalesinde 1

Cook'un terimi PLOPS idi; SC, Pippenger'ın [5] 'in katkılarının tanınmasında “Steve's Class” için anma törenidir.

Ve [5], Cook'un DCFL kağıdı.

— Kristoffer Arnsfelt Hansen
kaynak