Ilmu Komputer Teoritis

Masalah: Kami diberi satu set batang yang semuanya memiliki panjang bilangan bulat. Jumlah total panjangnya adalah n (n + 1) / 2. Bisakah kita memecahnya untuk mendapatkan ukuran tongkat dalam waktu polinomial? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Anehnya, satu-satunya referensi yang saya temukan untuk masalah ini adalah diskusi …

18 reference-request  complexity-classes  puzzles 

Universitas mana yang memiliki kurikulum komputasi kuantum yang kuat, dan menawarkan beberapa jenis komputasi kuantum / program studi / penelitian? Tujuannya di sini adalah untuk mengumpulkan daftar yang berguna bagi seseorang yang mempertimbangkan studi pascasarjana di bidang ini, bukan untuk membahas mana yang "terbaik". Agar daftar ini bermanfaat, harap sertakan …

18 soft-question  quantum-computing  big-list  quantum-information 

Parity-P adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara jumlah genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol). Dengan demikian Parity-P pada dasarnya adalah adik kandung PP kerdil: sementara PP menghitung apakah jumlah jalur penerimaan mesin NP …

18 cc.complexity-theory  complexity-classes  np 

Makalah ini menunjukkan bahwa ada kombinator (mewakili perhitungan simbolik) yang tidak dapat diwakili oleh kalkulus Lambda (jika saya memahami hal-hal dengan benar):

18 lo.logic  lambda-calculus 

Misalkan GGG adalah grafik sederhana yang tidak terarah dan misalkan menjadi simpul yang berbeda. Biarkan panjang jalur sederhana menjadi jumlah tepi di jalur. Saya tertarik untuk menghitung ukuran maksimum dari satu set jalur st sederhana sehingga setiap jalur memiliki panjang ganjil, dan set simpul dari setiap pasangan jalur berpasangan berpotongan …

18 matching  graph-algorithms 

Saya tertarik dengan fungsi Boolean eksplisit f:0,1n→0,1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}dengan properti berikut: jika fff konstan pada beberapa subruang affine dari0,1n0,1n\\{0,1\\}^n , maka dimensi dari subruang ini adalaho(n)o(n)o(n) . Tidak sulit untuk menunjukkan bahwa fungsi simetris tidak memuaskan properti ini dengan mempertimbangkan subruang A=x∈0,1n∣x1⊕x2=1,x3⊕x4=1,…,xn−1⊕xn=1A=x∈0,1n∣x1⊕x2=1,x3⊕x4=1,…,xn−1⊕xn=1A=\\{x \in \\{0,1\\}^n \mid x_1 \oplus x_2=1, …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Saya tertarik pada masalah berikut: Diberikan satu set X dan himpunan bagian X_1, ..., X_n dari X, temukan pewarnaan elemen-elemen X dengan k warna sehingga elemen-elemen di setiap X_i semuanya berwarna berbeda. Lebih khusus, saya melihat kasus di mana semua X_i berukuran k. Apakah ini dikenal dalam literatur dengan beberapa …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Tentukan kompleksitas Gaussian dari matriks menjadi jumlah minimum operasi baris dan kolom elementer yang diperlukan untuk membawa matriks ke dalam bentuk segitiga atas. Ini adalah jumlah antara dan (melalui eleminasi Gaussian). Gagasan ini masuk akal di bidang apa pun.n × nn×nn \times n000n2n2n^2 Masalah ini tentu saja tampaknya sangat mendasar …

18 cc.complexity-theory  lower-bounds  matrices 

Sudah dikenal komputer kuantum benar-benar lebih kuat daripada rekan-rekan klasik mereka dalam hal kompleksitas permintaan . Apakah ada model lain (alami atau buatan) yang secara ketat antara kuantum dan klasik dalam hal kompleksitas kueri? Pemisahan bisa dimulai masalah spesifik: model X menghitung fungsi dengan kueri yang lebih ketat dari kuantum, …

18 cc.complexity-theory  quantum-computing  query-complexity 

Masalah Kepuasan , tentu saja, masalah mendasar dalam CS teoritis. Saya bermain dengan satu versi masalah dengan banyak sekali variabel. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Pengaturan Dasar. Biarkan XXX menjadi seperangkat variabel bebas dan mungkin tak terbatas . Literal adalah variabel x∈Xx∈Xx \in X atau negasi ¬x¬x\neg x . Klausa ccc adalah disjungsi …

18 reference-request  lo.logic  sat  topology  lattice 

Saya baru saja membaca pertanyaan " Apakah faktorisasi bilangan bulat merupakan masalah NP-complete? " ... jadi saya memutuskan untuk menghabiskan sebagian dari reputasi saya :-) mengajukan pertanyaan lain memiliki :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Jika adalah oracle yang memecahkan faktorisasi bilangan bulat, apa kekuatan ? P …

18 cc.complexity-theory  oracles  factoring 

Kata disebut primitif , jika tidak ada kata dan sehingga . Himpunan Q dari semua kata primitif di atas alfabet \ Sigma adalah bahasa yang terkenal. WLOG kita dapat memilih \ Sigma = \ {a, b \} .wwwv vvk > 1 k>1k > 1w = v kw=vkw = v^k Q …

17 fl.formal-languages 

Saya minta maaf jika ini di luar topik. Tampaknya nama domain telah kedaluwarsa. Saya harap beberapa anggota komunitas di sini (saya bukan satu) dapat mengetahui siapa yang menjadi administrator / pemilik situs tersebut. Itu sumber yang cukup berguna.

17 soft-question 

Apa saja masalah kompleksitas komputasi utama dan terbuka yang muncul dari bahasa pemrograman, terutama analisis dan kompilasi program? Saya mencari masalah pada baris "kompleksitas waktu inferensi tipe Hindley-Milner" atau "kompleksitas waktu 0CFA" (meskipun keduanya merupakan masalah yang diselesaikan).

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Apakah mungkin untuk mengubah CNF menjadi CNF lain Ψ ( C ) sedemikian rupaCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Fungsi dapat dihitung dalam waktu polinomial dari beberapa parameter acak rahasia r .ΨΨ\Psirrr memiliki solusi jika dan hanya jika C memiliki solusi.Ψ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal C Setiap solusi dari Ψ ( C ) dapat secara efisien …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking