Pertanyaan yang diberi tag ho.history-overview

Jika saya mengerti dengan benar, untuk membuktikan bahwa masalah adalah NP sulit, Anda harus memilih semua masalah yang mungkin yang ada di NP dan kemudian membuktikan bahwa mereka mengecil menjadi dengan menggunakan fungsi yang dapat dihitung waktu polinomial, yang memetakan setiap contoh untuk...

Adakah yang tahu dari mana nama System "F" dan System "T" berasal? Saya tidak bertanya siapa yang memperkenalkan nama-nama itu (Girard System F, dan Gödel System T), tetapi apa arti "F" dan

Apakah #P pertama kali diperkenalkan di [1] ? [1] Valiant, Leslie G. "Kompleksitas komputasi yang permanen." Ilmu komputer teoretis 8.2 (1979):

Dalam dua pertanyaan berikut ini, Asal dan penerapan Teori A vs Teori B? dan aplikasi teori kategori Solid dalam TCS? , banyak orang berbagi pengetahuan dan pendapat mereka tentang pembagian dua area dalam CS teoritis. Saya seorang siswa dalam matematika dengan pengalaman di kedua teori grafik dan...