Pertanyaan yang diberi tag «ho.history-overview»

Sejarah di balik topik: dari mana nama mereka berasal, siapa yang menemukannya, ketika mereka pertama kali terbukti, bagaimana mereka berevolusi selama bertahun-tahun.

10
Algoritma probabilistik (acak) sebelum ilmu komputer "modern" muncul
Sunting: Saya memilih jawaban dengan skor tertinggi pada 06 Desember 2012. Ini pertanyaan lembut. Konsep algoritma (deterministik) kembali ke SM. Bagaimana dengan algoritma probabilistik? Dalam entri wiki ini , algoritma Rabin untuk masalah pasangan terdekat dalam geometri komputasi diberikan sebagai algoritma acak pertama (tahun ???). Lipton memperkenalkan algoritma Rabin sebagai …
2
Makalah untuk kredit untuk partisi spektral grafik
Jika adalah diarahkan grafik -regular dan adalah bagian dari simpul-simpul kardinalitas , sebut ekspansi tepi dari kuantitasG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} Dimana adalah jumlah sisi dengan satu titik akhir di dan satu titik akhir di . Maka masalah Edge Expansion adalah menemukan himpunan dengan yang meminimalkan . …
1
Rabin – Karp vs Karp – Rabin
Para editor bijak lain di Wikipedia telah menolak permintaan saya untuk memindahkan artikel Wikipedia tentang algoritma Rabin-Karp ke apa yang saya pikir seharusnya disebut, algoritma Karp-Rabin, dengan dasar bahwa nama Rabin-Karp lebih sering digunakan ( salah, jika seseorang menggunakan nomor Google sarjana), atau itu terdengar lebih baik dengan suara keras …
1
Siapa yang pertama kali mengusulkan menggunakan algoritma Monte Carlo untuk menghitung Pi?
Saya yakin semua orang tahu percobaan jarum Buffon di abad ke-18, itu adalah salah satu algoritma probabilistik pertama yang menghitung .ππ\pi Implementasi algoritma di komputer biasanya membutuhkan penggunaan , atau fungsi trigonometrik, yang, bahkan jika mereka diimplementasikan sebagai seri terpotong, semacam mengalahkan tujuannya.ππ\pi Untuk menghindari masalah ini, ada algoritma metode …
2
Apa maksud awal dari pembuatan kalkulus Lambda?
Saya pernah membaca bahwa pada awalnya Gereja mengusulkan -calculus sebagai bagian dari postulat makalah Logic-nya (yang merupakan bacaan padat). Tetapi Kleene membuktikan "sistem" -nya tidak konsisten setelah itu, Gereja mengekstraksi hal-hal yang relevan untuk karyanya tentang "komputabilitas yang efektif" dan mengabaikan karyanya yang sebelumnya tentang logika.λλ\lambda Jadi seperti yang saya …
2
Mengapa Kolmogorov menerbitkan algoritma Karatsuba?
Algoritma Karatsuba untuk perkalian cepat pertama kali diterbitkan dalam A. Karatsuba dan Yu. Ofman (1962), "Multiplikasi Angka Banyak-Digital dengan Komputer Otomatis", Prosiding Akademi Ilmu Pengetahuan Uni Soviet 145: 293–294. Menurut Karatsuba (1995, "Kompleksitas perhitungan", Proc. Steklov Institute of Mathematics 211: 169–183) , makalah ini sebenarnya ditulis oleh Kolmogorov (dan mungkin …
3
Siapa yang memperkenalkan perhitungan nondeterministik?
Saya punya dua pertanyaan historis: Siapa yang pertama kali menggambarkan perhitungan nondeterministik? Saya tahu bahwa Cook menjelaskan masalah NP-complete, dan bahwa Edmonds mengusulkan bahwa algoritma P adalah "efisien" atau "baik" algoritma. Aku mencari ini artikel Wikipedia dan skim "Di Komputasi Kompleksitas Algoritma," tapi tidak bisa menemukan referensi untuk saat perhitungan …
2
Argumen untuk / terhadap dugaan Kolmogorov tentang kompleksitas sirkuit P
Menurut catatan sejarah (tidak terverifikasi), Kolmogorov berpikir bahwa setiap bahasa dalam PP\mathsf{P} memiliki kompleksitas rangkaian linier. (Lihat sebelumnya pertanyaan dugaan Kolmogorov yang PPP memiliki sirkuit linear-size .) Perhatikan bahwa kandungannya P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} . Dugaan Kolmogorov, bagaimanapun, dipandang cenderung gagal. Sebagai contoh, Ryan Williams menulis dalam sebuah makalah baru-baru ini : …
3
Apakah konsep Mesin Turing berasal dari automata?
Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?" Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu saya akan berasumsi bahwa Mesin Turing berasal …
5
Mengapa para ekonom harus peduli pada kompleksitas komputasi
Ketika mencoba meyakinkan para ekonom tentang relevansi teori kompleksitas dalam cetakan, adakah referensi standar untuk dikutip? Saya akrab dengan posting blog Noam Nisan , survei Tim Roughgarden , dan bab 11 esai Scott Aaronson . Posting-posting ini dapat diakses oleh para ilmuwan komputer, tetapi tidak menggunakan bahasa para ekonom dan …
1
Mengapa karya Schönfinkel tentang menghilangkan "variabel terikat" dalam logika sangat penting?
AFAIK, Bukti pertama tentang penggunaan fungsi-fungsi tingkat tinggi kembali ke makalah Schönfinkel 1924: "Pada Blok Bangunan Logika Matematika" - di mana ia mengizinkan seseorang untuk melewatkan fungsi sebagai argumen ke fungsi lain. Itu sepertinya menarik. Namun, semua yang telah saya baca tentang karyanya (dan Curry dengan ekstensi) tampaknya menyinggung satu …
1
Sejarah awal hasil tertentu pada pengorbanan ruang-waktu?
Saya tertarik pada sejarah awal hasil yang dipublikasikan tentang pertukaran ruang-waktu untuk tujuan umum. Secara khusus, saya ingin tahu siapa yang pertama kali menggambarkan jenis algoritma berikut untuk mengevaluasi perhitungan yang memiliki grafik aliran data acak dengan derajat O (1) menggunakan ruang yang sebanding dengan kedalaman (bukan lebar) grafik aliran …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.