Ilmu Komputer

Saya mengajukan pertanyaan (seed) tentang jumlah istilah Landau sebelumnya , mencoba untuk mengukur bahaya penyalahgunaan notasi asimtotik di aritmatika, dengan kesuksesan beragam. Sekarang, di sini guru pengulangan kami, JeffE , pada dasarnya melakukan ini: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) Walaupun hasil akhirnya benar, saya pikir ini salah. Mengapa? Jika …

10 terminology  asymptotics  landau-notation 

Dalam konteks penyelidikan heap automata kami , saya ingin membuktikan bahwa varian tertentu tidak dapat menerima bahasa yang tidak peka konteks. Karena kami tidak memiliki model tata bahasa yang setara, saya perlu bukti yang hanya menggunakan automata; oleh karena itu, saya harus menunjukkan bahwa heap automata dapat disimulasikan oleh LBA …

10 automata  pushdown-automata 

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 mesin Turing, pada dasarnya kami menulis semua kombinasi …

10 computability  turing-machines  intuition 

Apakah ada keuntungan memiliki lebih dari 2 lapisan tersembunyi di Jaringan Saraf Tiruan? Saya telah melihat beberapa tempat yang merekomendasikannya, yang lain membuktikan bahwa tidak ada keuntungan. Yang mana yang benar?

10 artificial-intelligence  neural-networks  neural-computing 

Saya bermain-main dengan demo Labirin Google Blocky , dan ingat aturan lama bahwa jika Anda ingin menyelesaikan labirin, jaga tangan kiri Anda tetap di dinding. Ini berfungsi untuk setiap labirin yang terhubung sederhana dan dapat diimplementasikan oleh transduser terbatas. Biarkan robot kami diwakili oleh transduser dengan tindakan berikut, dan dapat …

10 automata  finite-automata  artificial-intelligence 

Saya mencoba mengerjakan tugas (diambil dari buku Algoritma - oleh S. Dasgupta, CH Papadimitriou, dan UV Vazirani , Bab 8, masalah 8.6a), dan saya memparafrasekan apa yang dinyatakannya: Mengingat bahwa 3SAT tetap NP-lengkap bahkan ketika terbatas pada rumus di mana setiap literal muncul paling banyak dua kali, menunjukkan bahwa jika …

10 complexity-theory  satisfiability  3-sat 

Formulasi Alternatif Saya datang dengan formulasi alternatif untuk masalah di bawah ini. Formulasi alternatif sebenarnya adalah kasus khusus dari masalah di bawah dan menggunakan grafik bipartit untuk menggambarkan masalah. Namun, saya percaya bahwa formulasi alternatif masih NP-keras. Formulasi alternatif menggunakan set terputus dari node masuk dan keluar yang menyederhanakan definisi …

10 complexity-theory  graphs  graph-theory  np-complete 

Saya memiliki masalah di pikiran saya, saya pikir itu adalah masalah NPC tapi saya tidak tahu bagaimana membuktikannya. Inilah masalahnya: Ada k pulau di sebuah danau yang sangat besar, dan ada n ponton berbentuk kipas. Ponton itu memiliki ukuran yang sama tetapi memiliki arah awal yang berbeda dan berada dalam …

10 complexity-theory  np-complete  np-hard 

Apakah ada kebutuhan untuk untuk menjadi tak terbatas untuk diputuskan?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Maksud saya bagaimana jika kita memilih bahasa menjadi versi terbatas terbatas , yaitu , ( ), dengan . Mungkinkah menjadi bahasa yang tidak dapat ditentukan? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N L …

10 formal-languages  computability  undecidability 

Akankah ada kebutuhan untuk mengubah definisi keamanan jika kita memiliki komputer kuantum? Konstruksi kriptografi apa yang akan rusak? Apakah Anda tahu survei atau artikel yang menjelaskan apa yang perlu diubah?

10 reference-request  cryptography  quantum-computing 

Sudah diketahui umum bahwa poligon monoton memainkan peran penting dalam triangulasi poligon . Definisi: Suatu poligon dalam bidang disebut monoton sehubungan dengan garis lurus , jika setiap garis ortogonal ke memotong paling banyak dua kaliPPPLLLLLLPPP Diberi garis dan poligon , apakah ada algoritma yang efisien untuk menentukan apakah poligon adalah …

10 algorithms  computational-geometry 

Untuk bersenang-senang saya mencoba membuat penampil bingkai kawat untuk DCPU-16 . Saya mengerti bagaimana melakukan semuanya kecuali bagaimana menyembunyikan garis-garis yang disembunyikan dalam bingkai kawat. Semua pertanyaan di sini pada SO semuanya menganggap Anda memiliki akses ke OpenGL, sayangnya saya tidak memiliki akses ke hal seperti itu untuk DCPU-16 (atau …

10 algorithms  computational-geometry  graphics 

Karena sifat pertanyaan, saya harus memasukkan banyak informasi latar belakang (karena pertanyaan saya adalah: bagaimana saya mempersempit ini?) Yang mengatakan, itu dapat diringkas (sesuai pengetahuan saya) sebagai: Metode apa yang ada untuk menemukan optimum lokal pada ruang pencarian kombinatorial yang sangat besar? Latar Belakang Dalam komunitas superplay yang dibantu alat, …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

Dalam banyak teks yang lebih rendah terikat untuk menemukan th elemen terkecil diturunkan memanfaatkan argumen menggunakan median. Bagaimana saya bisa menemukannya menggunakan argumen musuh?kkk Wikipedia mengatakan bahwa algoritma turnamen berjalan di , dan n - k + Σ n j = n + 2 - k ⌈ lgO(n+klogn)O(n+klog⁡n)O(n+k\log n) yangdiberikansebagai …

10 algorithms  algorithm-analysis 

Biarkan A dan B menjadi bahasa dengan A ⊆ B, dan B dikenali Turing. Bisakah A menjadi Turing-dikenali? Jika ya, apakah ada contoh?

10 computability