“ คลาสของสตีฟ”: ที่มาของเซาท์แคโรไลนา

เรา "รู้" ว่ามีชื่อว่า Steve Cook และ\ mathsf {NC}มีชื่อสำหรับ Nick Pippenger ถ้าฉันไม่เข้าใจผิดสตีฟคุกให้ชื่อว่า NC เป็นเกียรติแก่ Nick Pippenger และฉันก็บอกว่าสิ่งที่ตรงกันข้ามนั้นเป็นจริงเช่นกัน แต่ผมไม่สามารถที่จะหาหลักฐานใด ๆ ของความเป็นจริงหลังนี้ในกระดาษทั้ง Steve Cook บน DCFLs หรือนิสันของหลักฐานว่า\ mathsf {RL} \ subseteq \ mathsf {SC}N C R L ⊆ S $\mathsf{SC}$$\mathsf{NC}$$\mathsf{RL} \subseteq \mathsf{SC}$

มีหลักฐานใดบ้างเกี่ยวกับการอ้างสิทธิ์ในภายหลังหรือเป็นเพียง "อากาศ"?

ป.ล. ฉันถามเพราะฉันกำลังดูตัวอย่างของกฎของ Epigy Stiglerและสงสัยว่าฉันจะเรียกว่า "Stigler Reciprocity": สิ่งที่คิดค้นโดย A นั้นตั้งตามชื่อ B และในทางกลับกัน ตัวอย่างนี้เป็นรูปแบบการฝึกอบรมของ Cartan และการฆ่า

ต่อไปนี้เป็นไปตาม Nick Pippenger:

ข้อมูลอ้างอิงที่เกี่ยวข้องมีดังนี้ Steve อธิบาย NC เป็น Class ของ Nick ในกระดาษของเขา "กำหนด CFL ของจะยอมรับพร้อมกันในพหุนามและ Log Squared Space" (ACM STOC, 11 (1979) 338-345) ใน SC และฉันอธิบาย SC เป็น Class ของ Steve ในกระดาษของฉัน "พร้อมกัน ขอบเขตทรัพยากร '' (IEEE FOCS, 20 (1979) 307-311) ใน NC แต่ชื่อนี้มีต้นกำเนิดมาประมาณปีครึ่งครึ่งเมื่อฉันไปเยี่ยมแผนกวิชา CS มหาวิทยาลัยโตรอนโต (มกราคมถึงมิถุนายน 2521) นั่นคือเมื่อการศึกษาของทั้งสองชั้นเริ่มต้นขึ้นโดยสตีฟกำหนด SC และฉันกำหนด NC และคนต่าง ๆ ในแผนก (ฉันคิดว่าอัลลัน Borodin เป็นคนแรก) โดยใช้ชื่อทั้งสองชื่อฤดูใบไม้ร่วงต่อไปนี้ ฉันอยู่ในคณะกรรมการโครงการของ STOC นั้นและไม่ได้รับอนุญาตให้ส่งเอกสารให้

ด้วยความปรารถนาดี

กรงขัง

ในกระดาษ "On Uniform Circuit Complexity" โดย Ruzzo เชิงอรรถ 1 บอกว่า

คำศัพท์ของกุ๊กคือ PLOPS; เซาท์แคโรไลนาเป็นผู้ช่วยในการจำของ Pippenger สำหรับ "ชั้นเรียนของสตีฟ" เพื่อรับรู้ถึงการมีส่วนร่วมของ [5]

และ [5] คือกระดาษ DCFL โดย Cook