Ilmu Komputer Teoritis

Saya mencari contoh teknik untuk membuktikan harga batas anarki yang memiliki kekuatan untuk memisahkan harga anarki atas keseimbangan berkorelasi kasar (rangkaian pembatas dinamika tanpa penyesalan eksternal) dari harga anarki atas kesetimbangan berkorelasi (pembatas set dinamika tanpa-swap-penyesalan). Apakah pemisahan alami dari jenis ini diketahui? Satu halangan untuk memisahkan kedua kelas ini …

16 gt.game-theory  online-learning 

Blum, Micali, dan Feldman (BFM) mengajukan model baru (kriptografi), di mana semua pihak (jujur ​​atau bermusuhan) memiliki akses ke beberapa string. Tali diasumsikan dipilih berdasarkan beberapa distribusi (biasanya, distribusi seragam) oleh pihak yang dipercaya. Ini disebut string referensi , dan model ini dinamai model string referensi umum (CSR). Model ini …

16 cr.crypto-security 

Misalkan kita diberi n oleh n matriks, M, dengan entri bilangan bulat. Bisakah kita memutuskan di P apakah ada permutasi sehingga untuk semua permutasi kita memiliki ?σσ\sigmaπ≠σπ≠σ\pi\ne\sigmaΠMiσ(i)≠ΠMiπ(i)ΠMiσ(i)≠ΠMiπ(i)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Catatan. Seseorang tentu saja dapat mengganti produk dengan jumlah, masalahnya tetap sama. Jika matriks hanya dapat memiliki 0/1 entri, maka …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Saya tertarik pada dua pertanyaan tentang bahasa konteks-sensitif (CSL) dan kelengkapan: Apakah ada gagasan tentang kelengkapan untuk CSL, dan bahasa apa yang lengkap? Apakah ada CSL alami yang lengkap dengan NP? Untuk 2., saya pasti bisa memikirkan bahasa NP-lengkap alami yang CSL (karena CSL sama dengan NSPACE [ ], SAT …

16 np-hardness  fl.formal-languages  space-bounded 

Latar belakang : Dalam kertas UGC asli Subhash Khot ( PDF ), ia membuktikan kekerasan UG memutuskan apakah contoh CSP yang diberikan dengan kendala semua bentuk Tidak-semua-sama (a, b, c) pada alfabet ternary mengakui tugas yang memuaskan 1 - ϵϵ\epsilon dari kendala atau apakah tidak ada tugas yang memuaskan 89+ϵ89+ϵ\frac{8}{9}+\epsilondari …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Satu celah yang saya selalu sadar bahwa saya tidak benar-benar mengerti adalah antara kompleksitas komputasi tidak seragam dan seragam di mana kompleksitas sirkuit mewakili versi tidak seragam dan mesin Turing adalah hal-hal yang seragam. Saya kira "seragam" adalah cara untuk menahan kelas algoritma, misalnya tidak mengizinkan rangkaian yang sama sekali …

16 cc.complexity-theory  circuit-complexity 

The titik -Tetap masalah automorphism bebas meminta grafik automorphism yang bergerak setidaknya node. Masalahnya adalah -complete jika untuk > 0.kkkN P k ( n ) = n c ck(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Namun, jika maka masalahnya adalah waktu polinomial Turing yang dapat direduksi menjadi Graph Isomorphism Problem. Jika k ( n ) = …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

Seperti di, area makalah dalam Jurnal ACM tentang Experimental Algorithmic JEA . Yang merupakan karya dasar? Apa hasil utamanya? Bagaimana mereka dikarakterisasi? Adakah koneksi menarik ke bidang ilmu komputer lainnya?

16 ds.algorithms  reference-request  experimental 

Gambar Dunia yang terkenal dari Neil Immerman adalah sebagai berikut (klik untuk memperbesar): Kelasnya "Benar-benar layak" tidak termasuk kelas lain; pertanyaan saya adalah: Apa masalah AC 0 yang dianggap tidak taktis, dan mengapa?

16 cc.complexity-theory  circuit-complexity 

Adleman, FOCS'78 menunjukkan bahwa setiap rangkaian acak untuk input dengan panjang dapat tidak dereragamkan. Namun, konstruksi secara efektif menduplikasi sirkuit asli O ( n ) kali, sehingga sirkuit derandomisasi lebih besar dari yang asli dengan faktor O ( n ) . Apakah ada konstruksi yang lebih efisien di luar sana …

16 derandomization 

Dalam [1], Turan menunjukkan bahwa sensitivitas (disebut "kompleksitas kritis" di kertas) properti grafik benar-benar lebih besar dari manamadalah jumlah simpul dalam grafik. Dia melanjutkan dengan dugaan bahwa setiap properti grafik non-sepele memiliki sensitivitas≥m-1. Dia menyebutkan bahwa ini telah diverifikasi untukm≤5. Apakah ada kemajuan yang dibuat pada dugaan ini?⌊14m⌋⌊14m⌋\lfloor {1\over 4} …

16 graph-theory  property-testing 

Teori beta-eta dari lambda-calculus adalah Post-complete. Dapatkah aturan tambahan ditambahkan untuk memperluas teori beta dari lambda-calculus untuk mendapatkan teori-teori konfluen selain dari teori beta-eta? Nota bene Pertanyaan ini melanggar aturan saya sendiri bahwa pertanyaan harus menjelaskan mengapa si penanya peduli. Saya terkejut pada suatu malam, tidak lama sebelum situs ini …

16 lambda-calculus 

Ini adalah tindak lanjut dari pertanyaan ini di math.stackexchange. Mari kita katakan bahwa himpunan non-kosong S ⊆ ℤ adalah swadaya jika untuk setiap a ∈ S, terdapat elemen yang berbeda b, c ∈ S sedemikian rupa sehingga a = b + c. Untuk bilangan bulat positif n , contoh sederhana …

16 ds.algorithms  co.combinatorics 

Untuk bahasa L ⊆ Σ ^ * , tentukan kongruensi sintaksis ≡ dari L sebagai kongruensi terkecil pada on ^ * yang menjenuhkan L , yaitu: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Sekarang tentukan kesetaraan Nerode sebagai kongruensi kanan berikut: u ∼ …

16 automata-theory  fl.formal-languages 

sering dikatakan bahwa ketika menggunakan algoritme MD5 untuk menandatangani beberapa informasi sewenang-wenang, rahasia bersama harus ada di akhir. Mengapa?

16 hash-function  cr.crypto-security