Ilmu Komputer Teoritis

Saya mencari masalah yang sulit diselesaikan dalam waktu FPT tetapi memiliki algoritma perkiraan. Artinya, masalah itu adalah: R1. W [1] -hard. R2. Akui algoritma perkiraan (lebih disukai konstan) dalam waktu FPT. Masalah yang saya kenal adalah menghitung jumlah jalur sederhana panjang dalam grafik. Ia dikenal sebagai #W [1] -hard , …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

Gagasan algoritma distilasi berikut berasal dari "Pada Masalah Tanpa Kernel Polinomial". Biarkan bahasa diberikan. Sebuah algoritma destilasi untuk L mengambil daftar yang diberikan string masukan { x i } i ∈ [ t ] dan menghitung output string yang y sehingga:L.LLL.LL{ xsaya}i ∈ [ t ]{xi}i∈[t]\{ x_i \}_{i \in [t]}yyy …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Saya ingin meminta bantuan dari para peneliti yang melakukan penelitian di bidang pencarian pohon. Bisakah Anda menulis daftar makalah yang harus dibaca dan makalah terbaru yang penting untuk dibaca jika saya ingin menulis makalah tentang pohon pencarian. Saya pribadi memiliki daftar makalah berikut (Ini tidak seragam, cukup tua dan mempengaruhi …

9 ds.data-structures  binary-trees 

Saya saat ini mahasiswa tingkat dua yang tertarik dengan TCS. Baru-baru ini saya agak terganggu oleh kesulitan masuk ke program PhD di masa depan karena seleksi memang sangat kompetitif. Saya melihat-lihat halaman web dari beberapa sekolah CS terkemuka dan menemukan bahwa sebagian besar mahasiswa pascasarjana mereka saat ini juga berasal …

9 soft-question 

Masalah Klasik: Biarkan nomor diberikan. Masalah -clique adalah sebagai berikut.kkkkkkk Diberikan grafik , apakah ada subset dari simpul sehingga setiap dua simpul berdekatan?S k SGGGSSSkkkSSS Masalah Hypergraph: Biarkan angka dan diberikan. Masalah -hyperclique adalah sebagai berikut.k ( c , k )ccckkk(c,k)(c,k)(c,k) Mengingat -uniform hipergraf , apakah di sana ada satu …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable 

Saya mencoba menyelubungi konsep-konsep tipe universal dan eksistensial tetapi di mana pun saya melihat, saya melihat intuisi logis atau operasional (atau implementasi) (misalnya buku TAPL oleh B. Pierce), yang, yah ... bagus , tapi saya ingin melihat definisi (di mana kita melihatnya sebagai set) - dan dari mereka, turunan dari …

9 lo.logic  type-theory  type-systems  set-theory 

Adakah yang telah mengeksplorasi apa kompleksitas sirkuit dari masalah keputusan klasik seperti Primes atau Graph-Isomorphism untuk ukuran input ?NNN Sementara kebanyakan orang tertarik pada bagaimana penskalaan berjalan sebagai , saya pikir itu juga akan menarik untuk melihat bagaimana ini tumbuh untuk N. kecil. Tentu, kita sekarang tahu Primes ada di …

9 cc.complexity-theory  reference-request  circuit-complexity 

Saya mengambil kursus tingkat pascasarjana dalam teori informasi dan saya selalu dikejutkan oleh berapa banyak optimasi cembung yang ada dalam subjek ini. Namun, buktinya tampaknya menghindar dari menggunakan mesin penuh teori relaksasi, dualitas, dll. Ini bisa dimengerti karena Anda tidak ingin memerlukan semester penuh optimasi cembung untuk mengajarkan hal-hal ini. …

9 reference-request  it.information-theory  convex-optimization 

Diberikan grafik dan ingin dihitung . ( )) `` ekspansi set kecil dugaan "menyatakan bahwa NP-Sulit untuk menentukan apakah ini di bawah atau di atas untukδ > 0 h ( G , δ ) = m i n | S | ≤ δ | V | ϕ ( S ) …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

Menjadi seorang insinyur perangkat lunak profesional, saya telah melihat banyak pekerjaan teknis benar-benar menarik, banyak dari itu diterbitkan sebagai artikel teknis dalam jurnal teknis dan website seperti http://www.drdobbs.com dan http://www.codeproject.com dan banyak lainnya, berikut adalah beberapa contoh di beberapa bidang yang diminati: Rekayasa dan implementasi algoritma: http://www.codeproject.com/Articles/18113/KD-Tree-Searching-in-N-dimensions-Part-I http://www.codeproject.com/Articles/9021/Simple-and-fast-Huffman-coding http://www.drdobbs.com/cpp/sorting-an-immutable-list/240163397 http://www.codeproject.com/Articles/33781/Calculate-Percentiles-in-O-1-space-and-On-time …

9 soft-question  research-practice 

Kami memiliki algoritma waktu untuk menentukan apakah grafik memiliki siklus panjang persis . Bagaimana kita dapat menemukan berapa banyak sepeda yang ada di menggunakan algoritma yang sama atau lainnya.f( k ) n3f(k)n3f(k) n^3GGGkkkkkkGGG

9 graph-theory  graph-algorithms 

Berikut ini tidak diyakini benar: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bisakah Anda membantu saya melihat di mana argumennya rusak? Masalah reachability yang diarahkan selesai untuk . Saya berpendapat bahwa ini adalah dalam L- seragam N C 1 .L.L\mathsf{L}L.L\mathsf{L}N C1NC1\mathsf{NC^1} Masalah reachability diarahkan lebih grafik konfigurasi deterministik log-ruang Turing …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

Pertimbangkan masalah di mana Anda diberi kisi 2D (misalnya papan catur) di mana kotak-kotak tertentu ditempati dan Anda perlu menempatkan jumlah minimum persegi panjang non-tumpang tindih dari berbagai ukuran wxh di mana w = 1 atau h = 1 (yaitu "persegi" segmen ") sedemikian rupa sehingga semua kotak kosong dihuni …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Saat ini saya sedang melakukan penelitian dalam pseudorandomness, yang melibatkan kebun binatang benda-benda indah seperti generator pseudorandom, pengekstraksi acak, grafik expander, dll. Saya menemukan itu topik yang menarik, tetapi satu hal yang membuat saya gila adalah banyaknya parameter yang terlibat. Saya mengerti bahwa objek-objek ini sangat kompleks, tetapi saya tidak …

9 soft-question  research-practice 

Saya bekerja pada algoritma aproksimasi untuk masalah himpunan dominasi minimum. Secara khusus, saya tertarik pada kelas grafik yang dibatasi oleh subgraph yang diinduksi terlarang. Karena masalah dominasi dan variannya telah dipelajari secara luas, saya kira seseorang mungkin mengerjakan ini sebelumnya. Jadi, pertanyaannya adalah: Apakah ada yang tahu makalah di mana …

9 graph-theory  graph-algorithms  approximation-algorithms