“史蒂夫课程”：SC的由来

我们“知道”以史蒂夫·库克（Steve Cook）命名，以Nick Pippenger命名。如果我没记错的话，史蒂夫·库克（Steve Cook）以纪念尼克·皮蓬格（Nick Pippenger）的名字命名了NC，而我被告知相反的道理也是如此。但是，在Steve Cook关于DCFL的论文或Nisan关于的证明中，我都找不到任何关于后者的事实的证据。$\mathsf{SC}$$\mathsf{NC}$$\mathsf{RL} \subseteq \mathsf{SC}$

是否有任何书面证据证明后一种主张，或者仅仅是“悬而未决”？

ps我之所以问是因为我正在浏览斯蒂格勒定律的例子，并且想知道我将其称为“斯蒂格勒互惠性”的原因：A发明的东西以B命名，反之亦然。卡坦矩阵和杀人表格就是一个例子。

以下是根据Nick Pippenger的说法：

相关参考文献如下。Steve在SC上的论文“确定性CFL在多项式时间和对数平方空间中同时被接受”（ACM STOC，11（1979）338-345）中，将NC称为Nick的班级，我在论文“ Simultaneous资源界''（IEEE FOCS，20（1979）307-311），但这些名称起源于大约一年半之前，当我访问多伦多大学CS系时（1978年1月至6月）。那时，这两个班级的研究开始了，史蒂夫（Steve）定义了SC，我定义了NC（NC），部门中的各个人（我想艾伦·鲍罗丁（Allan Borodin）是第一个）使用第二个名字。我是该STOC的程序委员会成员，但不允许向其提交论文，

最好的祝愿，

缺口

在Ruzzo的“论统一电路复杂性”中，脚注1表示

库克的术语是PLOPS；SC是皮蓬格（Pippenger）的“史蒂夫班”（Steve's Class）的助记符，以表彰[5]

[5]是Cook的DCFL论文。