Pertanyaan yang diberi tag «big-list»

Mengingat Stephen Hawking meninggal hari ini, saya bertanya-tanya apakah ada hasilnya yang berdampak langsung pada cs? Calon yang jelas akan berada dalam komputasi kuantum, atau lebih tepatnya pembangunan komputer kuantum fisik, tetapi mungkin ada hasil yang memiliki dampak lain. Saya akrab dengan karyanya hanya pada tingkat ilmu pengetahuan populer, jadi …

8 big-list  physics  bibliography 

Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang saat ini dapat dijalankan dapat menghadapi kendala serius. Apa saja kendala di mana program bisa gagal?

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Apa saja aplikasi Kompleksitas Kolmogorov dalam Teori Angka dan pada bidang terkait bukti? (Monograf oleh Li & Vitanyi tidak memiliki banyak aplikasi yang terkait dengan Teori Angka.) Salah satu bukti bagus yang saya temui adalah bukti keberadaan bilangan prima tak terbatas, menggunakan definisi Kompleksitas Kolmogorov dan faktor kompresi. Juga, apa …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

Saya baru mempelajari sistem penulisan ulang sebagai mahasiswa PhD tahun pertama. Saya ingin mengusulkan kursus topik khusus tentang teori penulisan ulang, dan saya ingin memastikan saya tidak meninggalkan sumber asli. Saya memiliki salinan Barendregt dan Terese sebagai sumber buku pelajaran. Untuk makalah orisinal: Saya telah melihat karya Dershowitz tentang pembuktian …

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems