「スティーブのクラス」：SCの起源

名前はSteve Cook、名前はNick Pippengerであることを「知っています」。間違っていなければ、Steve CookはNick Pippengerに敬意を表してNCの名前を付けました。逆も同様であると言われました。ただし、DCFLに関するスティーブクックの論文または\ mathsf {RL} \ subseteq \ mathsf {SC}である Nisanの証拠のどちらにも、この後者の事実の証拠を見つけることができませんでした。N C R L ⊆ S $\mathsf{SC}$$\mathsf{NC}$$\mathsf{RL} \subseteq \mathsf{SC}$

後者の主張の文書化された証拠はありますか、またはこれは単に「空中に」ありますか？

ps私はスティグラーの法則の例を参照していて、私が「スティグラーの相互関係」と呼ぶものについて疑問に思っていたので、私は尋ねています。この例は、カルタンマトリックスとキリングフォームです。

Nick Pippengerによると、次のとおりです。

関連するリファレンスは次のとおりです。スティーブは、SCの論文「決定論的CFLは多項式時間と対数空間で同時に受け入れられる」（ACM STOC、11（1979）338-345）でニックのクラスであると説明しました。 Resource Bounds」（IEEE FOCS、20（1979）307-311）ノースカロライナ州。ただし、名前は約1年半前にトロント大学のCS学部を訪れたとき（1978年1月から6月まで）スティーブがSCを定義し、私がNCを定義し、部門のさまざまな人々（アランボロディンが最初だったと思います）が2つの名前を使用して、2つのクラスの研究が始まりました。 。私はそのSTOCのプログラム委員会に参加していましたが、そこに論文を提出することは許可されていませんでした。

ご多幸を祈る、

ニック

ルッツォの論文「On Uniform Circuit Complexity」で、脚注1は述べています

クックの任期はPLOPSでした。SCは、ピッペンジャーの「スティーブのクラス」のニーモニックであり、[5]

[5]はCookによるDCFL論文です。