Pertanyaan yang diberi tag «ho.history-overview»

Saya hanya membaca di lambda calculus untuk "mengenalnya". Saya melihatnya sebagai bentuk komputasi alternatif sebagai lawan dari Mesin Turing. Ini adalah cara menarik untuk melakukan sesuatu dengan fungsi / reduksi (secara kasar). Beberapa pertanyaan terus mengganggu saya: Apa gunanya kalkulus lambda? Mengapa harus melalui semua fungsi / reduksi ini? Apa …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Ini adalah "pertanyaan historis" lebih dari itu adalah pertanyaan penelitian, tetapi apakah pengurangan klasik untuk menemukan urutan dalam algoritma Shor untuk faktorisasi awalnya ditemukan oleh Peter Shor, atau apakah itu sebelumnya dikenal? Apakah ada makalah yang menggambarkan pengurangan yang mendahului Shor, atau apakah itu hanya disebut "hasil rakyat?" Atau apakah …

79 quantum-computing  ho.history-overview  factoring 

Pertanyaan saya hari ini (seperti biasa) agak konyol; tapi saya akan meminta Anda untuk mempertimbangkannya. Saya ingin tahu tentang asal-usul dan / atau motivasi di balik konsep treewidth. Saya yakin mengerti bahwa ini digunakan dalam algoritma FPT, tapi saya tidak berpikir bahwa itulah alasan mengapa gagasan ini didefinisikan. Saya telah …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Saya ingin menulis survei tentang aplikasi Topologi dalam Ilmu Komputer. Saya berencana untuk membahas sejarah ide-ide topologi dalam Ilmu Komputer dan juga menyoroti beberapa perkembangan saat ini. Akan sangat membantu jika ada yang bisa memberi masukan tentang pertanyaan di bawah ini. Adakah tulisan atau catatan yang menggambarkan kronologi penggunaan topologi …

61 reference-request  ho.history-overview  topology  survey 

Ini pemahaman saya bahwa model Turing telah menjadi "standar" ketika menjelaskan perhitungan. Saya tertarik untuk mengetahui mengapa hal ini terjadi - yaitu, mengapa model TM menjadi lebih banyak digunakan daripada model lain yang setara secara teori (sepengetahuan saya), misalnya urs-Rekursi Kleene atau Kalkulus Lambda (saya mengerti bahwa yang pertama tidak …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Jika Anda dapat mengubah nama pemrograman dinamis, apa sebutannya?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Dalam makalah klasik 1979 karya Andrew Chi-Chih Yao ia merujuk "MO Rabin dan AC Yao, dalam persiapan". Ini adalah untuk hasil bahwa kompleksitas komunikasi kesalahan terbatas dari fungsi kesetaraan EQ N (apakah dua bilangan bulat dalam kisaran 0 hingga N - 1 sama) adalah O ( log log N ) …

40 ho.history-overview  communication-complexity 

Masalah ini terinspirasi oleh pertanyaan MO ini , yang menurut saya sangat menarik. Apa masalah terbuka tertua di TCS? Jelas pertanyaan ini membutuhkan klarifikasi. Pertama, apa itu TCS? Saya pikir keberadaan angka sempurna ganjil bukanlah TCS. Saya akan mengatakan bahwa masalah kesepuluh Hilbert adalah TCS. Saya pikir masalah seperti "Bisakah …

36 soft-question  open-problem  ho.history-overview 

Alan Turing , salah satu pelopor ilmu komputer (teoretis), membuat banyak kontribusi ilmiah mani di bidang kami, termasuk mendefinisikan mesin Turing, tesis Gereja-Turing, ketidakpastian, dan tes Turing. Namun, penemuan-penemuan pentingnya tidak terbatas pada yang saya sebutkan. Untuk menghormati Ulang Tahunnya yang ke-100, saya pikir akan lebih baik untuk meminta daftar …

34 soft-question  ho.history-overview 

Saya punya pertanyaan historis. Saya mencoba menentukan referensi untuk fakta bahwa 3-colourability dari grafik (atau colourability untuk ) adalah NP-hard.kkkk≥3k≥3k\geq 3 Jawaban yang menggoda adalah "kertas asli Karp", tetapi itu salah. Berikut ini pemindaian: Reducibilitas di antara Masalah Kombinatorial, Karp (1972) . Ini membuktikan bahwa nomor Chromatic (Input: grafik. Output: …

33 np-hardness  ho.history-overview 

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 …

33 cc.complexity-theory  ho.history-overview 

Dalam beberapa pertanyaan terakhir ( q1 q2 ), telah ada diskusi tentang "Teori A" vs "Teori B", yang tampaknya menangkap kesenjangan antara studi logika dan bahasa pemrograman dan studi tentang algoritma dan kompleksitas. Terminologi ini baru bagi saya, dan pencarian web cepat tidak menghasilkan referensi yang jelas untuk menjelaskannya. Adakah …

30 ho.history-overview  terminology 

Dalam bukunya, Boolean Function Complexity, Stasys Jukna menyebutkan (halaman 564) bahwa Kolmogorov percaya bahwa setiap bahasa di P memiliki sirkuit dengan ukuran linier. Tidak ada referensi yang disebutkan dan saya tidak dapat menemukan apa pun secara online. Apakah ada orang yang tahu lebih banyak mengenai hal ini?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Grothendieck telah meninggal dunia . Dia memiliki dampak besar pada matematika abad ke-20 yang berlanjut ke abad ke-21. Pertanyaan ini ditanyakan dalam gaya / semangat, misalnya, dari Kontribusi Alan Turing untuk Ilmu Komputer . Apa pengaruh utama Grothendieck pada ilmu komputer teoretis?

27 big-picture  ct.category-theory  ho.history-overview 

Mengapa bahasa reguler (dan dari ekspresi reguler itu) disebut "reguler"? Ada banyak keteraturan juga dalam bahasa bebas konteks dari jenis bahasa lainnya. Saya menduga bahwa, pada awalnya, kata sifat "biasa" telah digunakan untuk membedakan jenis bahasa itu dari bahasa "non-reguler" atau entah bagaimana abnormal lainnya. Jika demikian, di mana jenis-jenis …

27 regular-expressions  regular-language  ho.history-overview