Kita "tahu" bahwa dinamai Steve Cook dan dinamai untuk Nick Pippenger. Jika saya tidak salah, Steve Cook memberi nama NC untuk menghormati Nick Pippenger, dan saya diberitahu bahwa kebalikannya juga benar. Namun, saya tidak dapat menemukan bukti dari fakta terakhir ini baik di makalah Steve Cook di DCFLs atau bukti Nisan bahwa .N C R L ⊆ S C
Apakah ada bukti terdokumentasi dari klaim yang terakhir, atau ini hanya "di udara"?
ps Saya bertanya karena saya melihat-lihat contoh Hukum Epigami Stigler , dan bertanya-tanya tentang apa yang saya sebut "Stigler Reciprocity": di mana sesuatu yang ditemukan oleh A dinamai dengan B dan sebaliknya. Contohnya adalah Matriks Cartan dan formulir Pembunuhan.