Ilmu Komputer

Dalam Yayasan Praktis untuk Bahasa Pemrograman , kata Robert Harper Jika proposisi itu benar berarti memiliki buktinya, apa artinya proposisi itu salah? Itu berarti bahwa kita memiliki penolakan terhadapnya, menunjukkan bahwa itu tidak dapat dibuktikan. Yaitu, proposisi salah jika kita dapat menunjukkan bahwa anggapan bahwa itu benar (memiliki bukti) bertentangan …

12 logic 

Atau: Apakah kita membutuhkan Rupert untuk mendapatkan hadiah sama sekali? Mengesampingkan masalah , Santa menghadapi masalah berikut (berkali-kali lipat): Diberi tas dengan kapasitas¹ CCC dan satu set hadiah { p1, ... , hlmn}{p1,…,pn}\{p_1, \dots, p_n\} , masing-masing dengan ukuran ssayasis_i , ia ingin membuat anak-anak { c1, ... , ck}{c1,…,ck}\{c_1, …

12 algorithms  complexity-theory  optimization  packing 

Saat ini saya sedang menulis beberapa kode untuk menghasilkan data biner. Saya secara khusus perlu menghasilkan angka 64-bit dengan jumlah bit yang ditentukan; lebih tepatnya, prosedur harus mengambil beberapa 0&lt;n&lt;640&lt;n&lt;640 < n < 64 dan mengembalikan nomor pseudo-acak 64-bit dengan tepat nnn bit diatur ke 111 , dan sisanya diatur …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

Saat ini saya harus belajar Coq dan tidak tahu bagaimana menghadapi or: Sebagai contoh, sesederhana itu, saya tidak melihat cara membuktikan: Theorem T0: x \/ ~x. Saya akan sangat menghargainya, jika seseorang dapat membantu saya. Untuk referensi saya menggunakan lembar contekan ini . Juga contoh bukti yang ada dalam pikiran …

12 logic  coq 

Latar belakang: Saya orang awam yang lengkap dalam ilmu komputer. Saya membaca tentang angka-angka Sibuk Berang-berang di sini , dan saya menemukan bagian berikut: Kemanusiaan mungkin tidak pernah tahu nilai BB (6) untuk yang pasti, apalagi BB (7) atau angka yang lebih tinggi dalam urutan. Memang, sudah lima pesaing teratas …

12 turing-machines  number-theory  busy-beaver 

Kami memiliki banyak masalah, seperti faktorisasi, yang sangat dugaan, tetapi tidak terbukti, berada di luar P. Apakah ada pertanyaan dengan properti yang berlawanan, yaitu, bahwa mereka sangat dugaan tetapi tidak terbukti berada di dalam P?

12 complexity-theory  polynomial-time 

Jika kita memiliki program komputer sewenang-wenang yang dapat memodifikasi instruksinya, apakah mungkin untuk mensimulasikan program itu dengan program yang tidak dapat memodifikasi instruksinya? Edit: Saya baru mengenal stackexchange jadi tidak yakin apakah saya diperbolehkan mengajukan pertanyaan BARU di sini, tapi begini: Ok jadi buktinya mungkin sebenarnya sebenarnya sangat sederhana seperti …

12 computability  computation-models  turing-completeness  church-turing-thesis 

Untuk mengetahui perbedaannya, saya baru saja menemukan pernyataan di bawah tentang logika temporal di Wikipedia : varian lain dari logika modal yang berbagi banyak fitur umum dengan logika dinamis, berbeda dari semua logika yang disebutkan di atas dengan menjadi apa yang telah ditandai oleh Pnueli sebagai logika "endogen", yang lain …

12 logic  linear-temporal-logic  temporal-logic 

Anda bisa mendapatkan nomor Gödel dari RAM dengan membuatnya menjadi daftar perintah dan menjadikan daftar ini bilangan bulat. Jadi, apa yang saya pikir adalah sesuatu seperti "RAM yang akan mengembalikan nomor Gödel sendiri (katakanlah, ) harus memiliki informasi x di dalamnya, sehingga bilangan bulat akan lebih besar dari x , …

12 computability 

Saya mengalami kesulitan membungkus kepala saya di sekitar masalah PRIME, KOMPOSIT, FAKTOR dan bagaimana mereka terkait dalam hal kompleksitas. Saya mengerti bahwa PRIME telah terbukti berada di oleh tes primality AKS, dan saya percaya ini juga berfungsi untuk COMPOSITE.PPP Adapun FAKTOR, FACTOR={(m,r):∃s such that1&lt;s&lt;r and s divides m}FACTOR={(m,r):∃s such that1&lt;s&lt;r …

12 complexity-theory  factoring 

Alice, seorang siswa, memiliki banyak pekerjaan rumah selama beberapa minggu ke depan. Setiap item pekerjaan rumah membawanya tepat satu hari. Setiap item juga memiliki tenggat waktu, dan dampak negatif pada nilai-nilainya (anggap angka sebenarnya, poin bonus hanya dengan asumsi dapat diperbandingkan), jika dia melewatkan tenggat waktu. Tuliskan fungsi yang diberi …

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

Salah satu pertanyaan paling populer dari struktur data dan algoritma, sebagian besar ditanyakan pada wawancara teleponi.

12 algorithms  data-structures  linked-lists 

Saya pikir semua bahasa reguler dapat diekspresikan dengan ekspresi reguler (jika suatu bahasa biasa, dapat diekspresikan dengan regex), tetapi saya telah diberitahu bahwa Anda memerlukan ketiga operasi reguler (penggabungan, penyatuan, dan bintang) untuk itu untuk menahan. Sebagai contoh, saya telah diberitahu bahwa jika saya hanya dapat menggunakan operasi regex gabungan …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

Saya baru saja membaca beberapa halaman dalam buku Sipser. Pengantar Teori Komputasi tentang Masalah Pasca Korespondensi, dan saya berpikir bahwa PCP sebenarnya dalam NP. adalah: untuk konfigurasi masukan tumpukan menyatukan sebagai string dan merangkai sebagai string , lalu bandingkan dan untuk melihat apakah keduanya sama dan kemudian menyimpulkan bahwa input …

12 complexity-theory  decision-problem  np 

Saya sadar bahwa ini tampaknya pertanyaan yang sangat bodoh (atau terlalu jelas untuk dinyatakan). Namun, saya bingung di beberapa titik. Kami dapat menunjukkan bahwa P NP=== jika dan hanya jika kami dapat merancang algoritma yang memecahkan setiap contoh masalah dalam NP dalam waktu polinomial. Namun, saya tidak mengerti bagaimana bisa …

12 complexity-theory  p-vs-np