"Клас Стіва": походження СК

Ми "знаємо", що названо для Стіва Кука, а названо для Ніка Піппенгера. Якщо я не помиляюсь, Стів Кук назвав NC на честь Ніка Піппенгера, і мені сказали, що і зворотній шлях справжній. Однак мені не вдалося знайти жодних доказів цього останнього факту ні в статті Стіва Кука про DCFL, ні в доказі Нісана, що . $\mathsf{SC}$ $\mathsf{NC}$ $\mathsf{RL} \subseteq \mathsf{SC}$

Чи є якісь задокументовані докази останньої претензії, чи це просто "в повітрі"?

ps Я запитую, тому що я переглядав приклади Закону Епонімії Стіглера , і мені було цікаво, що я називатиму "Взаємність Стіглера ": де щось, придумане А, названо на честь В і навпаки. Прикладом цього є матриці Картана та форми вбивства.

cc.complexity-theory ho.history-overview

— Суреш Венкат
джерело

Ви пробували просто запитати професора Піппенджера ?

— Джо

@Joe: Я його не знаю :)

— Суреш Венкат

IIRC, я чув ту саму історію від інших, хто був тут ( UofT / DCS / теорія ) в той час, коли Нік був тут, тому я думаю, що це правда (але я не запитував Стіва). Я не думаю, що це приклад закону епонімії Стіглера, оскільки називання було навмисним, і ніхто не приписує їх відкриття комусь іншому.

— Каве

Ні, це не приклад. Я формулював закон взаємності :)

— Суреш Венкат

@SureshVenkat Я попросив його у вас і опублікував його відповідь у моїй відповіді нижче.

— Джо

Відповіді:

Далі йде Нік Піппенгер:

Відповідні посилання наступні. Стів описав NC як клас Ніка у своїй праці "Детерміновані CFL приймаються одночасно в поліноміальному часі та просторі в квадраті журналу" (ACM STOC, 11 (1979) 338-345) на SC, і я описав SC як клас Стіва у своїй роботі "Одночасно Межі ресурсу "(IEEE FOCS, 20 (1979) 307-311) в NC. Але назви виникли приблизно на півтора року раніше, коли я відвідав відділ CS Університету Торонто (січень по червень 1978 р.)) Тоді почалося вивчення двох класів, і Стів визначив СК, а я визначив НК, і різні люди на кафедрі (я думаю, що Аллан Бородін був першим) з використанням двох імен. Наступної осені Стів подав цитований вище документ. . Я був у програмному комітеті для цієї STOC, і мені не дозволяли подавати документи,

Найкращі побажання,

Нік

— Джо
джерело

У статті "Про єдину складність ланцюга" Руццо, виноска 1 йдеться

Термін Кука був PLOPS; SC є мнепенічним Піппенджером для "класу Стіва", на знак визнання внеску [5]

І [5] - це документ Кука DCFL.

— Крістофер Арнсфельт Хансен
джерело