Ilmu Komputer

Dalam Tes Bagian untuk Persiapan GATE ada pertanyaan: f(n): if n is even: f(n) = n/2 else f(n) = f(f(n-1)) Saya menjawab "Ini akan berakhir untuk semua bilangan bulat", karena bahkan untuk beberapa bilangan bulat negatif, itu akan berakhir sebagai Stack Overflow Error . Tetapi teman saya tidak setuju mengatakan …

14 algorithms  recursion  pseudocode 

Katakanlah kita bekerja dengan sistem yang memiliki 40 bit alamat fisik. Total ruang alamat fisik (dengan asumsi byte-addressable memory) adalah byte, atau 1 TiB. Dan jika alamat virtual panjangnya 48 bit, itu berarti ada lebih banyak alamat yang tersedia untuk memori virtual daripada ada lokasi dalam memori fisik.2402402^{40} Ini masuk …

14 memory-management  virtual-memory  memory-access 

Saya punya masalah: Tunjukkan bahwa ada bilangan real yang tidak ada program yang berjalan sangat lama dan menulis angka desimal angka itu. Saya kira itu bisa diselesaikan dengan menguranginya menjadi masalah Berhenti, tetapi saya tidak tahu bagaimana melakukannya. Saya juga akan menghargai tautan ke masalah serupa untuk latihan lebih lanjut.

14 algorithms  reductions  halting-problem 

Saya telah membaca tentang bahasa pemrograman berbasis stack, seperti FORTH dan Cat , dan tampaknya mengingat sifatnya, mereka hanya dapat menjalankan satu tindakan pada satu waktu terlepas dari paradigma mereka (FORTH sangat penting sedangkan Cat berfungsi). Bahasa imperatif akan memodifikasi tumpukan, dan bahasa murni fungsional, seperti Joy , akan mengembalikan …

14 concurrency  stacks  evaluation-strategies 

Apakah ada teknik untuk menyelesaikan persamaan fungsional untuk fungsi yang tidak diketahui dalam kalkulus lambda? Misalkan saya memiliki fungsi identitas yang didefinisikan secara ekstensi sebagai: Ix=xIx=xI x = x (yaitu, dengan menuliskan persamaan untuk perilaku yang diharapkan dari fungsi itu) dan sekarang saya ingin menyelesaikannya untuk dengan melakukan beberapa transformasi …

14 lambda-calculus 

Apakah terbukti bahwa perhitungan kuantum tidak lebih baik dalam menyelesaikan masalah NP lengkap daripada perhitungan klasik atau hanya dipercaya?

14 np-complete  quantum-computing 

Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 2 tahun yang lalu . Umumnya pemrogram komputer yang ahli matematika atau memiliki latar belakang matematika sangat baik …

14 mathematical-foundations 

Saya akrab dengan gagasan penghapusan rekursi ekor dasar , di mana fungsi yang mengembalikan hasil langsung dari panggilan untuk diri mereka sendiri dapat ditulis ulang sebagai loop berulang. foo(...): # ... return foo(...) Saya juga mengerti bahwa, sebagai kasus khusus, fungsinya masih dapat ditulis ulang jika panggilan rekursif dibungkus dengan …

14 compilers  recursion  program-optimization  tail-recursion 

Dalam Pengantar algoritma Cormen et al. , Bagian 15.3 Elemen pemrograman dinamis menjelaskan memoisasi sebagai berikut: Algoritma rekursif memoized mempertahankan entri dalam tabel untuk solusi untuk setiap sub-masalah. Setiap entri tabel awalnya berisi nilai khusus untuk menunjukkan bahwa entri belum diisi. Ketika subproblem pertama kali ditemui ketika algoritma rekursif dibuka, …

14 dynamic-programming  search-trees  dictionaries  memoization 

Saya punya pertanyaan [agak lucu] di benak saya. Mengapa otomat hingga non-deterministik disebut non-deterministik sementara kami mendefinisikan transisi untuk input. Yah, meskipun ada beberapa transisi dan epsilon , mereka didefinisikan yang berarti bahwa mesin itu deterministik untuk transisi tersebut. Yang berarti itu deterministik.

14 finite-automata  nondeterminism 

Saya biasanya menggunakan simbol untuk string kosong (kata kosong atau string kosong). Tapi saya tahu beberapa orang menggunakan bukan .εε\varepsilonλλ\lambdaεε\varepsilon Saya pikir berasal dari kata "Kosong". Namun saya tidak tahu apa asal usul .εε\varepsilonλλ\lambda Dalam teori automata, ada transisi epsilon automata, dan itu juga dikatakan sebagai transisi lambda. Sebagai contoh, …

14 formal-languages  automata  reference-request  notation  history 

Saya memiliki masalah algoritmik. Diberikan array (atau set) dari bilangan bulat tidak negatif. Temukan set maksimal dari sedemikian rupa sehingga untuk semua ,.TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Sebagai contoh: Jika TTT = [1, 3, 4, 1, 3, 6], maka SSS dapat menjadi [3, 3, 6] atau [3, 4, 6] atau [4, 3, …

14 algorithms  optimization  sets 

Sudah diketahui bahwa 2-SAT ada di P. Namun, tampaknya cukup menarik bahwa menghitung jumlah solusi untuk formula 2-SAT yang diberikan, yaitu, # 2-SAT adalah # P-hard. Yaitu, kami memiliki contoh masalah yang keputusannya mudah, tetapi berhitung itu sulit. Tetapi pertimbangkan masalah NP-complete sewenang-wenang (katakanlah 3-COL). Bisakah kita segera mengatakan sesuatu …

14 complexity-theory  counting 

Saya akrab dengan semantik operasional (baik langkah kecil maupun besar) untuk mendefinisikan bahasa pemrograman. Saya tertarik untuk belajar semantik denotasional juga, tetapi saya tidak yakin apakah itu akan sepadan dengan usahanya. Apakah saya hanya akan mempelajari materi yang sama dari sudut pandang yang berbeda, atau ada wawasan yang hanya dapat …

14 semantics  operational-semantics  denotational-semantics 

Saya baru saja membaca. Dapatkah algoritma ini dianggap sebagai algoritma Pencarian Biner? dan ingat bahwa beberapa tahun yang lalu saya menulis pengindeks / mencari file log untuk menemukan entri log dalam file teks biasa dengan jendela tanggal / waktu. Ketika melakukan ini, saya memutuskan untuk mencoba pencarian interpolasi (saya tidak …

14 algorithms  search-algorithms  binary-search