Ilmu Komputer Teoritis

T&J untuk ilmuwan dan peneliti komputer teoretis di bidang terkait

1
Siklus kisi acak yang menghindari diri sendiri dalam kotak pembatas yang diberikan
Sehubungan dengan Slither link puzzle, saya sudah bertanya-tanya: Misalkan bahwa saya memiliki grid sel persegi, dan saya ingin mencari siklus sederhana dari tepi kotak, seragam secara acak di antara semua siklus sederhana mungkin.n×nn×nn\times n Salah satu cara untuk melakukan ini adalah dengan menggunakan rantai Markov yang statusnya adalah himpunan kotak …
3
Apa perbedaan antara penulisan ulang istilah dan pencocokan pola?
Karena tidak ada tanggapan di Lambda the Ultimate, saya coba lagi di sini: istilah sistem penulisan ulang digunakan misalnya dalam teorema otomatis yang membuktikan perhitungan simbolis, dan tentu saja untuk mendefinisikan tata bahasa formal. Ada beberapa bahasa pemrograman yang berbasis pada penulisan ulang istilah, tetapi sejauh yang saya mengerti konsepnya …
1
Apakah tipe proposisi? (Apa jenis sebenarnya?)
Saya sudah banyak membaca tentang sistem tipe dan semacamnya dan saya mengerti kira-kira mengapa mereka diperkenalkan (untuk menyelesaikan paradoks Russel). Saya juga memahami kira-kira relevansi praktis mereka dalam bahasa pemrograman dan sistem bukti. Namun, saya tidak sepenuhnya yakin bahwa gagasan intuitif saya tentang apa jenis itu, benar. Pertanyaan saya adalah, …
3
Membalikkan Masalah Spektra Grafik?
Biasanya seseorang membuat grafik dan kemudian mengajukan pertanyaan tentang dekomposisi nilai eigen matriks adjacency (atau kerabat dekat seperti Laplacian ) (juga disebut spektra grafik ). Tapi bagaimana dengan masalah sebaliknya? Mengingat nilai eigen, bisa satu (efisien) menemukan grafik yang memiliki spektrum ini?nnn Saya menduga bahwa secara umum ini sulit dilakukan …
6
Mengapa peneliti TCS membutuhkan dana?
Saya sedang membaca ini . Ia mengatakan ... Anda tidak akan mendapati diri Anda kelaparan karena pendanaan seperti Matematika Murni. (Anda akan selalu menemukan diri Anda kelaparan untuk pendanaan.) ... Mengapa matematikawan murni membutuhkan dana? Mengapa seseorang yang melakukan penelitian teoretis membutuhkan dana? Saya pikir alat perdagangan adalah kertas, pensil, …
5
Memulihkan hutan parse dari pengurai Earley?
Saya baru-baru ini membaca tentang parser Earley dan berpikir itu adalah salah satu algoritma paling elegan yang pernah saya lihat sampai saat ini. Namun, algoritma dalam pengertian tradisionalnya adalah sebuah pengenal dan bukan pengurai, yang berarti bahwa ia dapat mendeteksi apakah suatu string cocok dengan CFG tertentu tetapi tidak menghasilkan …
11
Contoh di mana kesetaraan mudah tetapi menemukan perwakilan kelas sulit
Misalkan kita memiliki kelas objek (katakanlah grafik, string), dan relasi ekivalensi pada objek-objek ini. Untuk grafik ini bisa berupa grafik isomorfisme. Untuk string, kita bisa mendeklarasikan dua string yang setara jika mereka adalah anagram satu sama lain. Saya tertarik menghitung perwakilan untuk kelas kesetaraan. Yaitu, saya menginginkan fungsi f () …
3
Pembulatan untuk meminimalkan jumlah kesalahan dalam jarak berpasangan
Apa yang diketahui tentang kompleksitas masalah berikut: Diberikan: bilangan rasional .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Output: bilangan bulat .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Tujuan: kecilkan mana∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Yaitu, kami ingin membulatkan bilangan rasional ke bilangan …
1
Masalah partisi tepi pada grafik kubik
Sudahkah kompleksitas masalah berikut dipelajari? Input : grafik kubik (atau reguler) , batas atas alami333G=(V,E)G=(V,E)G=(V,E)ttt Pertanyaan : apakah ada partisi menjadi bagian dari ukuran sehingga jumlah pesanan dari subgraph yang sesuai (belum terhubung) paling banyak ?EEE|E|/3|E|/3|E|/3333ttt Pekerjaan terkait Saya menemukan beberapa makalah dalam literatur yang membuktikan kondisi yang diperlukan dan …
4
Apa kelas kompleksitas "terkecil" yang diketahui batas sirkuit superlinearnya?
Permintaan maaf karena mengajukan pertanyaan yang pastinya ada dalam banyak referensi standar. Saya ingin tahu tentang pertanyaan dalam judul, khususnya saya memikirkan sirkuit Boolean, tidak ada kedalaman yang terikat. Saya menempatkan "terkecil" dalam tanda kutip untuk memungkinkan kemungkinan ada beberapa kelas yang berbeda, tidak diketahui termasuk satu sama lain, yang …
5
Masalah grafik yang sulit dipecahkan secara sub-responsif
Mengingat hasil terbaru dari Arora, Barak, dan Steurer, Algoritma Subeksponensial untuk Game Unik dan Masalah Terkait , saya tertarik pada masalah grafik yang memiliki algoritma waktu subeksponensial tetapi diyakini tidak dapat dipecahkan secara polinomial. Contoh terkenal adalah grafik isomorfisme yang memiliki algoritma subeksponensial run-time. Contoh lain adalah masalah log-Clique yang …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.