Pertanyaan saya adalah sebagai berikut. Asumsikan bahwaΠΠ\Piadalah masalah NP-hard. Diberikan contoh sewenang-wenangIII dari ΠΠ\Pi dan berasumsi bahwa musuh tahu bahwa kejadian ini mudah diselesaikan, apakah mungkin untuk menemukan algoritma waktu polinomial deterministik untuk menyelesaikan contoh...
Baru-baru ini saya belajar tentang Q-learning, sebuah teknik pembelajaran penguatan yang secara langsung memperkirakan nilai yang diharapkan dari mengambil tindakan dalam keadaan. Saya bertanya-tanya apakah ada teknik untuk melakukan "pembelajaran dinamika", untuk memperkirakan dinamika suatu...
Saya punya pertanyaan berikut. Apakah pemecah SAT bersifat deterministik? Maksud saya, misalnya, tentang algoritma miniSAT dan DPLL . Apakah mereka sepenuhnya deterministik? Jika algoritma ini akan mengembalikan unSAT itu berarti bahwa solusinya tidak
Saya mencoba memahami bagaimana saya bisa mengurutkan array nnn elemen saat saja lognlogn\log n tidak ada di tempat. Saya mendengar bahwa paling banyak menyortir array III inversi memiliki kompleksitas O(nlog(I/n))O(nlog(I/n))O(n\log(I/n)). Karena adalognlogn\log n elemen yang tidak disortir,...
Saya sedang mempelajari sistem tipe murni, khususnya kalkulus konstruksi, dan mencoba menggunakan pengkodean untuk tipe rekursif di atasnya, yang, menurut Philip Wadler, adalah mungkin . Sebagai contoh, saya menggunakan perpustakaan Morte Haskell untuk menyandikan angka Scott seperti yang diberikan...
Seperti yang saya katakan, saya ingin membangun sebuah program untuk menghasilkan n titik yang sama dalam ruang euclidian. Dari yang aku tahu 1d: semua beberapa poin 2d: semua segitiga sama sisi 3d: semua tetrahedra sama sisi hingga 3d: saya kira itu disebut hipriangle sama sisi Jadi masalah...
Ini adalah sesuatu yang tidak dapat saya temukan - tetapi saya selalu merasa menarik bahwa lemma pemompaan hanyalah sebuah lemma (terutama karena ia memiliki nama yang sama untuk bahasa biasa, bahasa bebas konteks, dll ...) Apa itu
Algoritme awal saya: Bandingkan elemen 0 dengan setiap elemen lainnya, catat berapa banyak elemen yang kurang dari itu. Ulangi untuk setiap elemen sampai elemen yang lebih besar dari elemen (k-1) ditemukan. Saya menganggap ini akan mengambil dalam kasus terburuk. Bisakah runtime lebih cepat...
Diberi DFA, A, misalkan L (A) menunjukkan jumlah kata yang diterima A. Saya pikir mudah untuk menghitung L (A): Terjemahkan pengkodean A ke dalam ekspresi reguler. Jika bintang Kleene muncul di mana saja dalam ekspresi - bahasanya tidak terbatas. Lain: Periksa dan hitung semua kombinasi kata yang...
Saya baru-baru ini memikirkan bukti berikut bahwa L = P menyiratkan P = NP. Misalkan L = P. Biarkan A menjadi masalah di NP. Dengan definisi verifikasi NP, setiap solusi positif untuk A memiliki saksi yang dapat diverifikasi dalam waktu polinomial. Karena P = L, solusi yang sama dapat...
Setelah kelas Teori Komputasi saya hari ini, pertanyaan ini muncul di benak saya: Jika masalah dapat diselesaikan oleh robot terbatas, masalah ini milik P. Saya pikir itu benar, karena automata mengenali bahasa yang sangat sederhana, maka semua bahasa ini akan memiliki algoritma polinomial untuk...
Misalkan Anda memiliki beberapa bahasa pemrograman dengan manajemen memori manual. Fitur apa yang dibutuhkan oleh bahasa ini untuk dapat mengimplementasikan pengumpulan sampah secara tepat sebagai perpustakaan, dan bukan sebagai konstruksi bahasa mendasar? Maksud saya adalah GC yang tepat di mana...
Tata bahasa ini dibiarkan rekursif: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term |...
Saya bertanya-tanya apakah ada fungsi yang berguna asimtotik lebih besar dari fungsi polylogaritmik dan kurang dari fungsi polinom. Artinya, fungsi sedemikian rupaf( n )f(n)f(n) f( n ) = ω ( log( n)k)f(n)=ω(log(n)k)f(n) = \omega(\log(n)^k) untuk beberapa konstantak > 0k>0k > 0 dan f( n )...
Yo! Ini mungkin pertanyaan bodoh, namun saya belum pernah melihatnya ditulis secara eksplisit jika, misalnya, decidability dari pengecekan tipe sama dengan properti normalisasi yang kuat. Oleh karena itu saya mengajukan pertanyaan ini untuk mengklarifikasi semua kemungkinan hubungan antara...
Selama beberapa tahun terakhir, saya membangun sebuah komputer mekanik yang ditenagai oleh kelereng dan membuat game darinya. Ini mirip dengan Digi-Comp II yang lama, kecuali untuk dua perbedaan utama: Bagian dapat diposisikan di papan tulis. Anda dapat menghubungkan banyak 'bit' secara...
Ini adalah tugas dari kontes IT Jerman ("Bundeswettbewerb Informatik"), tetapi karena batas waktu sudah lewat, menanyakan pertanyaan ini tidak curang. Dengan diberi graf titik-tertimbang, terarah dan nilai , temukan subset dari simpul yang memaksimalkan tunduk pada Apakah ini masalah NP-hard?G =...
Saya memiliki dua angka, yang masing-masing merupakan produk dari sejumlah besar angka yang lebih kecil yang saya tahu. Saya ingin mencari GCD (Pembagi umum terbesar) dari dua angka ini. Apakah ada cara saya dapat memanfaatkan faktorisasi parsial yang saya harus mempercepat prosesnya? Secara...
Saya membaca salah satu makalah populer tentang teori tipe kubik, tetapi tidak heran saya hanya bisa melihat rumus dan diagram tanpa bisa mengenalinya sama sekali. Jadi, inilah yang saya inginkan. Saya ingin penjelasan yang cukup mendalam tentang komposisi apa, Kan mengisi dan menempelkan...
Andaikata kita memiliki komputer kuantum dengan jumlah qubit yang cukup, dapatkah kita menggunakannya untuk melakukan aljabar linier lebih cepat daripada yang kita dapat dengan komputer klasik? Seperti apa speedup yang bisa kita harapkan? Adakah yang membuat algoritma kuantum untuk aljabar linier,...