Ilmu Komputer Teoritis

Apa yang diketahui tentang kelas bahasa yang dikenali oleh automata terbatas yang memiliki keadaan awal dan penerima yang sama? Ini adalah bagian yang tepat dari bahasa biasa (karena setiap bahasa tersebut berisi string kosong), tetapi seberapa lemah itu? Apakah ada karakterisasi aljabar sederhana? Ditto untuk bahasa yang dikenali oleh automata …

13 fl.formal-languages  automata-theory  algebra  regular-language 

Saya ingin mendefinisikan pengertian "kedekatan" antara dua bahasa reguler dari kata-kata terbatas dalam Σ∗Σ∗\Sigma^* (dan / atau kata-kata tak terbatas dalam ). Ide dasarnya adalah bahwa kita ingin dua bahasa menjadi dekat jika mereka tidak berbeda dengan banyak kata. Kami juga dapat menggunakan jarak sunting dalam beberapa cara ... Saya …

13 reference-request  fl.formal-languages  regular-language 

Minggu lalu, saya membaca lagi trasncript Leslie Lamport tahun 1982 tentang konferensi yang dia berikan tentang Soal-soal yang Terselesaikan, Masalah yang Tidak Terselesaikan , dan Non-Masalah dalam Concurrency . Makalah ini mudah dibaca, tetapi salah satu hal yang membuat saya berpikir adalah pernyataan berikut: Bisakah masalah dianggap sebagai masalah pengecualian …

13 reductions  dc.distributed-comp  concurrency 

Saya mencari struktur data yang akan mempertahankan tabel integer ukuran n , dan memungkinkan operasi berikut dalam waktu O ( log n ) .tttnnnO(logn)O(log⁡n)O(\log n) , yang meningkatkan t [ a ] , t [ a + 1 ] , … , t [ b ]increase(a,b)increase(a,b)\text{increase}(a,b)t[a],t[a+1],…,t[b]t[a],t[a+1],…,t[b]t[a],t[a+1],\ldots,t[b] . , yang berkurang …

13 ds.data-structures  cg.comp-geom 

Di luar dunia akademis, apa gunanya 'kekuatan' saya? Apa yang bisa saya lakukan selain mengajar dan menerbitkan makalah? Di mana semua saya bisa menerapkan kekuatan saya? Demi argumen: Harap asumsikan saya memiliki PhD dalam algoritma / TCS dan telah belajar banyak 'barang' dan dibuat telah datang dengan batas terobosan pada …

13 soft-question  big-picture  career 

Motivasi: Seorang penulis pendamping menyunting sebuah naskah dan saya ingin melihat ringkasan yang jelas dari suntingan itu. Semua "diff" -seperti alat cenderung tidak berguna jika Anda berdua bergerak teks di sekitar (misalnya, re-mengatur struktur) dan melakukan suntingan lokal. Apakah sangat sulit untuk memperbaikinya? Definisi: Saya ingin mencari jarak pengeditan minimum, …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Jika nnn bola ditempatkan ke nnn nampan secara seragam secara acak, nampan dengan beban terberat memiliki bola O ( lgn / lglgn )HAI(lg⁡n/lg⁡lg⁡n)O(\lg n/\lg \lg n) dengan probabilitas tinggi. Dalam "The Power of Simple Tabulation Hashing" , Pătraşcu dan Thorup menyebutkan bahwa "Chernoff-Hoeffding terikat untuk aplikasi dengan independensi terbatas" ( …

13 ds.data-structures  randomness  hash-function  independence 

Masalah partisi adalah NP-lengkap lemah karena memiliki algoritma waktu polinomial (semu-polinomial) jika bilangan bulat input dibatasi oleh beberapa polinomial. Namun, 3-Partition adalah masalah NP-lengkap sangat bahkan jika bilangan bulat input dibatasi oleh polinomial. Dengan asumsi, , dapatkah kita membuktikan bahwa masalah NP-complete antara harus ada? Jika jawabannya ya, apakah ada …

13 cc.complexity-theory  np-hardness  partition-problem 

Ingat bahwa lebar dari resolusi sanggahan dari formula CNF F adalah jumlah maksimal literal dalam klausul terjadi di R . Untuk setiap w , ada rumus yang tidak memuaskan F dalam 3-CNF st setiap resolusi resolusi F membutuhkan lebar setidaknya w .RRRFFFRRRwwwFFFFFFwww Saya membutuhkan contoh konkret dari formula yang tidak …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

Sangat mudah untuk melihat bahwa jika maka ada masalah pencarian total yang tidak dapat diselesaikan dalam waktu polinomial (buat masalah pencarian total dengan memiliki saksi untuk keanggotaan dan saksi bukan anggota).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Apakah yang sebaliknya juga benar, yaitu Apakah keberadaan total masalah pencarian tidak dapat dalam waktu polinomial menyiratkan …

13 cc.complexity-theory  reference-request  search-problem 

Saya mengalami permainan berikut. Saya akan memigrasi ini seperti yang diminta. Bug sedang mengunjungi lingkaran, dan musuh ingin memaksimalkan waktu perjalanannya. Musuh menempatkan lingkaran di setiap belokan. Bug berjalan dari posisi saat ini langsung menuju pusat lingkaran terbaru, lalu berhenti ketika bertemu dengan interior lingkaran (dengan demikian: ia tidak berjalan …

13 gt.game-theory 

Apakah ada buku terbaru tentang Algoritma Online? Saya tahu hanya dua buku tentang masalah ini. Perhitungan Online dan Analisis Kompetitif oleh Allan Borodin dan Ran El-Yaniv: Ini adalah buku klasik tapi lama, dan tidak mengandung banyak kemajuan terbaru di bidang ini. Desain Algoritma Online Kompetitif melalui Pendekatan Primal-Dual oleh Niv …

13 reference-request  big-list  online-algorithms 

Pertanyaan ini adalah tentang masalah pemrograman kuadratik dengan kendala kotak (kotak-QP), yaitu masalah optimasi formulir meminimalkan f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x} tunduk pada x ∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n . Jika positif semi-pasti, maka semuanya akan bagus dan cembung dan mudah, dan kita bisa menyelesaikan masalah dalam waktu polinomial.SEBUAHSEBUAHA …

13 ds.algorithms  optimization  exp-time-algorithms 

Dalam [1], Mitchell Wand menunjukkan bahwa menambahkan fexprs ke kalkulus lambda murni meremehkan teori kesetaraan kontekstual, yang berarti dua istilah setara secara kontekstual jika mereka -congruent. Ketika menjelajahi pekerjaan terkait, ia pergi "hasil kami memperluas pengamatan lama Albert Meyer [2] itu dan membuat sepele kesetaraan kontekstual". Tetapi merujuk pada [2], …

13 pl.programming-languages  lisp  scheme 

Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah konstruktif-waktu , jika ada mesin Turing multi-tape deterministik MMM yang pada semua input panjang nnn membuat paling banyak f(n)f(n)f(n) langkah dan untuk setiap nnn ada beberapa input dari panjang nnn di mana MMM membuat dengan tepat f(n)f(n)f(n) langkah. Kami mengatakan bahwa fungsi f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} adalah …

13 cc.complexity-theory  time-complexity  terminology