Ilmu Komputer Teoritis

Saya mencari makalah dan artikel tentang modal logika substruktural - bukan pada semantik modalitas logika linier, tetapi pada logika substruktural ditambah dengan operator modal standar, misalnya substruktural K (sesuatu seperti MALL dengan operator kotak, keharusan dan aturan K).

15 reference-request  lo.logic  proof-theory 

Seperti semua orang tahu, buku terkenal Garey dan Johnson (dan banyak lainnya) memberikan referensi yang sangat baik untuk teknik reduksi dalam pengaturan klasik. Apakah ada survei atau buku tentang topik teknik reduksi dalam algoritma parameter, katakanlah pengurangan fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Saya telah menanyakan pertanyaan ini pada Stack Overflow beberapa waktu lalu: Masalah: Penjualan Bob . Seseorang menyarankan untuk mengirim pertanyaan di sini juga. Seseorang telah mengajukan pertanyaan terkait dengan masalah ini di sini - Berat minimum hutan hujan dari kardinalitas yang diberikan - tetapi sejauh yang saya mengerti itu tidak …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Anggaplah kita berhadapan dengan bahasa pemrograman yang memiliki dukungan untuk tipe linier (istilah tipe linier dapat digunakan paling banyak sekali, jadi bisa dikatakan). Hal ini memungkinkan untuk menangani beberapa efek komputasi (seperti mutasi, bahkan mengubah jenis operan) dengan cara yang bermasalah untuk bahasa, jenis sistem yang beroperasi hanya pada "kebenaran …

15 pl.programming-languages  type-theory  linear-logic 

Saya baru-baru ini menemukan batas bawah kuadrat pada kompleksitas masalah dalam model pohon keputusan, dan saya bertanya-tanya apakah hasil ini dapat digeneralisasi sebagian ke model mesin akses acak. Secara parsial , maksud saya generalisasi untuk program RAM dengan tradeoff waktu / ruang tertentu. Sebagai contoh, saya ingin menunjukkan bahwa masalah …

15 cc.complexity-theory  lower-bounds 

Saat membaca makalah " Sebuah teori aplikatif untuk FPH " Anda dapat menemukan bagian berikut: Mempertimbangkan teori yang mengkarakterisasi kelas kompleksitas komputasi, ada tiga pendekatan berbeda: dalam satu, fungsi yang dapat didefinisikan dalam teori adalah "otomatis" dalam kelas kompleksitas tertentu. Dalam akun seperti itu, sintaksis harus dibatasi untuk menjamin bahwa …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Dalam mencoba menyusun algoritma penyortiran saya sendiri, saya mencari patokan optimal yang dapat saya bandingkan. Untuk pengurutan elemen A yang tidak disortir dan pengurutan B yang terurut , apa cara yang efisien untuk menghitung jumlah transposisi optimal untuk mendapatkan dari A ke B ? Transposisi didefinisikan sebagai perpindahan posisi 2 …

15 ds.algorithms  co.combinatorics  sorting 

Pertanyaan saya adalah pertanyaan umum: Bagaimana saya mulai berpikir dalam hal Algoritma Desain dan Kompleksitas? Saya akan mengambil Program Pascasarjana dalam Desain Algoritma. Saya telah mendaftar sebelumnya tetapi kemudian membatalkannya karena saya tidak bisa mengikutinya. Saya harus mengikuti kursus ini sebagai persyaratan. Apakah ada 'trik' untuk berpikir dengan cara ini? …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Satu ekstensi klasik dari masalah aliran-max adalah masalah "aliran-max dari waktu ke waktu": Anda diberi digraf, dua simpul yang dibedakan sebagai sumber dan wastafel, di mana setiap busur memiliki dua parameter, kapasitas-per -unit-waktu dan penundaan. Anda juga diberi waktu horizon . Tujuannya adalah untuk menghitung aliran dari waktu ke waktu …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

Saya tertarik pada pembuatan angka pseudo-acak untuk kriptografi. Selain Bab 5 dari Menezes / Oorschot / Vanstone ; Bab 8 dari Stinson ; dan Bab 3 dari Goldreich , di mana lagi saya bisa menemukan lebih banyak? Saya tertarik pada prinsip umum untuk mendesain PRNG (properti yang diinginkan, tes, dll).

15 cc.complexity-theory  reference-request  pseudorandomness 

Biarkan dan y dua angka biner dengan n bit dan z = x ⋅ y angka biner (panjang 2 n ) dari produk x dan y . Kami ingin menghitung bit paling signifikan z 2 n - 1 dari produk z = z 2 n - 1 ... z 0 …

15 cc.complexity-theory  binary-decision-diagrams 

Pertanyaan ini dapat ditanyakan dalam kerangka kompleksitas sirkuit dari sirkuit Boolean, atau dalam kerangka teori kompleksitas aljabar, atau mungkin dalam banyak pengaturan lainnya. Mudah untuk menunjukkan, dengan menghitung argumen, bahwa ada fungsi Boolean pada input N yang membutuhkan banyak gerbang secara eksponensial (meskipun tentu saja kami tidak memiliki contoh eksplisit). …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Pewarnaan 3-sisi dari grafik kubik adalah -complete. Teorema Empat Warna setara dengan "Setiap grafik bridgeless planar kubik adalah 3-sisi yang dapat diwarnai".NPNPNP Apa kompleksitas pewarnaan 3-sisi grafik planar kubik? Juga, Hal ini menduga bahwa -edge pewarnaan adalah N P -Hard untuk grafik planar dengan tingkat maksimum Δ ∈ {4,5}.ΔΔ\DeltaNPNPNPΔ ∈Δ∈\Delta …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

Dalam makalah Natural Proofs karya Razborov-Rudich , halaman 6, pada bagian yang mereka bahas bahwa ada "bukti lowerbound yang kuat terhadap model sirkuit monoton " dan bagaimana mereka masuk dalam gambar, ada kalimat-kalimat berikut: Di sini masalahnya bukan konstruktif - sifat-sifat yang digunakan dalam bukti-bukti ini semuanya layak - tetapi …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

∑x∏ij∈Ef(xi,xj)∑x∏ij∈Ef(xi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏ij∈Ef(xi,xj)maxx∏ij∈Ef(xi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Di mana maks atau jumlah diambil alih semua pelabelan , produk diambil dari semua sisi untuk grafik G = \ {V, E \} dan f adalah fungsi arbitrer. Kuantitas ini mudah ditemukan untuk grafik lebar pohon yang dibatasi dan pada umumnya …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity