Pertanyaan yang diberi tag «reference-request»

Tentukan LOGLOG sebagai kelas bahasa yang dapat dihitung dalam ruang O (loglog n) oleh mesin Turing deterministik (dengan akses dua arah ke input). Demikian pula mendefinisikan NLOGLOG sebagai kelas bahasa yang dapat dihitung dalam ruang O (log log n) oleh mesin Turing non-deterministik (dengan akses dua arah ke input). Apakah …

32 cc.complexity-theory  reference-request  space-bounded 

Melihat pertanyaan melalui lensa algoritmik (yaitu dari sudut pandang algoritmik atau kompleksitas) telah menjadi berguna dalam disiplin ilmu di luar 'domain standar' ilmu komputer. Secara khusus CS telah membuat dampak pada biologi melalui biologi komputasi, pada fisika melalui pemrosesan informasi kuantum, dan teori AI dan kompleksitas tampaknya secara teratur berinteraksi …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Sementara saya telah lulus beberapa mata kuliah tentang teori probabilitas, baik di sekolah menengah dan universitas, saya kesulitan membaca makalah TCS ketika datang ke probabilitas. Tampaknya para penulis makalah TCS sangat mengenal probabilitas. Mereka secara ajaib bekerja dengan rumus probabilitas dan membuktikan teorema dengan sangat mudah; sementara saya harus bekerja …

32 reference-request  big-list  pr.probability  books 

Saya memerlukan buku teori automata terbatas dengan banyak contoh yang dapat saya gunakan untuk belajar mandiri dan untuk mempersiapkan ujian.

32 reference-request  automata-theory  fl.formal-languages 

Saya telah membaca " Semantik dengan Aplikasi " dari Nielson & Nielson , dan saya sangat menyukai subjeknya. Saya ingin memiliki satu buku lagi tentang semantik bahasa pemrograman - tetapi saya hanya bisa mendapatkan satu buku. Saya melihat-lihat buku Turbak / Gifford , tetapi terlalu panjang lebar; Saya pikir Winskel …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Sepertinya ini tidak diketahui - tetapi apakah ada batas bawah yang menarik pada kompleksitas perkalian matriks dalam model komputasi kuantum? Apakah kita memiliki intuisi yang dapat mengalahkan kompleksitas algoritma Coppersmith-Winograd menggunakan komputer kuantum?

30 reference-request  quantum-computing  matrix-product 

Metode polinomial , katakanlah Combinatorial Nullstellensatz dan Chevalley-Warning theorem adalah alat yang ampuh dalam kombinatorik aditif. Dengan merepresentasikan masalah dengan polinomial yang tepat, mereka dapat menjamin keberadaan solusi, atau jumlah solusi untuk polinomial. Mereka telah digunakan untuk memecahkan masalah seperti jumlah terbatas atau masalah jumlah nol , dan beberapa teorema …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

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 

Saya hanya mengetahui dua bukti dari lemma Schwartz-Zippel. Bukti pertama (lebih umum) dijelaskan dalam entri wikipedia . Bukti kedua ditemukan oleh Dana Moshkovitz. Apakah ada bukti lain yang menggunakan ide yang sangat berbeda?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Studi ekologi dan evolusi menjadi semakin matematis, tetapi sebagian besar alat teoretis tampaknya berasal dari fisika. Namun, dalam banyak kasus masalah memiliki sifat yang sangat berbeda (lihat misalnya SLBS00 ) dan dapat mengambil manfaat dari perspektif ilmu komputer . Namun, saya menyadari hanya beberapa hasil serius dari TCS yang mencoba …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Misalkan adalah grafik dengan angka pewarnaan . Pertimbangkan permainan berikut antara Alice dan Bob. Pada setiap putaran, Alice memilih sebuah titik, dan Bob menjawab dengan warna di untuk titik ini. Permainan berakhir ketika tepi monokromatik ditemukan. Biarkan menjadi panjang maksimal permainan di bawah permainan optimal oleh kedua pemain (Alice ingin …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

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 …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Saya baru saja mengajarkan algoritma mincut acak Karger-Stein di kelas algoritma lulusan saya. Ini adalah permata algoritmik yang nyata , jadi saya tidak bisa mengajarinya, tetapi selalu membuat saya frustrasi, karena saya tidak tahu aplikasi lain dari teknik utama. (Jadi sulit untuk menetapkan pekerjaan rumah yang mengarahkan poin ke rumah.) …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Anda mungkin sering menemukan metode cutting plane, propagasi variabel, cabang dan terikat, pembelajaran klausa, backtracking cerdas atau bahkan heuristik manusia yang dirajut tangan dalam solver SAT. Namun selama beberapa dekade solver SAT terbaik sangat bergantung pada teknik bukti resolusi dan menggunakan kombinasi hal-hal lain hanya untuk bantuan dan untuk mengarahkan …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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 …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo