Pertanyaan yang meminta bantuan membangun intuisi untuk konsep formal atau kompleks.
Saya percaya saya memiliki pemahaman yang masuk akal tentang kompleksitas seperti , dan .O(1)O(1)\mathcal{O}(1)Θ(n)Θ(n)\Theta(n)Θ(n2)Θ(n2)\Theta(n^2) Dalam hal daftar, adalah pencarian konstan, jadi hanya mendapatkan kepala daftar. adalah tempat saya menelusuri seluruh daftar, dan berjalan daftar...
Saya memahami bukti ketidaktentuan masalah penghentian (diberikan misalnya dalam buku teks Papadimitriou), berdasarkan diagonalisasi. Sementara buktinya meyakinkan (saya mengerti setiap langkahnya), itu tidak intuitif bagi saya dalam arti bahwa saya tidak melihat bagaimana seseorang akan...
Pertanyaan ini terinspirasi oleh komentar di StackOverflow . Selain mengetahui masalah NP-lengkap dari buku Garey Johnson, dan banyak lainnya; adakah aturan praktis untuk mengetahui apakah suatu masalah terlihat seperti masalah NP-complete? Saya tidak mencari sesuatu yang ketat, tetapi untuk...
Saya seorang mahasiswa pascasarjana yang mengambil kursus teori komputasi dan saya memiliki masalah serius dalam memproduksi konten begitu saya diminta. Saya dapat mengikuti buku teks (Pengantar Teori Komputasi oleh Michael Sipser) dan kuliah; namun ketika diminta untuk membuktikan sesuatu atau...
Terkadang mudah untuk mengidentifikasi kompleksitas waktu dari sebuah algoritma yang saya teliti dengan cermat. Algoritma dengan dua loop bersarang jelas . Algoritma yang mengeksplorasi semua kemungkinan kombinasi dari N kelompok dari dua nilai yang jelas 2 ^ N .N 2 N 2 NNNNN2N2N^2NNN2N2N2^N Namun...
Saya pikir saya mengerti ketergantungan mengetik (DT) dengan benar, tetapi jawaban untuk pertanyaan ini: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% Teori B6f-to-create-intuitionistic-type membuat saya berpikir sebaliknya. Setelah membaca tentang DT dan mencoba untuk memahami apa itu DT,...
Di bawah, asumsikan kita sedang bekerja dengan mesin Turing pita tak terbatas. Ketika menjelaskan gagasan kompleksitas waktu kepada seseorang, dan mengapa itu diukur relatif terhadap ukuran input sebuah instance, saya menemukan klaim berikut: [..] Misalnya, wajar bahwa Anda akan memerlukan...
Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Saya mendapatkan bukti pergi dari pencacah ke Mesin Turing (tetap menjalankan pencacah dan melihat apakah itu cocok dengan input) tetapi saya tidak melihat bagaimana cara lain bekerja. Menurut catatan dan buku saya (Pengantar Teori Komputasi - Sipser), untuk mendapatkan enumerator Turing dari...
Diberi bahasa , bagaimana saya bisa mengatakan secara langsung, tanpa melihat aturan produksi, bahwa bahasa ini tidak teratur?L = { anbncn}L={anbncn} L= \{a^n b^n c^n\} Saya bisa menggunakan memompa lemma tetapi beberapa orang mengatakan hanya melihat tata bahasa bahwa ini bukan yang biasa....
Saya telah membaca banyak dokumen tentang konvolusi dalam pemrosesan gambar, dan kebanyakan dari mereka mengatakan tentang formulanya, beberapa parameter tambahan. Tidak ada yang menjelaskan intuisi dan makna sebenarnya di balik melakukan konvolusi pada gambar. Misalnya, intuisi derivasi pada...
Saya tidak yakin melihatnya. Dari apa yang saya mengerti, tepi dan simpul saling melengkapi satu sama lain dan cukup mengejutkan bahwa perbedaan ini ada. Adakah cara yang baik / cepat / mudah untuk melihat bahwa sebenarnya menemukan jalur Hamilton harus jauh lebih sulit daripada menemukan jalur...
Jika Anda memiliki bahasa L, tanpa melakukan bukti apa pun, adakah cara untuk mengetahui apakah itu dapat dikenali atau dikenali bersama atau dapat dipilih? Pada dasarnya ada petunjuk atau trik yang bisa digunakan untuk menceritakannya. Atau mungkin pola umum untuk mencari tahu jenis apa...