Ilmu Komputer

Anggaplah kita memiliki himpunan DDD dan setiap anggota adalah pasangan data dan kunci. Kami menginginkan struktur data yang akan mendukung operasi berikut:DDD Masukkan ke ,D(d,k)(d,k)(d,k)DDD Hapus anggota , (tidak perlu mencari untuk menemukan , misalnya menunjuk ke anggota di ),e e DeeeeeeeeeDDD MostFrequent, yang mengembalikan anggota sehingga adalah salah satu …

14 algorithms  data-structures  abstract-data-types 

Saya memiliki sejumlah pertanyaan terkait tentang kedua topik ini. Pertama, sebagian besar teks kompleksitas hanya menutupi kelas . Apakah ada sumber daya yang baik yang mencakup penelitian lebih mendalam? Sebagai contoh, sesuatu yang membahas semua pertanyaan saya di bawah ini. Juga, saya berasumsi bahwa masih melihat cukup banyak penelitian karena …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Saya mencoba belajar sendiri tentang penggunaan bison. Halaman manual bison (1) mengatakan tentang bison: Hasilkan parser LR deterministik atau LR (GLR) umum yang menggunakan LALR (1), IELR (1), atau tabel parser LR (1) kanonik. Apa itu parser IELR? Semua artikel relevan yang saya temukan di world wide web adalah paywalled.

14 formal-languages  terminology  formal-grammars  parsers 

Aplikasi klasik divide and conquer adalah untuk memecahkan masalah berikut: Diberikan array dari elemen yang berbeda dan dapat dibandingkan, hitung jumlah pasangan inversi dalam array: pasangan sedemikian rupa sehingga dan .( i , j ) a [ i ] > a [ j ] i < ja [ 1 ... …

14 algorithms  reference-request  arrays 

Atas pertanyaan tentang penghitungan inversi ini , saya menemukan makalah yang membuktikan batas bawah pada kompleksitas ruang untuk semua algoritma streaming (pasti) . Saya telah mengklaim bahwa batasan ini meluas ke semua algoritma waktu linier. Ini agak berani seperti pada umumnya, algoritma waktu linier dapat melompat-lompat sesuka hati (akses acak) …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Aku bertanya-tanya bagaimana datang bahwa bahasa berikut ini di .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} (Saya tahu itu …

14 computability  undecidability 

Saya memiliki pertanyaan-pertanyaan ini dari ujian lama yang saya coba selesaikan. Untuk setiap masalah, input adalah encoding dari beberapa Turing mesin .MMM Untuk bilangan bulat , dan tiga masalah berikut:c>1c>1c>1 Benarkah bahwa untuk setiap input , M tidak lulus posisi saat dijalankan pada ?xxx|x|+c|x|+c|x|+cxxx Benarkah bahwa untuk setiap input , …

14 computability  turing-machines  undecidability 

Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Diberikan array dari bilangan bulat N , setiap elemen dalam array dapat ditingkatkan dengan angka tetap b dengan beberapa probabilitas p [ i ] , 0 ≤ i < n . Saya harus menemukan jumlah swap yang diharapkan yang akan terjadi untuk mengurutkan array menggunakan bubble sort .AAANNNbbbp[i]p[i]p[i]0≤i<n0≤i<n0 \leq i …

14 algorithms  algorithm-analysis  sorting  average-case 

Jika grafik GGG terhubung dan tidak memiliki jalan dengan lebih panjang daripada , membuktikan bahwa setiap dua jalur di panjang memiliki setidaknya satu titik kesamaan. G kkkkGGGkkk Saya berpikir bahwa simpul umum harus di tengah-tengah kedua jalur. Karena jika ini tidak terjadi maka kita dapat memiliki jalur panjang . Apakah …

14 graph-theory  graphs  combinatorics 

Inilah masalah yang sudah diketahui. Diberikan array A [ 1 ... n ]A[1...n]A[1\dots n] dari bilangan bulat positif, menghasilkan bilangan bulat positif terkecil tidak dalam array. Masalah dapat diselesaikan dalam O ( n )HAI(n)O(n) ruang dan waktu: membaca array, keep track di O ( n )HAI(n)O(n) ruang apakah 1 , …

14 complexity-theory  time-complexity  space-complexity 

Sebagian besar tutorial tentang Lambda Calculus memberikan contoh di mana Integer Positif dan Boolean dapat diwakili oleh Fungsi. Bagaimana dengan -1 dan saya?

14 data-structures  lambda-calculus  integers  real-numbers 

Saya mencoba menyelesaikan masalah cakupan berikut. Ada pemancar dengan area jangkauan 1 km dan n penerima. Putuskan dalam O ( n log n ) bahwa semua penerima dilindungi oleh pemancar apa pun. Semua pengirim dan pengirim diwakili oleh koordinat x dan y mereka .nnnnnnO(nlogn)O(nlog⁡n)O(n\log n)xxxyyy Solusi paling maju yang bisa …

14 algorithms  computational-geometry  search-problem 

Karena Integer Linear Programming adalah NP-complete, ada pengurangan Karp dari setiap masalah di NP untuk itu. Saya pikir ini menyiratkan bahwa selalu ada formulasi ILP berukuran polinomial untuk setiap masalah dalam NP. Tetapi saya telah melihat makalah tentang masalah NP spesifik di mana orang menulis hal-hal seperti "ini adalah formulasi …

14 complexity-theory  np-complete  reductions  linear-programming 

Apa perangkat dan interkoneksi yang digunakan bersama dengan Prosesor Quantum? Apakah mereka kompatibel dengan perangkat perangkat keras seperti Cache, RAM, Disk komputer saat ini?

14 computer-architecture  quantum-computing