Ilmu Komputer Teoritis

Biarkan dan dilambangkan dengan G k himpunan semua grafik yang dapat ditanamkan pada permukaan genus k sehingga semua simpul yang terletak di wajah luar . Misalnya, G 0 adalah himpunan grafik outerplanar. Dapatkah treewidth dari grafik di G k harus atas dibatasi oleh beberapa fungsi k ?k∈Nk∈Nk\in\mathbb{N}GkGkG_kkkkG0G0G_0GkGkG_kkkk Arah lain jelas …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Apa makalah penelitian paling signifikan tentang dasar-dasar generik dalam C # dan .NET?

12 pl.programming-languages 

Pemrograman linier, tentu saja, saat ini sangat dipahami. Kami memiliki banyak pekerjaan yang mencirikan struktur solusi yang layak, dan struktur solusi optimal. Kami memiliki dualitas yang kuat, algoritma poli-waktu, dll. Tapi apa yang diketahui tentang solusi maksimal minimum piringan hitam? Atau, setara, solusi minimal maksimum? (Ini sebenarnya bukan pertanyaan penelitian, …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Saya menanyakan pertanyaan ini beberapa minggu yang lalu di mathoverflow , tetapi saya tidak mendapat jawaban. Di sini, dengan 3D-grid sidelength maksud saya grafik G = ( V , E ) dengan V = { 1 , ... , k } 3 dan E = { ( ( a , …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Saya baca di SP Yordania, D. Gosset, "PJ Cinta masalah -Lengkap untuk Hamiltonians stoquastic dan matriks MarkovQ MSEBUAHQMAQMA " bahwa tidak mungkin bahwa .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Saya terkejut dengan pernyataan ini. Jadi apa hubungan yang tepat antara dan A M ?Q MSEBUAHQMAQMAA M.AMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Dekomposisi pohon sulit dalam kasus terburuk tetapi metode serakah tampaknya hampir-optimal pada jaringan kecil kehidupan nyata. Adakah yang diketahui tentang kekerasan penguraian pohon dari contoh "tipikal" dari beberapa kelas grafik? Apakah ada contoh keluarga grafik di mana metode serakah untuk dekomposisi pohon berkinerja buruk?

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Saya mencari nama atau referensi apa pun untuk masalah ini. Diberikan grafik berbobot menemukan partisi dari simpul ke hinggaset untuk memaksimalkan nilai edge cut: Perhatikan bahwa beberapa set bisa kosong. Jadi masalahnya pada dasarnya adalah max k-cut, kecuali bukan bagian dari input: algoritma dapat memilihG=(V,E,w)G=(V,E,w)G = (V, E, w)n=|V|n=|V|n = …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Apa masalah dengan rasio aproksimasi paling terkenal yang dicapai oleh suatu algoritma yang mengembalikan solusi acak yang seragam? Saya tahu satu contoh seperti itu untuk permutasi toko aliran masalah : di koran " Bounds Ketat untuk Permutasi Flow Shop Scheduling " Viswanath Nagarajan dan Maxim Sviridenko membuktikan bahwa urutan acak …

12 ds.algorithms  reference-request  approximation-algorithms 

Saya baru-baru ini diingatkan tentang masalah vs. N P seperti dijelaskan oleh Stephen A. Cook di Clay Mathematics Institute.PP\mathsf{P}NPNP\mathsf{NP} Ini menarik minat saya dan saya ingin belajar lebih banyak tentang hal itu. Langkah pertama adalah mendapatkan pemahaman yang lebih dalam tentang masalah dan pemahaman tentang area secara umum. Bisakah Anda …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Biarkan G menjadi grafik yang terhubung. Apa kompleksitas penghitungan semua subgraph yang terhubung jika G dari tipe berikut? G bersifat umum. G adalah planar. G adalah bipartit. Saya tidak peduli dengan struktur atau ..., hanya perlu menghitung semua subgraph yang terhubung! Saya juga tertarik pada kompleksitas penghitungan semua subgraph yang …

12 cc.complexity-theory  graph-theory  counting-complexity 

Diberi istilah t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))dalam teori tipe Martin-Lof, berapakah nilainya w(t(0)), di mana woperator yang mengekstraksi saksi dari istilah tipe eksistensial?

12 lo.logic  type-theory  proof-theory 

Dengan menghitung argumen, orang dapat menunjukkan bahwa ada polinomial derajat n dalam 1 variabel (yaitu, sesuatu dari bentuk yang memiliki kompleksitas rangkaian n. Juga, seseorang dapat menunjukkan bahwa polinomial seperti x n memerlukan setidaknya log 2 n perkalian (Anda perlu itu hanya untuk mendapatkan gelar cukup tinggi). Apakah ada contoh …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Saat bekerja pada proyek yang agak tidak terkait untuk Suresh I baru-baru ini menemukan beberapa pekerjaan yang dilakukan oleh Page dan Opper tentang sistem yang dapat dikomposisikan oleh Pengguna dan sebagian dari pekerjaan mereka secara singkat membahas masalah yang tidak dapat diverifikasi dalam waktu polinomial. Saya tidak dapat menemukan banyak …

12 cc.complexity-theory  complexity-classes 

The Clifford kelompok dari operator kuantum yang dihasilkan oleh operasi kuantum: Terkendali-Z , Hadamard , dan Tahap ( ).= | 0 ⟩ ⟨ 0 | + i | 1 ⟩ ⟨ 1 |=|0⟩⟨0|+saya|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Sirkuit yang hanya terdiri dari gerbang-gerbang ini dapat disimulasikan secara efisien pada komputer …

12 quantum-computing 

Yang ingin saya tanyakan secara khusus adalah apakah ada kondisi yang menarik pada persentase penugasan yang memenuhi formula 3SAT untuk menjamin bahwa masalah tersebut dapat diselesaikan. Misalkan misalnya kelas masalah 3SAT yang dari 2 n kemungkinan penugasan memenuhi rumus boolean; dapatkah kita menemukan tugas yang memuaskan secara efisien? Untuk apa …

12 cc.complexity-theory  ds.algorithms  sat  np