“Steve's class”: origine di SC

Sappiamo che prende il nome da Steve Cook e prende il nome da Nick Pippenger. Se non sbaglio, Steve Cook ha chiamato NC in onore di Nick Pippenger e mi è stato detto che è vero anche il contrario. Tuttavia, non sono stato in grado di trovare alcuna prova di quest'ultimo fatto né nel documento di Steve Cook sui DCFL né nella prova di Nisan che . $\mathsf{SC}$ $\mathsf{NC}$ $\mathsf{RL} \subseteq \mathsf{SC}$

Esistono prove documentate di quest'ultima affermazione o è semplicemente "nell'aria"?

ps lo sto chiedendo perché stavo sfogliando esempi della Legge dell'Eponimia di Stigler e mi chiedevo cosa chiamerò "Reciprocità Stigler": dove qualcosa inventato da A prende il nome da B e viceversa. Un esempio di ciò sono le matrici di Cartan e i moduli di uccisione.

cc.complexity-theory ho.history-overview

— Suresh Venkat
fonte

Hai provato a chiedere al professor Pippenger ?

— Joe,

@Joe: Non lo conosco :)

— Suresh Venkat,

IIRC, ho sentito la stessa storia da altri che erano qui ( UofT / DCS / teoria ) al tempo in cui Nick era qui, quindi penso che sia vero (ma non ho chiesto a Steve). Non penso che sia un esempio della Legge di eponimia di Stigler perché la denominazione era intenzionale e nessuno sta attribuendo la loro scoperta a qualcun altro.

— Kaveh,

No, non è un esempio. Stavo formulando una legge di reciprocità :)

— Suresh Venkat,

@SureshVenkat Gli ho chiesto di te e ho pubblicato la sua risposta nella mia risposta di seguito.

— Joe,

Risposte:

Quanto segue è secondo Nick Pippenger:

I riferimenti pertinenti sono i seguenti. Steve ha descritto NC come la classe di Nick nel suo articolo "Determinati CFL sono accettati simultaneamente in tempo polinomiale e spazio al quadrato dei registri" (ACM STOC, 11 (1979) 338-345) su SC, e ho descritto SC come la classe di Steve nel mio articolo "Simultaneo Resource Bounds '' (IEEE FOCS, 20 (1979) 307-311) su NC. Ma i nomi sono nati circa un anno e mezzo prima, quando ho visitato il dipartimento CS dell'Università di Toronto (da gennaio a giugno 1978) Fu allora che iniziò lo studio delle due classi, con Steve che definì SC e io che definimmo NC, e varie persone nel dipartimento (penso che Allan Borodin fu il primo) usando i due nomi. L'autunno seguente, Steve presentò il documento sopra citato . Facevo parte del comitato del programma per tale STOC e non mi era permesso presentare documenti,

Auguri,

tacca

— Joe
fonte

Nel documento "On Uniform Circuit Complexity" di Ruzzo, dice la nota 1

Il termine di Cook era PLOPS; SC è il mnemonico di Pippenger per "Steve's Class", in riconoscimento del contributo di [5]

E [5] è la carta DCFL di Cook.

— Kristoffer Arnsfelt Hansen
fonte