Ilmu Komputer Teoritis

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


13
Analisis kompleks dalam ilmu komputer teoretis
Ada banyak aplikasi analisis nyata dalam ilmu komputer teoretis, yang mencakup pengujian properti, kompleksitas komunikasi, pembelajaran PAC, dan banyak bidang penelitian lainnya. Namun, saya tidak dapat memikirkan hasil apa pun dalam TCS yang mengandalkan analisis kompleks (di luar komputasi kuantum, di mana bilangan kompleks adalah intrinsik dalam model). Adakah yang …

1
Perkiraan derajat
EDIT (v2): Menambahkan bagian di akhir tentang apa yang saya ketahui tentang masalah. EDIT (v3): Menambahkan diskusi tentang ambang batas di akhir. Pertanyaan Pertanyaan ini terutama merupakan permintaan referensi. Saya tidak tahu banyak tentang masalahnya. Saya ingin tahu apakah ada pekerjaan sebelumnya tentang masalah ini, dan jika demikian, dapatkah seseorang …

1
Apa yang
Hal ini terkait dengan pertanyaan, Apakah Ukuran Keanggotaan Saksi untuk Setiap Bahasa NP Sudah Diketahui? Beberapa masalah NPNP\mathsf{NP} (-complete) alami memiliki saksi panjang linier: tugas yang memuaskan untuk SATSATSAT , urutan simpul untuk HAMPATHHAMPATHHAMPATH , dll. Pertimbangkan kelas kompleksitas " NPNP\mathsf{NP} terbatas pada saksi panjang linier". Definisi formal dari kelas …


11
Apa buku sains populer yang menginspirasi TCS?
Ada reputasi, bahwa dalam ilmu komputer, kita tidak memiliki buku-buku sains populer. Tentu saja itu tidak sepenuhnya benar! (Dalam semangat yang sama dari daftar Apa Books Haruskah Semua orang Baca? , Apa kertas yang harus semua orang membaca? , Apa video harus semua orang menonton? Dan terinspirasi dari favorit buku …
24 big-list  books 

2
Kompleksitas komputasi optik kuantum
Dalam "Persyaratan untuk perhitungan kuantum" , Bartlett dan Sanders merangkum beberapa hasil yang diketahui untuk perhitungan kuantum variabel kontinu dalam tabel berikut: Pertanyaan saya tiga kali lipat: Sembilan tahun kemudian, bisakah sel terakhir diisi? Jika kolom ditambahkan dengan judul "Universal for BQP", bagaimana tampilan kolom lainnya? Bisakah Aaronson dan 95 …

2
Apa batas bawah terbaik untuk ambang toleransi kesalahan dalam komputasi kuantum?
Sudah pasti bahwa ada ambang kebisingan untuk perhitungan kuantum, sehingga di bawah ambang ini, perhitungan dapat dikodekan sedemikian rupa sehingga menghasilkan hasil yang benar dengan probabilitas terbatas (dengan paling banyak komputasi overhead polinomial). Ambang batas ini bergantung pada pengkodean yang digunakan dan sifat pasti dari derau, dan ini merupakan kasus …

1
Apa kompleksitas dari masalah peliputan ini?
Sunting: Saya pertama kali salah mengartikan kendala saya (2), sekarang sudah diperbaiki. Saya juga menambahkan lebih banyak informasi dan contoh. Dengan beberapa rekan, mempelajari beberapa pertanyaan algoritmik lainnya, kami dapat mengurangi masalah kami menjadi masalah menarik berikut, tetapi kami tidak dapat menyelesaikan pertanyaan tentang kompleksitasnya. Masalahnya adalah sebagai berikut. Instance: …

4
Mulai makalah SAT solver
Saya ingin membuat pemecah SAT pertama. Saya tahu kompetisi SAT dan konferensi SAT, dan ada begitu banyak makalah tentang hal ini. Saya seorang pemula, seorang pemula yang kewalahan. Di mana saya harus mulai? Akhirnya saya ingin mendorong yang canggih. Saya ingin beberapa saran ahli tentang cara memulainya, sehingga saya tidak …


5
Berapa jumlah maksimum pernikahan stabil untuk contoh Masalah Pernikahan yang Stabil?
Masalah Pernikahan yang Stabil: http://en.wikipedia.org/wiki/Stable_marriage_problem Saya sadar bahwa untuk instance SMP, banyak pernikahan stabil lainnya dimungkinkan selain dari yang dikembalikan oleh algoritma Gale-Shapley. Namun, jika kita hanya diberikan , jumlah pria / wanita, kita mengajukan pertanyaan berikut - Bisakah kita membuat daftar preferensi yang memberikan jumlah maksimum pernikahan stabil? Apa …


2
Apakah ada pengurangan langsung / alami untuk menghitung pencocokan sempurna non-bipartit menggunakan permanen?
Menghitung jumlah kecocokan sempurna dalam grafik bipartit segera dapat direduksi menjadi komputasi permanen. Karena menemukan pencocokan sempurna dalam grafik non-bipartit adalah dalam NP, terdapat beberapa pengurangan dari grafik non-bipartit menjadi permanen, tetapi mungkin melibatkan blowup polinomial yang buruk dengan menggunakan pengurangan Cook ke SAT dan kemudian teorema Valiant untuk mereduksi …

1
Dugaan Rekonstruksi dan Partikel 2-pohon
Dugaan rekonstruksi mengatakan bahwa grafik (dengan setidaknya tiga simpul) ditentukan secara unik oleh subgraf yang dihapus dari verteks. Dugaan ini berusia lima dekade. Mencari literatur yang relevan, saya menemukan bahwa kelas grafik berikut diketahui dapat direkonstruksi: pohon grafik terputus, grafik yang komplemennya terputus grafik reguler Grafik Outerplanar Maksimal grafik planar …

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.