Ilmu Komputer Teoritis

Apa implikasi yang akan menjadi bukti dugaan abc untuk tcs? http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/

24 big-picture  nt.number-theory 

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 …

24 soft-question  big-picture 

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 …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

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 …

24 cc.complexity-theory  complexity-classes  np 

Untuk bahasa lebih Σ * , mendefinisikan L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . Dengan kata, L 1 / 2 terdiri dari semua x yang ada y panjang yang sama seperti yang x …

24 fl.formal-languages  automata-theory 

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 

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 …

24 quantum-computing 

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 …

24 quantum-computing  reference-request  fault-tolerance 

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: …

24 cc.complexity-theory  ds.algorithms  reference-request 

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 …

24 ds.algorithms  reference-request  lo.logic  sat 

Jenis dan Pemrograman Bahasa berfokus sedikit pada subtyping, tetapi sejauh yang saya tahu, subtyping tampaknya tidak terlalu mendasar. Apakah subtyping memberi Anda lebih dari sekadar tipe dependen? Bekerja dengan tipe dependen pasti lebih banyak pekerjaan, jadi saya bisa mengerti mengapa subtipe mungkin berguna dalam praktik. Namun, saya lebih tertarik pada …

24 lo.logic  pl.programming-languages  type-theory 

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 …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Grafik H adalah inti jika ada homomorfisme dari H ke dirinya sendiri adalah sebuah penambangan. Subgraf H dari G adalah inti dari G jika H adalah sebuah inti dan ada homomorfisme dari G ke H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Diberikan grafik G, apa algoritma tepat yang paling dikenal untuk menemukan intinya?

24 ds.algorithms  graph-theory  graph-algorithms 

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 …

24 graph-theory  counting-complexity  reductions  permanent 

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 …

24 reference-request  graph-theory  co.combinatorics  treewidth