Ilmu Komputer Teoritis

Saya memiliki keluarga masalah pemrograman linier: memaksimalkan subjek A x ≤ b , x ≥ 0 . Elemen-elemen A , b , dan c adalah bilangan bulat tidak negatif, cc′xc′xc' xAx≤bAx≤bA x\le bx≥0x≥0x\ge0AAAbbbcccccc sangat positif. ( juga harus integral tetapi saya akan khawatir tentang itu nanti.)xxx Sering terjadi dalam aplikasi …

9 ds.algorithms  reference-request  linear-programming  matrices 

Berapa jumlah rata-rata publikasi (termasuk proses konferensi), per tahun, untuk peneliti postdoctoral CS di AS? Apa cara untuk mengetahui atau memperkirakan angka ini?

9 soft-question  advice-request  research-practice  career 

Saya bertanya-tanya apakah ada studi sistematis jumlah kuadrat bentuk kuadrat, mirip dengan bentuk kuadrat, yang secara praktis tercermin dalam dekomposisi nilai eigen (yang memiliki implikasi praktis yang sangat besar). Beberapa contoh terkait dengan pentingnya pertanyaan. Analisis komponen utama (PCA) . Diberikan seperangkat poin xi∈Rn,i=1..kxi∈Rn,i=1..kx_i \in \mathbb{R^n}, i=1..k menemukan himpunan sumbu …

9 ds.algorithms  polynomials  semidefinite-programming 

Saya memiliki satu set terbatas , fungsi f : S → S , dan total order &lt; pada S . Saya ingin mencari jumlah siklus yang berbeda di S .SSSf:S→Sf:S→Sf:S\to S&lt;&lt;<SSSSSS Untuk elemen tertentu saya dapat menggunakan algoritma Floyd (atau Brent, dll.) Untuk menemukan panjang siklus yang diulangi aplikasi f …

9 graph-theory  graph-algorithms 

Kompleksitas string Kolmogorov tidak dapat dihitung. Namun, dalam bagian acak ukuran dari string biner dengan panjang , berapa banyak yang diharapkan memiliki kompleksitas kurang dari beberapa bilangan bulat kurang dari (sebagai fungsi dari , dan )?M.MMnnnn0n0n_{0}nnnM.MMnnnn0n0n_{0}

9 cc.complexity-theory  kolmogorov-complexity 

Jadi, saya membaca sedikit tentang elaborasi, khususnya, algoritma yang didasarkan pada Kalkulus Konstruksi Bicolored, dan saya agak bingung. Saya tidak mengerti apa sebenarnya tujuan itu. Tampaknya identik dengan kecuali ada perbedaan antara argumen implisit dan eksplisit untuk fungsi. Secara khusus, saya tidak melihat bagaimana ini memungkinkan Anda untuk menulis bukan …

9 type-theory  lambda-calculus  type-inference  dependent-type 

Saya menarik dalam mempelajari lebih lanjut tentang algoritma cache-lupa dan struktur data, tetapi ada begitu banyak makalah di luar sana yang sejujurnya saya tidak tahu harus mulai dari mana. Saya telah menemukan tesis asli Prokup tentang masalah ini, yang sepertinya merupakan titik awal yang baik, tetapi jika ada pengantar yang …

9 ds.algorithms  reference-request  cache-oblivious 

Saya memiliki dataset pohon yang besar dan saya ingin mencarinya dengan menentukan treelet (subgraph yang terhubung). Kueri harus mengembalikan semua kemunculan treelet dalam dataset. Apakah ada algoritma yang efisien untuk melakukannya? Saya sedang memikirkan sesuatu seperti susunan sufiks, namun, secara naif menyandikan pohon sebagai string (dengan pemesanan traversal yang tetap …

9 graph-algorithms  ds.data-structures  tree  graph-isomorphism  string-search 

Karena saya telah mengajarkan dasar kalkulus λ belakangan ini, saya telah menerapkan evaluator kalkulus λ sederhana di Common Lisp. Ketika saya bertanya bentuk normal Y fac 3dalam reduksi urutan normal, dibutuhkan 619 langkah, yang sepertinya agak banyak. Tentu saja, setiap kali saya melakukan pengurangan serupa di atas kertas, saya tidak …

9 lo.logic  lambda-calculus 

DIedit UNTUK MENAMBAH : Pertanyaan ini sekarang pada dasarnya dijawab; silakan lihat entri blog ini untuk lebih jelasnya. Terima kasih kepada semua orang yang mengirim komentar dan jawaban di sini. PERTANYAAN ASLI Mudah-mudahan ini adalah versi pertanyaan yang lebih cerdas dan lebih baik dari pertanyaan yang saya ajukan di MathOverflow. …

9 co.combinatorics 

Bagan parser dapat diimplementasikan berdasarkan bentuk normal Chomsky atau langsung berdasarkan aturan produksi. Mari kita asumsikan kita memiliki parser bagan CYK yang menggunakan bentuk normal Chomsky. Binarisasi tidak didefinisikan secara unik. Apakah ini berdampak pada kinerja bagan CYK parse. Bisakah ini dieksploitasi untuk meningkatkan kinerja parser bagan CYK?

9 fl.formal-languages  parsing 

Saya ingin memiliki ikatan pada kardinalitas dari set grafik disk unit dengan simpulDiketahui bahwa memeriksa apakah suatu grafik adalah anggota dari set ini adalah NP-hard. Apakah ini mengarah pada batas yang lebih rendah pada kardinalitas, dengan asumsi P NP?≠NNN≠≠\neq Misalnya, anggap ada pengurutan pada semua grafik dengan simpulAkankah NP-hardness menyiratkan …

9 cc.complexity-theory  graph-theory 

AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBB per ( A ) = det ( B )per(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) Beberapa batasan dapat berupa kasus-kasus berikut: Kasus (1)(1)(1) Hanya linear functionals diperbolehkan sebagai entri BBB . Kasus (2)(2)(2) Fungsional non-linier diizinkan asalkan setiap istilah memiliki tingkat paling tinggi O(log(n))O(log(n))O(log(n)) (derajat adalah jumlah …

9 cc.complexity-theory  algebraic-complexity  permanent 

Dalam Fasilitas berkapasitas Lokasi Masalah (CFLP) , kita diberi satu set klien dan satu set fasilitas potensial . Setiap klien memiliki permintaan yang harus dilayani oleh satu atau lebih fasilitas terbuka. Setiap fasilitas memiliki biaya pembukaan dan memiliki kapasitas , yang merupakan permintaan maksimum yang dapat layani fasilitas. Biaya melayani …

9 ds.algorithms  cg.comp-geom  approximation-algorithms 

Saya menghargai petunjuk atau ketentuan yang dapat membantu saya memulai ke arah yang benar. Kami memiliki grafik berarah dan panjang untuk setiap tepi yang dapat dianggap positif. Ada adalah awal simpul khusus dan akhir simpul .G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt Untuk setiap tepi , kami ingin menghitung panjang jalur terpendek dari ke yang tidak …

9 ds.algorithms  reference-request  graph-algorithms