"스티브 클래스": SC의 기원

우리는 가 Steve Cook의 이름이고 이름이 Nick Pippenger의 이름임을 알고 있습니다. 내가 실수하지 않으면 Steve Cook은 Nick Pippenger를 기리기 위해 NC로 지명했으며 그 반대도 마찬가지라고 들었습니다. 그러나 나는 DCFL에 관한 Steve Cook의 논문이나 라는 Nisan의 증거에서 후자의 사실에 대한 증거를 찾지 못했습니다 . $\mathsf{SC}$ $\mathsf{NC}$ $\mathsf{RL} \subseteq \mathsf{SC}$

후자의 주장에 대한 문서화 된 증거가 있는가, 아니면 단순히 "공중"인가?

추신 : 나는 Stigler 's Law of Eponymy의 예를 탐색하고 있기 때문에 묻고 있는데, 내가 "Stigler Reciprocity"라고 부르는 것에 대해 궁금해하고 있었다. 이에 대한 예는 Cartan Matrices 및 Killing 양식입니다.

cc.complexity-theory ho.history-overview

— 수레 쉬 벤 카트
소스

Pippenger 교수 에게 물어 보려고 했습니까 ?

— Joe

@ 조 : 나는 그를 모른다 :)

— Suresh Venkat

IIRC, 나는 Nick이 여기에 있었을 때 여기에 있었던 다른 사람들 ( UofT / DCS / theory ) 로부터 같은 이야기를 들었습니다 . 나는 그것이 이름이 의도적이며 아무도 그들의 발견을 다른 사람에게 귀속시키지 않기 때문에 Stigler 's Eponymy의 법칙의 예라고 생각하지 않습니다.

— Kaveh February

아니요 예가 아닙니다. 나는 :) 상호의 법률 공식화했다

— 수레 쉬 벤 카트

@SureshVenkat 나는 당신에게 그에게 물었고 아래 답변에 그의 답변을 게시했습니다.

— Joe

답변:

다음은 Nick Pippenger에 따른 것입니다.

관련 참조는 다음과 같습니다. Steve는 SC의 "결정적 CFL이 다항식 시간 및 로그 제곱 공간에서 동시에 허용됨"(ACM STOC, 11 (1979) 338-345)에서 NC의 Nick 클래스로 설명했으며 SC에서 Steve의 클래스로 SC를 설명했습니다. NC의 Resource Bounds ''(IEEE FOCS, 20 (1979) 307-311). 그러나 이름은 토론토 대학교 CS학과 (1978 년 1 월부터 6 월까지)를 방문했을 때 약 1 년 반 정도였다. 그때 스티브가 SC를 정의하고 나에게 NC를 정의하고 두 이름을 사용하여 부서의 다양한 사람들 (Allan Borodin이 첫 번째라고 생각 함)과 함께 두 클래스에 대한 연구가 시작된 후, 다음 가을에 스티브는 위에 인용 된 논문을 제출했습니다. 나는 그 STOC의 프로그램위원회에 있었고, 논문을 제출할 수 없었습니다.

최고의 소원,

새긴 금

— 조
소스

Ruzzo의 "Uniform Circuit Complexity"논문에서 각주 1은

Cook의 용어는 PLOPS였습니다. SC는 "Steve 's Class"에 대한 Pippenger의 니모닉으로 [5]의 기여를 인정합니다.

[5]는 Cook의 DCFL 논문입니다.

— 크리스토퍼 안스 펠트 한센
소스