Ilmu Komputer Teoritis

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

2
Kelas grafik di mana masalah Hamiltonian Cycle dan Hamiltonian Path memiliki kompleksitas yang berbeda
Saat mencari Sistem informasi pada Kelas Grafik dan Inklusi mereka , saya menemukan beberapa kelas grafik yang masalah Siklus Hamiltonian adalah NP-lengkap sedangkan kompleksitas masalah Jalur Hamiltonian TIDAK diketahui. Beberapa kelas tersebut adalah grafik derajat 3 maksimum bipartit, grafik grid 3 derajat maksimum, dan grafik planar kubik 2 yang terhubung. …
1
Bukti apa yang kita miliki untuk
Mengikuti saran Josh Grochow, saya mengubah komentar saya dari pertanyaan sebelumnya menjadi pertanyaan baru. Bukti apa yang kita miliki untuk ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Berikut UPUP\mathsf{UP} adalah kelas bahasa dikenali oleh waktu non-deterministik mesin Turing polinomial yang memiliki jalur menerima unik pada "ya" contoh dan tidak ada menerima path pada "tidak" …
2
Grafik Masalah Isomorfisme
Saya sedang melakukan beberapa tinjauan literatur tentang masalah Graph isomorphism. Sebagian besar makalah yang saya baca ditulis oleh EM Luks dan Laszlo Babai. Makalah ini menggunakan pengetahuan tingkat tinggi teori grup dan teori kompleksitas. Karena saya baru di bidang ini, banyak hal yang tidak jelas bagi saya. Dapatkah seseorang menyarankan …
1
Karir dalam Ilmu Komputer Teoritis
Saat ini saya seorang siswa sekolah menengah, tertarik pada ilmu komputer teoretis dan matematika terapan. Saya telah belajar sendiri tentang aljabar linear, kalkulus, dan matematika konkret. Saya memiliki anggapan naif bahwa bagi seseorang untuk menulis algoritma yang lebih baik, seseorang harus mengetahui sebanyak mungkin matematika karena Anda dapat mempelajari tentang …
2
Generalisasi grafik treewidth yang dibatasi secara lokal
Apakah kelas grafik berikut dikenal dalam literatur? Kelas grafik diparameterisasi dengan bilangan bulat positif dan dan berisi setiap grafik sedemikian rupa sehingga untuk setiap simpul , subgraf diinduksi pada semua simpul pada jarak paling banyak dari di memiliki treewidth paling banyak .dddtttG=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv\in VGGGdddvvvGGGttt Ini menggeneralisasi konsep treewidth yang dibatasi secara …
1
Kompleksitas pengambilan sampel (kira-kira) transformasi Fourier dari fungsi Boolean
Satu hal yang dapat dilakukan oleh komputer kuantum (mungkin bahkan hanya dengan sirkuit kuantum log-depth BPP +) adalah untuk memperkirakan-sampel transformasi Fourier dari fungsi Boolean -nilai dalam P.±1±1\pm 1 Di sini dan di bawah ini ketika saya berbicara tentang pengambilan sampel transformasi Fourier yang saya maksud memilih x menurut . …
1
Apakah semantik kategorikal dari subtyping?
Mulai dari Curry-Howard-Lambek, telah ada trinitas bagus dari teori tipe, logika, dan kategori. Saya ingin tahu apa yang Anda dapatkan semantik kategoris ketika Anda menambahkan (paksaan) subtipe ke teori jenis - sepertinya ini belum banyak dieksplorasi, jika sama sekali. Secara umum, menambahkan subtyping koersif ke teori tipe tidak merusak sifat …
5
Mengapa para ekonom harus peduli pada kompleksitas komputasi
Ketika mencoba meyakinkan para ekonom tentang relevansi teori kompleksitas dalam cetakan, adakah referensi standar untuk dikutip? Saya akrab dengan posting blog Noam Nisan , survei Tim Roughgarden , dan bab 11 esai Scott Aaronson . Posting-posting ini dapat diakses oleh para ilmuwan komputer, tetapi tidak menggunakan bahasa para ekonom dan …
3
Algoritma yang efisien secara konstruktif tanpa kebenaran yang efisien dan bukti efisiensi
Saya mencari contoh alami dari algoritma yang efisien (yaitu dalam waktu polinomial) st kebenaran dan efisiensi mereka dapat dibuktikan secara konstruktif (misalnya di PR APRSEBUAHPRA atau ), tetapiHSEBUAHHSEBUAHHA tidak ada bukti menggunakan hanya konsep efisien yang diketahui (yaitu kita tidak tahu bagaimana membuktikan kebenaran dan efisiensinya di atau ).S 1 …
1
Secara asimptotik, berapa banyak permutasi
Pertimbangkan permutasi dari [ 1 .. n ] . Inversi didefinisikan sebagai pasangan ( i , j ) dari indeks sedemikian rupa sehingga saya &lt; j dan σ ( i ) &gt; σ ( j ) .σσ\sigma[1..n][1..n][1..n](i,j)(i,j)(i, j)i&lt;ji&lt;ji < jσ(i)&gt;σ(j)σ(i)&gt;σ(j)\sigma(i) > \sigma(j) Tetapkan untuk menjadi jumlah permutasi [ 1 .. …
3
Apakah ada konsep sesuatu seperti functor co-aplikatif duduk di antara comonads dan functors?
Monad apa pun juga merupakan fungsi aplikasi dan fungsi aplikasi apa pun adalah fungsi. Juga, comonad apa pun adalah functor. Apakah ada konsep yang sama antara comonads dan functors, sesuatu seperti functor co-aplikatif, dan apa propertinya? \begin{array}{c} \end{array} Functors↑Fungsional yang berlaku↑MonadFunctors↑? ? ?↑ComonadsFunctorsFunctors↑↑Fungsional yang berlaku???↑↑MonadComonads\begin{array}{cc} \mbox{Functors} & & \mbox{Functors} \\ …
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.