Ilmu Komputer Teoritis

Secara longgar, pola permutasi cocok dengan masalah-masalah seperti ini: Mengingat permutasi di dan di , dengan , tidak mengandung subsequence panjang yang unsur-unsurnya dipesan sesuai ?ππ\piSnSnS_nσσ\sigmaSmSmS_mm ≤ nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Misalnya, jika dan , maka urutan cocok . Seperti yang Anda lihat, kami tidak mencari pasangan yang tepat di sini, …

10 permutations  string-matching 

Apakah ada struktur data kata-RAM w-bit dengan O (1) waktu per operasi untuk masalah berikut ?: Memelihara serangkaian bilangan bulat non-negatif w-bit yang mendukung operasi add (x): add x ke set remove (x): hapus x dari set sidik jari (): mengembalikan sidik jari set. Sidik jari w-bit ini memiliki properti …

10 ds.data-structures 

Rumus CNF monoton dengan istilah m pada n variabel ( ) adalah rumus dari bentuk f ( x 1 , ... , x n ) = ⋀ C i , di mana setiap C i adalah ATAU dari beberapa bagian dari variabel x 1 , … , x n , …

10 cc.complexity-theory  circuit-complexity  formulas 

Inilah pertanyaan "trek B" jika ada. Ringkasan: hal pertama yang saya pikirkan ketika saya mencoba memberikan semantik untuk program-program non-deterministik menghasilkan semantik di mana saya tidak dapat membuktikan hal-hal tentang loop yang hanya mengakhiri non-deterministik. Tentunya seseorang telah mengetahui apa yang harus dilakukan dalam situasi ini, atau setidaknya menunjukkan bahwa …

10 reference-request  denotational-semantics 

Apakah ada posisi untuk mahasiswa sarjana atau pascasarjana yang baru lulus dengan catatan penelitian untuk bekerja sebagai peneliti sebelum melanjutkan ke PhD mereka? TCS memiliki budaya posisi post-dok untuk lulusan PhD baru-baru ini untuk melakukan penelitian sebelum mencoba melamar posisi fakultas. Apakah ada mekanisme serupa di tempat bagi siswa Sarjana …

10 soft-question  advice-request  career 

Saya ingin tahu apakah seseorang dapat merekomendasikan beberapa bahan pelengkap untuk mendapatkan pemahaman yang lebih dalam tentang makalah ini: " Beberapa Hasil dan Masalah Ketidaksetaraan Tipe-Bell Quantum - Tsirelson ". Khususnya sesuatu yang mungkin menguraikan sedikit lebih banyak tentang interpretasi geometris ketidaksetaraan Bell-Type. Mungkin kertas primer atau buku teks yang …

10 reference-request  quantum-computing  quantum-information 

Sudah terkenal bahwa untuk pembelajaran PAC klasik, diperlukan untuk mencapai batas kesalahan ε whp, di mana d adalah dimensi VC dari kelas konsep.Ω(d/ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Apakah diketahui bahwa diperlukan dalam kasus agnostik?Ω(d/ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning  machine-learning 

Dalam makalah dengan judul yang sama dengan pertanyaan ini, penulis menggambarkan bagaimana membangun operasi CAS multi-kata linearizable nonblocking hanya menggunakan CAS kata tunggal. Mereka pertama kali memperkenalkan operasi penukaran ganda-bandingkan-tunggal - RDCSS, sebagai berikut: word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while …

10 dc.parallel-comp  concurrency 

Ada cukup banyak pekerjaan pada masalah komputasi untuk pesanan parsial (misalnya, pengakuan, nomor lompatan, pengakuan grafik komparatif, dll ...). Saya ingin tahu apa pekerjaan khusus untuk kisi telah dilakukan. Saya telah mencari-cari dan tidak menemukan banyak pekerjaan serupa untuk kisi-kisi. Secara khusus, saya tertarik pada apakah masalah kisi berikut telah …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

Kita tahu bahwa menemukan convex hull dari nnn poin di pesawat memiliki batas bawah dari Ω ( n logn )Ω(ncatatan⁡n)\Omega(n\log n) pada waktu berjalan. Namun, jika titik-titik tersebut diberikan dalam urutan di mana mereka terjadi sepanjang beberapa poligon sederhana yang memiliki titik-titik tersebut sebagai simpulnya, maka lambung cembungnya dapat ditemukan …

10 cg.comp-geom 

Mengingat grafik diarahkan dan dua simpul . Sepasang jalur sederhana dari ke adalah edge disjoint jika mereka tidak berbagi edge.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Menggunakan aliran maks, mudah untuk memutuskan apakah ada sepasang jalur disjoint ujung dari ke . Sekarang, apakah ada algoritma waktu tunda polinomial untuk menghitung semua pasangan …

10 cc.complexity-theory  graph-algorithms 

Dalam makalah seminal Bernstein dan Vazirani "Teori Kompleksitas Kuantum", mereka menunjukkan bahwa transformasi kesatuan dimensi dapat secara efisien didekati dengan produk dari apa yang mereka sebut "rotasi dekat-sepele" dan "pergeseran fase dekat-sepele".ddd "Rotasi Near-trivial" adalah matriks kesatuan dimensi yang bertindak sebagai identitas pada semua kecuali 2 dimensi, tetapi bertindak sebagai …

10 quantum-computing  linear-algebra  universal-computation 

Mencoba memungkinkan untuk penyimpanan efisien daftar elemen. Awalan dibagikan sehingga hemat ruang. Saya mencari cara yang sama untuk menyimpan pohon secara efisien. Saya ingin dapat memeriksa keanggotaan dan menambahkan elemen, mengetahui apakah pohon yang diberikan adalah subtree dari beberapa pohon yang disimpan atau jika ada pohon yang disimpan menjadi subtree …

10 ds.data-structures  tree  model-checking 

CATATAN : Pertanyaan telah dinyatakan kembali dalam jawaban saya: Dengan asumsi sekarang kita dapat menemukan leluhur saudara kandung terendah dalam waktu O ( 1 )O(1)O(1) , dapatkah JST benar-benar dilakukan dalam O ( logn )O(log⁡n)O(\log n) ? Quadtrees adalah indeks spasial yang efisien. Saya punya teka-teki dengan implementasi pencarian tetangga …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

Saya seorang mahasiswa master yang berfokus pada sistem terdistribusi tetapi juga tertarik pada ilmu komputer teoretis. Saya bertanya-tanya apakah ada representasi formal dari sistem terdistribusi di atas mesin turing? Artinya, apakah mungkin untuk memperluas (membuat varian) konsep mesin turing untuk mengambil keuntungan dari komputasi terdistribusi? Satu ide, adalah membuat rekaman …

10 turing-machines  dc.distributed-comp