“Steve's class”: origine du SC

Nous "savons" que porte le nom de Steve Cook et que porte le nom de Nick Pippenger. Si je ne me trompe pas, Steve Cook a été nommé NC en l'honneur de Nick Pippenger, et on m'a dit que l'inverse est également vrai. Cependant, je n'ai pu trouver aucune preuve de ce dernier fait ni dans l'article de Steve Cook sur les DCFL ni dans celui de Nisan selon lequel . $\mathsf{SC}$ $\mathsf{NC}$ $\mathsf{RL} \subseteq \mathsf{SC}$

Existe-t-il des preuves documentées de cette dernière affirmation, ou s'agit-il simplement "dans les airs"?

ps Je pose la question parce que je parcourais des exemples de la loi d'épigraphe de Stigler et que je m'interrogeais sur ce que j'appellerais la "réciprocité de Stigler": où quelque chose inventé par A tire son nom de B et vice versa. Un exemple de ceci est le formulaire Matan de Cartan et le formulaire Killing.

cc.complexity-theory ho.history-overview

— Suresh Venkat
source

Avez-vous essayé de demander au professeur Pippenger ?

— Joe

@ Joe: Je ne le connais pas :)

— Suresh Venkat

IIRC, j'ai entendu la même histoire de la part de ceux qui étaient ici ( UofT / DCS / théorie ) à l'époque où Nick était ici, alors je pense que c'est vrai (mais je n'ai pas demandé à Steve). Je ne pense pas que ce soit un exemple de la loi d'épigraphe de Stigler parce que la dénomination était intentionnelle et que personne n'attribue sa découverte à quelqu'un d'autre.

— Kaveh

Non ce n'est pas un exemple. Je formulais une loi de réciprocité :)

— Suresh Venkat

@SureshVenkat Je lui ai demandé pour vous, et posté sa réponse dans ma réponse ci-dessous.

— Joe

Réponses:

Ce qui suit est selon Nick Pippenger:

Les références pertinentes sont les suivantes. Steve a décrit NC comme étant la classe de Nick dans son article "Les LFC déterministes sont acceptées simultanément dans un temps polynomial et dans un espace carré logarithmique" (ACM STOC, 11 (1979) 338-345) sur SC, et j'ai décrit SC comme une classe de Steve dans mon document "Simultaneous Resource Bounds '' (IEEE FOCS, 20 (1979) 307-311) en NC. Mais les noms remontent à environ un an et demi plus tôt, lors de ma visite au département de recherche et développement de l'Université de Toronto (janvier à juin 1978). C'est alors que débuta l'étude des deux classes, Steve définissant SC et moi définissant NC, ainsi que diverses personnes du ministère (Allan Borodin, je pense, était le premier) en utilisant les deux noms. À l'automne suivant, Steve soumit le document cité plus haut. Je faisais partie du comité de programme pour ce STOC et je n’étais pas autorisé à lui soumettre des documents,

Meilleurs vœux,

Entaille

— Joe
source

Dans le document "On Uniform Circuit Complexity" de Ruzzo, la note 1 indique

Le terme de Cook était PLOPS; SC est le mnémonique de Pippenger pour «Steve's Class», en reconnaissance de la contribution de [5]

Et [5] est le papier DCFL de Cook.

— Kristoffer Arnsfelt Hansen
source