Pertanyaan yang diberi tag «reference-request»

Apakah sekarang ada algoritma / bukti yang lebih sederhana untuk melakukan triangulasi poligon planar dalam waktu linier? Apa sumber yang bagus tentang masalah seni yang terkenal ini?

15 reference-request  cg.comp-geom 

Jika kita memiliki grafik besar (terarah) dan pohon berakar lebih kecil , kompleksitas apa yang paling dikenal untuk menemukan subgraf isomorfik ke ? Saya menyadari hasil isomorfisma subtree di mana dan adalah pohon dan juga di mana adalah planar atau telah terikat treewidth (dan lain-lain) tetapi tidak untuk grafik dan …

15 ds.algorithms  reference-request  graph-theory 

Saya memiliki polytope didefinisikan oleh .PPP{x:Ax≤b,x≥0}{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} Pertanyaan: Diberikan simpul dari , apakah ada algoritma waktu polinomial untuk sampel seragam dari tetangga dalam grafik ? (Polinomial dalam dimensi, jumlah persamaan, dan representasi . Saya dapat mengasumsikan bahwa jumlah persamaan adalah polinomial dalam dimensi.)vvvPPPvvvPPPbbb …

15 reference-request  np-hardness  counting-complexity  linear-programming  polytope 

Biarkan menjadi keluarga semua bahasa di atas memenuhi properti pemompaan bahasa biasa. Yaitu: untuk setiap , ada st setiap kata , dapat ditulis dalam bentuk mana: 1. , 2. , 3. untuk semua .L.L.\mathcal{L}ΣΣ\SigmaL ∈ LL.∈L.L\in\mathcal{L}N∈ NN∈NN\in\mathbb{N}w ∈ Lw∈L.w\in L| w | >N|w|>N|w|> Nw = x yzw=xyz w=xyz| y| >0|y|>0|y|>0| …

14 reference-request  fl.formal-languages  automata-theory 

Saya ingin belajar tentang algoritma aljabar dan kompleksitas. Secara khusus, saya tertarik pada PIT. Apakah ada satu set catatan kuliah, buku, makalah dan survei untuk siswa yang telah membaca buku teks standar tentang teori seperti buku Sipser atau buku teks kompleksitas Arora-Barak. Rangkaian referensi akan mencakup hasil lanjutan terbaru.

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

Perambatan keyakinan telah terbukti menjadi metode yang sangat kuat melalui penelitian dalam model grafis probabilistik. Namun, saya tidak tahu apa-apa tentang BP yang sebanding dengan metode MCMC di mana kita dapat memiliki skema aproksimasi acak polinomial sepenuhnya (FPRAS) untuk masalah # P-complete. Bisakah seseorang mengarahkan saya ke beberapa referensi?

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics 

Menjadi dari Fisika, saya telah dilatih untuk melihat banyak masalah dari sudut pandang geometris. Misalnya geometri diferensial manifold dalam sistem dinamik dll. Ketika saya membaca dasar-dasar ilmu komputer, saya selalu berusaha menemukan interpretasi geometris. Seperti interpretasi geometris yang masuk akal dari set enumerable rekursif (saya bekerja pada bagian di mana …

14 reference-request  computability  big-picture 

Seperti diketahui semua orang, SAT lengkap untuk kali banyak polynomial . Itu masih lengkap wrt banyak-satu pengurangan.N PNP\mathsf{NP}A C0SEBUAHC0\mathsf{AC^0} Pertanyaan saya adalah berapa kedalaman minimum yang diperlukan untuk reduksi? Lebih formal, Apa yang paling sehingga SAT adalah -Hard wrt banyak-satu pengurangan?dddN PNP\mathsf{NP}A C0dSEBUAHCd0\mathsf{AC^0_d} Sepertinya saya harus mencukupi? Adakah yang tahu …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Latar belakang : Saya datang ke akhir gelar master saya di Matematika dan akan memulai PhD di bidang Logika pada bulan Agustus. Semakin banyak saya belajar logika, semakin banyak ilmu komputer teoritis saya terkena, misalnya teori rekursi, kalkulus lambda, tetapi CS yang mendasarinya disikat di bawah karpet. Bidang minat utama …

14 reference-request  soft-question 

Apa kelas kompleksitas yang terkait dengan algoritma pencarian lengkap? (jika ada) Apakah NP atau PSPACE? Apakah ada model komputasi terbatas yang menangkap kelas algoritma pencarian lengkap mirip dengan model untuk pemrograman serakah dan dinamis?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Masalah GI dan Knot keduanya merupakan masalah dalam menentukan kesetaraan struktural dari objek matematika. Apakah ada hasil yang membuat koneksi di antara mereka? Koneksi bagus masalah simpul ke fisika statistik telah dieksplorasi melalui simpul polinomial , apakah ada hasil yang serupa untuk ?G IGsayaGI Akan sangat membantu untuk mengetahui apakah …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Saya ingat pernah melihat sebuah penelitian atau artikel beberapa waktu yang lalu mengklaim bahwa sebagian besar percepatan yang terlihat dalam program komputer selama beberapa dekade terakhir adalah dari algoritma yang lebih baik daripada perangkat keras yang lebih cepat. Adakah yang tahu pelajaran atau artikelnya?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Pertimbangkan ruang nnn dimensi {0,1}n{0,1}n\{0,1\}^n , dan mari menjadi batasan linear dari bentuk , di mana , dan .ccca1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka1x1+a2x2+a3x3+ ... +an−1xn−1+anxn≥ka_1x_1 + a_2x_2 + a_3x_3 +\ ...\ + a_{n-1}x_{n-1} + a_nx_n \geq kai∈Rai∈Ra_i \in \mathbb{R}xi∈{0,1}xi∈{0,1}x_i \in \{0,1\}k∈Rk∈Rk \in \mathbb{R} Jelas, memiliki efek pemisahan dalam dua himpunan bagian dan …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Saya memulai PhD saya musim gugur ini dan saya berencana untuk bekerja dalam teori kompleksitas untuk tesis saya. Saya menyusun daftar makalah penting yang harus diketahui oleh setiap ahli teori kompleksitas. Makalah apa yang akan Anda sarankan untuk orang seperti saya? Dan tolong jelaskan secara singkat mengapa menurut Anda kertas …

14 cc.complexity-theory  reference-request  big-list 

Apa kompleksitas query yang paling dikenal dari algoritma pembelajaran Goldreich-Levin? Catatan kuliah dari blog Luca Trevisan , Lemma 3, menyatakannya sebagai . Apakah ini yang paling dikenal dalam hal ketergantungan pada n ? Saya akan sangat berterima kasih untuk referensi ke sumber yang dapat dicoba!O ( 1 / ϵ4n logn …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis