Ilmu Komputer Teoritis

Setiap kali saya mengajar NP-Completeness, siswa bertanya "apakah ada masalah yang diketahui bukan milik NP?" Bagaimana Anda menjawabnya? Saya biasanya memberi mereka masalah yang tidak dapat diputuskan sebagai contoh, tetapi ini sering tidak berjalan dengan baik: (a) jika saya memberi mereka Masalah Pemutusan, mereka pikir itu adalah kasus sudut bisu, …

13 cc.complexity-theory  complexity-classes  teaching 

Saya mulai menyelidiki kemungkinan mengandalkan solver SAT untuk mengatasi masalah optimisasi yang saya minati, dan saya sedang mencari survei yang akan menampilkan contoh-contoh transformasi "pintar" ke varian SAT (yaitu, transformasi yang menghasilkan dalam masalah ukuran yang wajar, karena saya tidak tertarik untuk membuktikan hasil kekerasan tetapi dalam benar-benar menyelesaikan masalah), …

13 ds.algorithms  reference-request  sat  optimization 

Parameter dan pendekatan tetap adalah pendekatan yang sama sekali berbeda untuk menyelesaikan masalah yang sulit. Mereka memiliki motivasi yang berbeda. Perkiraan mencari hasil yang lebih cepat dengan solusi perkiraan. Parameter tetap mencari solusi yang tepat dengan kompleksitas waktu dalam hal eksponensial atau beberapa fungsi k dan fungsi polinomial dari n …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Dengan asumsi NP! = CoNP, maka tidak ada sertifikat ukuran polinomial untuk masalah lengkap-TNP. Tapi bagaimana dengan sertifikat ukuran subeksponensial? Khususnya untuk coSAT, adakah bukti ukuran subeksponensial untuk membuktikan formula tidak memuaskan? Jika tidak, apa bukti negatifnya? Terima kasih

13 cc.complexity-theory  proof-complexity 

Yang saya sebut penghitungan adalah masalah yang terdiri dari menemukan sejumlah solusi untuk suatu fungsi. Lebih tepatnya, diberi fungsi (tidak harus kotak hitam), perkiraan # { x ∈ N ∣ f ( x ) = 1 } = | f - 1 ( 1 ) | .f: N→ { 0 …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Algoritma genetika berkembang dalam generasi yang lebih sedikit dengan populasi yang lebih besar, tetapi juga membutuhkan waktu lebih lama untuk menghitung satu generasi. Apakah ada beberapa garis pedoman untuk menyeimbangkan kedua faktor tersebut, agar tiba pada solusi yang layak sesegera mungkin? Juga, apakah ini tempat terbaik untuk pertanyaan?

13 ds.algorithms  machine-learning  genetic-algorithms 

Saya sudah mencoba relaksasi LP berikut set independen maksimum max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Saya mendapatkan 1/21/21/2 untuk setiap variabel untuk setiap graf non-bipartit kubik aku mencoba. Apakah benar untuk semua grafik non-bipartit kubik yang terhubung? Apakah ada relaksasi LP …

13 graph-theory  co.combinatorics  linear-programming 

Sudah diketahui bahwa ada algoritma optimal kasus terburuk untuk menghitung kode Huffman dalam waktu . Ini ditingkatkan dalam dua cara ortogonal:θ(nlgn)θ(nlg⁡n)\theta(n\lg n) Kode bebas awalan yang optimal dapat dihitung lebih cepat jika rangkaian frekuensi yang berbeda kecil (misalnya ukuran ): mengurutkan frekuensi menggunakan [Munro dan Spira, 1976] sehingga untuk mengambil …

13 cc.complexity-theory 

Saya menemukan sistem transisi berlabel menjadi model yang baik untuk aplikasi saya, yaitu ada makalah tentang pemodelan menggunakan kasus menggunakan LTS. Pertanyaannya adalah, apa yang bisa dengan mudah dibuktikan tentang LTS? Saya ingin menggunakan kembali solusi yang ada untuk melihat apakah mereka berguna untuk aplikasi saya. Saya ingin mengetahui sifat-sifat …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

Ini terkait dengan pertanyaan umum " Bagaimana cara saya memberikan referensi pada makalah? ". Saya sedang meninjau makalah untuk konferensi, dan makalah ini harus ditolak, karena tidak cukup signifikan untuk dipublikasikan dan memiliki beberapa kelemahan dalam detail teknisnya. Makalah itu tidak salah, tetapi cara-cara yang benar itu tidak terlalu menarik. …

13 soft-question  paper-review 

Mengingat denominasi koin, dengan c 1 = 1 dan c 2 &lt; c 3 &lt; . . &lt; C n menjadi nomor acak merata di kisaran [ 2 , N ] . Secara asimptot, untuk pecahan koin manakah algoritma serakah menghasilkan perubahan optimal menggunakan rangkaian denominasi ini?nnnc1=1c1=1c_1=1c2&lt;c3&lt;..&lt;cnc2&lt;c3&lt;..&lt;cnc_2<c_3<..<c_{n}[2,N][2,N][2,N] Jawabannya dikenal untuk …

13 ds.algorithms 

Vertex Cover dapat dengan mudah direduksi menjadi Independent Set dan sebaliknya. Namun, dalam konteks kompleksitas parameter, set Independen lebih sulit daripada Penutup Vertex. Sebuah kernel dengan simpul ada untuk Vertex Cover, tapi Independen Set W 1 keras.2k2k2k Bagaimana sifat Independent Set berubah dalam konteks FPT dan mengapa?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Teori kompiler tampaknya menjadi subjek yang cukup diperiksa. Apa saja masalah terbuka atau penelitian terkini yang terjadi di lapangan?

13 soft-question  big-list  open-problem  compilers 

Pengamatan yang terkait dengan kriptografi asimetris adalah bahwa beberapa fungsi (diyakini) mudah dilakukan dalam satu arah tetapi sulit untuk dibalik. Selain itu, jika ada beberapa informasi 'pintu jebakan' yang memungkinkan operasi terbalik untuk dihitung dengan cepat maka masalahnya menjadi kandidat untuk skema kriptografi kunci publik. Masalah pintu jebakan klasik, dibuat …

13 cc.complexity-theory  cr.crypto-security  homomorphic-encryption 

kompleksitas komputasi melibatkan sejumlah besar Combinatorics dan teori bilangan, beberapa ilmu pengetahuan dari stokastik, dan jumlah aljabar yang muncul. Namun, sebagai seorang analis, saya bertanya-tanya apakah ada aplikasi analisis dalam bidang ini, atau mungkin ide-ide yang terinspirasi oleh analisis. Yang saya tahu yang sedikit sesuai dengan ini adalah transformasi Fourier …

13 cc.complexity-theory  reference-request  soft-question  big-picture