Biarkan menjadi -pengurangan dalam -calculus. Tentukan -pengembangan oleh .→β→β\to_\betaββ\betaλλ\lambdaββ\beta←β←β\leftarrow_\betat′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' Apakah confluent? Dengan kata lain, apakah kita memilikinya untuk setiap , jika , maka ada sedemikian...
Saya telah mendengar tentang semua pencegahan Man-In-The-Middle Attack ini dan saya bertanya-tanya, bagaimana ini bisa bekerja jika pria di tengah hanya mendengarkan aliran Anda dan tidak ingin mengubah pesan itu sendiri. Bisakah pria di tengah tidak hanya mengambil kunci yang ditukar oleh lawan,...
Definisi P adalah bahasa yang dapat diputuskan oleh algoritma waktu polinomial. Definisi P / poli dapat diartikan sebagai bahasa yang dapat diputuskan oleh sirkuit ukuran polinomial (lihat http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Sekarang, mengapa sirkuit ukuran polinomial tidak...
Saya bekerja melalui latihan keras di buku teks, dan saya tidak tahu bagaimana untuk melanjutkan. Inilah masalahnya. Misalkan kita memiliki bahasa mana adalah bilangan irasional. Bagaimana saya membuktikan bahwa bukan bahasa bebas konteks?L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }...
Saya mencoba untuk berpendapat bahwa N bukan NP sama dengan menggunakan teorema hierarki. Ini adalah argumen saya, tetapi ketika saya menunjukkannya kepada guru kami dan setelah deduksi, ia mengatakan bahwa ini bermasalah di mana saya tidak dapat menemukan alasan kuat untuk menerimanya. Kami...
Khususnya, jika saya mendefinisikan baru sebagai alih-alih akankah -kalkulus menjadi basis kompetisi?K2K2K_2K2=λx.(λy.y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y)K=λx.(λy.x)K=λx.(λy.x)K = \lambda x. (\lambda y. x){S,K2,I}{S,K2,I}\{S, K_2,I\} Dugaan saya adalah "tidak," hanya karena saya...
Saat ini saya sedang bekerja untuk memahami penggunaan ikatan Cheeger dan ketidaksetaraan Cheeger, dan penggunaannya untuk partisi spektral, konduktansi, ekspansi, dll, tetapi saya masih berjuang untuk memulai intuisi mengenai nilai eigen kedua dari matriks adjacency. Biasanya, dalam teori grafik,...
Kita tahu dari makalah ini bahwa tidak ada puzzle yang dapat dipecahkan dimulai dengan 16 atau lebih sedikit petunjuk, tetapi itu menyiratkan bahwa ada sebuah puzzle yang dapat dipecahkan dari 17 petunjuk. Apakah semua teka-teki sudoku yang valid dapat ditentukan dalam 17 petunjuk? Jika tidak,...
Dalam penjadwal round-robin, menambahkan proses beberapa kali ke daftar proses adalah cara yang murah untuk memberikan prioritas yang lebih tinggi. Saya ingin tahu seberapa praktis pendekatan ini. Apa manfaatnya dibandingkan teknik-teknik lain seperti memberikan proses irisan waktu yang lebih lama...
Mari kita ambil contoh reduksi → → 2d 3d: Berapa biaya simulasi robot seluler 3d oleh robot seluler 2d? Berikut adalah beberapa pertanyaan yang lebih spesifik: Algoritma seperti apa yang akan mengubah kompleksitas waktu mereka, seberapa banyak? Apa yang akan menjadi ide dasar untuk pengkodean;...
Di tengah semester ada varian dari pertanyaan berikut: Untuk decidable mendefinisikan Tunjukkan bahwa belum tentu decidable.Pref ( L ) = { x ∣ ∃ y st x y ∈ L }L.LLSebelumnya ( L ) = { x ∣ ∃ y st x y∈ L }Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in...
Misalkan saya punya dua string. Panggil mereka dan B . Tidak ada string yang memiliki karakter berulang.SEBUAHSEBUAHABBB Bagaimana saya dapat menemukan urutan tersingkat dari memasukkan, memindahkan, dan menghapus operasi yang mengubah menjadi B , di mana:SEBUAHSEBUAHABBB insert(char,...
Dalam aplikasi dunia nyata, apakah ada manfaat konkret saat menggunakan daripada algoritma ?O ( log ( n ) )O (log( log( n ) )O(log(log(n))\mathcal{O}(\log(\log(n))O (log( n ) )O(log(n))\mathcal{O}(\log(n)) Ini adalah kasus ketika seseorang menggunakan misalnya pohon van Emde Boas daripada...
Dalam analisis algoritme, Anda sering harus menyelesaikan rekurensi. Selain Master Theorem, metode substitusi dan iterasi, ada satu yang menggunakan polinomial karakteristik . Katakanlah saya menyimpulkan bahwa polinomial karakteristik memiliki akar imajiner , yaitu dan . Maka saya tidak bisa...
Saya memiliki tes tentang algoritma branch and bound . Saya mengerti secara teoritis bagaimana algoritma ini bekerja tetapi saya tidak dapat menemukan contoh yang menggambarkan bagaimana algoritma ini dapat diimplementasikan secara praktis. Saya menemukan beberapa contoh seperti ini tetapi saya...
Memiliki himpunan dari n elemen, katakanlah saya ingin menghitung fungsi f ( A ) yang sensitif terhadap semua bagian dari input, yaitu tergantung pada anggota A yang sangat (yaitu mungkin untuk mengubah setiap anggota A menjadi sesuatu lain untuk mendapatkan baru masukan A ' nilai st dari f pada A...
Saya merevisi untuk kursus keamanan komputer dan saya terjebak pada salah satu pertanyaan terakhir. Ini dia: Alice ( AAA ) ingin mengirim pesan pendek MMM ke Bob ( ) menggunakan rahasia bersama untuk mengautentikasi bahwa pesan tersebut berasal darinya. Dia mengusulkan untuk mengirim pesan...
Saya menulis sebuah Program, menyelesaikan Masalah Tukang Pos Cina (juga dikenal sebagai masalah inspeksi rute) dalam sebuah draph yang tidak diarahkan dan saat ini menghadapi masalah untuk menemukan tepi tambahan terbaik untuk menghubungkan node dengan derajat ganjil, sehingga saya dapat...
Saya sedang mempelajari Bootstrapping dari Red Dragon Book Compiler dan menemukan diagram T untuk cross compiler cukup membingungkan. Saya tidak mengerti apa yang dimaksud dengan "Jalankan compiler1 melalui compiler2". Adakah yang bisa memberikan penjelasan yang lebih baik, analogi atau contoh...
Sayangnya saya diberi latihan, tetapi saya tidak berhasil. Ada satu set persegi panjang R1..RnR1..RnR_{1}..R_{n} dan persegi panjang R0R0R_{0} . Menggunakan algoritma plane sweeping menentukan apakah sepenuhnya dicakup oleh set .R0R0R_{0}R1..RnR1..RnR_{1}..R_{n} Untuk detail lebih lanjut...