Ilmu Komputer Teoritis

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

2
Konstruksi pohon sufiks linear-waktu yang sederhana secara konseptual
Pada tahun 1973 Weiner memberikan pembangunan pohon akhiran linear pertama kali. Algoritma disederhanakan pada tahun 1976 oleh McCreight, dan pada tahun 1995 oleh Ukkonen. Namun demikian, saya menemukan algoritma Ukkonen relatif terlibat secara konseptual. Apakah ada penyederhanaan pada algoritma Ukkonen sejak 1995?

1
Masalah Vektor Algoritma
Saya memiliki masalah aljabar yang berhubungan dengan vektor di bidang GF (2). Misalkan menjadi (0,1) -vektor dimensi n , dan m = n O ( 1 ) . Cari algoritma waktu polinomial yang menemukan (0,1) -vector u dari dimensi yang sama seperti yang u bukanlah jumlah dari setiap ( log …

2
Emulasi Turing Machine tidak sadar batas bawah
Apakah ada bukti bahwa emulasi mesin Turing pada mesin Turing yang terlupa tidak dapat dilakukan dalam waktu kurang dari O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right) mana mmm adalah jumlah langkah yang digunakan mesin Turing? Atau ini hanya batas atas? Dalam makalah Paul Vitányi tentang relativized mesin Turing dilupakan, Vitányi mengklaim "Mereka [ Pippenger dan …

1
Kompleksitas masalah himpunan mendominasi dalam subclass spesifik grafik chordal
Saya tertarik pada kompleksitas masalah set mendominasi (DSP) di beberapa kelas grafik tertentu yang merupakan subkelas dari grafik chordal . Grafik adalah grafik lintasan yang tidak diarahkan jika itu adalah grafik persimpangan-simpul dari keluarga lintasan di beberapa pohon yang tidak diarahkan. Biarkan UP menjadi kelas grafik jalur yang tidak diarahkan. …


2
Penerapan Nomor Ramsey
Definisi angka Ramsey adalah sebagai berikut: Mari R(a,b)R(a,b)R(a,b) menjadi angka positif sehingga setiap grafik agar setidaknya mengandung baik klik pada simpul atau stabil set pada simpul.R(a,b)R(a,b)R(a,b)aaabbb Saya sedang mengerjakan beberapa perpanjangan Ramsey Numbers. Meskipun penelitian ini memiliki beberapa minat teoretis, penting untuk mengetahui motivasi angka-angka ini. Lebih khusus saya bertanya-tanya …


4
Pemodelan objek (OOP) dalam teori tipe dependen
Saya tertarik pada pemodelan objek, dari pemrograman berorientasi objek, dalam teori tipe dependen. Sebagai aplikasi yang memungkinkan, saya ingin memiliki model di mana saya dapat menggambarkan berbagai fitur bahasa pemrograman yang penting. Saya hanya bisa menemukan satu makalah tentang objek pemodelan dalam teori tipe dependen, yaitu: Pemrograman berorientasi objek dalam …

6
Saran untuk Sekolah Pascasarjana dalam Ilmu Komputer
Saya mencari beberapa saran dan umpan balik. Latar Belakang: Saya seorang mahasiswa matematika sarjana, dengan minat dalam ilmu komputer teoretis (kompleksitas komputasi, teori grafik, kombinatorik). Saya ingin mengejar gelar PhD dalam Ilmu Komputer dan fokus pada teori. Latar belakang saya dalam bidang matematika intensif dalam ilmu komputer, tetapi saya tidak …

1
Apakah ada versi berkelanjutan dari teorema pengulangan paralel
Raz Paralel pretition teorema adalah hasil yang penting dalam PCP, inapproximation, dll Teorema ini fomalized sebagai berikut. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS×TS×T\mathcal{S}\times\mathcal{T}V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t)) And nnn-fold game Gn=(Sn,Tn,An,Bn,πn,Vn)Gn=(Sn,Tn,An,Bn,πn,Vn)G^n=(\mathcal{S}^n,\mathcal{T}^n,\mathcal{A}^n,\mathcal{B}^n,\pi^n, V^n). The theorem says if v(G)≤1−ϵ,v(G)≤1−ϵ,v(G)\leq 1-\epsilon, then v(Gn)≤(1−ϵc)Ω(nlogmax{|A|,|B|})v(Gn)≤(1−ϵc)Ω(nlog⁡max{|A|,|B|})v(G^n)\leq (1-\epsilon^c)^{\Omega(\frac{n}{\log\max\{|A|,|B|\}})}. My quesion is what happen if the sets are infinite, in a continuous space. Say if S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} …


4
Menghitung fungsi Mobius
Fungsi Mobius μ(n)μ(n)\mu(n) didefinisikan sebagai , jika memiliki faktor prima kuadrat, dan jika semua primes berbeda. Apakah mungkin untuk menghitung tanpa menghitung faktorisasi utama ?μ(1)=1μ(1)=1\mu(1)=1μ(n)=0μ(n)=0\mu(n)=0nnnμ(p1…pk)=(−1)kμ(hal1...halk)=(-1)k\mu(p_1 \dots p_k)= (-1)^kp1,…,pkp1,…,pkp_1,\dots,p_kμ(n)μ(n)\mu(n)nnn



1
Istilah Lambda-Calculus yang mengurangi untuk diri mereka sendiri
Dalam pencarian saya yang berkelanjutan untuk mencoba mempelajari kalkulus lambda, Hindley & Seldin "Lambda-Calculus and Combinators an Introduction" menyebutkan makalah berikut (oleh Bruce Lercher) yang membuktikan bahwa satu-satunya ekspresi yang dapat direduksi yang sama (modulo alpha conversion) untuk dirinya sendiri adalah: .(λx.xx)(λx.xx)(λx.xx)(λx.xx)(\lambda x.xx)(\lambda x.xx) Sementara saya percaya hasilnya, saya tidak …

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.