Ilmu Komputer

Jadi kami baru belajar tentang reducibilitas diri di kelas. Profesor saya dan buku teks kami tidak akan berkomitmen untuk mengatakan bahwa semua masalah dalam NP dapat direduksi sendiri, tetapi sepertinya tidak ada contoh masalah yang tidak. Saya bertanya-tanya apakah ada contoh, atau hanya situasi di mana Anda tidak dapat membuktikan …

8 complexity-theory  reductions  decision-problem  np 

Saya sudah memikirkan masalah komputasi / kripto / database khusus ini selama bertahun-tahun dan saya hanya ingin tahu apakah sudah ada solusi untuk itu. Sejujurnya saya bahkan tidak tahu bidang apa masalah ini sebenarnya milik. Singkatnya: orang A memiliki daftar data, orang lain (B) memiliki algoritma yang memberikan setiap item …

8 cryptography  security  protocols  encryption 

Seperti yang didefinisikan oleh Wikipedia, (Korespondensi Curry-Howard) adalah generalisasi dari analogi sintaksis antara sistem logika formal dan kalkulus komputasi yang pertama kali ditemukan oleh ahli matematika Amerika Haskell Curry dan ahli logika William Alvin Howard. Terkait dengan itu adalah λ-cube, yang merupakan representasi grafis dari kemungkinan penyempurnaan dari tipe sederhana …

8 logic  type-theory  functional-programming 

Saya ingin menentukan apakah masalah keputusan ini dapat diputuskan. Saya telah mencoba membuat reduksi dari Halt dan "Terima string kosong", tetapi saya belum menemukan solusi. Adakah yang bisa membantu saya?

8 computability  turing-machines  undecidability 

Saya memiliki dua file besar yang berisi paragraf teks bahasa Inggris: Teks pertama panjangnya sekitar 200 halaman dan memiliki sekitar 10 paragraf per halaman (setiap paragraf panjangnya 5 kalimat). Teks kedua berisi paragraf dan teks yang hampir sama persis dengan paragraf pertama. Panjangnya juga 200 halaman dengan 10 paragraf per …

8 strings  data-mining  natural-language-processing  edit-distance 

Banyak fungsi aktivasi dalam jaringan saraf (sigmoid, tanh, softmax) bersifat monoton, kontinu dan dapat dibedakan (kecuali mungkin beberapa titik, di mana turunannya tidak ada). Saya mengerti alasan untuk kontinuitas dan dapat dibedakan, tetapi tidak dapat benar-benar memahami alasan untuk monoton.

8 machine-learning  neural-networks 

Saya ingin bertanya apa hubungan antara masalah dan bahasa. Kita tahu bahwa himpunan semua bahasa tidak terhitung. Apakah serangkaian masalah juga tidak terhitung? Bisakah setiap masalah didefinisikan oleh suatu bahasa? Bisakah bahasa memecahkan lebih dari satu masalah dan sebaliknya? Apakah ada korespondensi satu-ke-satu antara masalah dan bahasa?

8 formal-languages 

Saya terjebak dengan menganalisis kompleksitas waktu dari algoritma berikut: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - 1, p) if …

8 algorithm-analysis  runtime-analysis 

Sebagai contoh, kita dapat mengatakan bahwa kita memiliki program abstrak yang, diberi string biner terbatas sebagai input, menghapus semua nol (yaitu 0010001101011 dievaluasi menjadi 111111), yang jelas merupakan fungsi yang dapat dihitung oleh Turing. Bagaimana sistem tag siklik menghitung ini (yang dapat, menurut definisi itu menjadi Turing-lengkap) ketika hanya berhenti …

8 computability  turing-machines 

Mari kita bayangkan kita memiliki rumus memuaskan Masalah yang harus dipecahkan adalah "Apakah ada tugas untuk variabel yang akan membuat F tidak memuaskan? " Salah satu cara penyelesaiannya adalah dengan menemukan semua solusi untuk F dalam hal variabel dan jika hitungnya < 2 ^ n , solusi yang hilang akan …

8 logic  satisfiability  sat-solvers 

Pertanyaan: Bisakah ada hash (aman secara kriptografis) yang menjaga topologi informasi { 0 , 1}∗{0,1}∗\{0,1\}^{*}? Bisakah kita menambahkan predikat kedekatan yang dapat dihitung secara efisien yang diberikan hk( x )hk(x)h_k(x) dan hk( y)hk(y)h_k(y) (atau yyy sendiri) memberi tahu kita jika yyyadalah sangat dekat denganxxx (misalnya jarak Levenshtein atau jarak Hamming …

8 complexity-theory  cryptography  hash  string-metrics  topology 

Apakah ada aplikasi Steiner Tree Problem (STP) di dunia nyata? Saya mengerti bahwa desain chip VSLI adalah aplikasi yang baik dari STP. Apakah ada contoh lain dari masalah dunia nyata yang dapat disarankan orang yang dapat dirumuskan dalam istilah STP? Latar belakang: Saya memulai penelitian PhD saya dan saya sedang …

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

Saya memiliki otomat terbatas tanpa status akhir / penerimaan, jadi F kosong. Bagaimana cara menguranginya? Saya mendapatkan ini pada tes dan saya tidak tahu bagaimana mendekati masalah karena otomat tidak memiliki keadaan menerima. Apakah satu keadaan awal dengan semua transisi itu sendiri adalah jawaban yang benar?

8 automata  finite-automata 

Diberikan grafik bipartit mana setiap simpul berwarna merah atau biru, saya mencoba untuk meminimalkan jumlah simpul biru menggunakan operasi berikut:G=(A,B,E)G=(A,B,E)G = (A,B,E) Pilih vertex divavav_aAAA Balikkan warna , artinya dan setiap tetangga akan berubah warna.N[va]N[va]N[v_a]vavav_avavav_a Apakah ada algoritma waktu polinomial untuk memilih set recoloring yang akan meminimalkan jumlah simpul biru? …

8 algorithms  graphs 

Saya memiliki grafik tidak tertimbang yang tidak diarahkan dan saya ingin memilih node dari sedemikian rupa sehingga mereka berpasangan sejauh mungkin dari satu sama lain, dalam hal jarak geodesik . Dengan kata lain mereka harus disebarkan di sekitar grafik sebanyak mungkin.GGGkkkGGG Mari menjadi panjang jalur terpendek antara dan di . …

8 algorithms  graph-theory  graphs