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


33

我们“知道”以史蒂夫·库克(Steve Cook)命名,以Nick Pippenger命名。如果我没记错的话,史蒂夫·库克(Steve Cook)以纪念尼克·皮蓬格(Nick Pippenger)的名字命名了NC,而我被告知相反的道理也是如此。但是,在Steve Cook关于DCFL的论文或Nisan关于的证明中,我都找不到任何关于后者的事实的证据。小号CñC[R大号小号C

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

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


2
您是否尝试过问皮蓬格教授

@Joe:我不认识他:)
Suresh Venkat

IIRC,我听说过尼克在这里的其他人(UofT / DCS / theory)也有同样的故事,所以我认为这是真的(但我没有问史蒂夫)。我认为这不是斯蒂格勒《同名定律》的一个例子,因为命名是故意的,没有人将他们的发现归因于其他人。
卡夫

不,这不是一个例子。我正在制定互惠法则:)
Suresh Venkat 2012年

6
@SureshVenkat我问他要你,并在下面的回答中张贴了他的回答。
乔,

Answers:


28

以下是根据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的程序委员会成员,但不允许向其提交论文,

最好的祝愿,

缺口


7

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

库克的术语是PLOPS;SC是皮蓬格(Pippenger)的“史蒂夫班”(Steve's Class)的助记符,以表彰[5]

[5]是Cook的DCFL论文。

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.