Pertanyaan yang diberi tag «cc.complexity-theory»

Bagaimana seseorang melihat suatu masalah dan alasan bahwa itu kemungkinan NP-Intermediate dibandingkan dengan NP-Complete? Seringkali cukup sederhana untuk melihat suatu masalah dan mengatakan apakah itu mungkin NP-Complete atau tidak, tetapi bagi saya tampaknya lebih sulit untuk mengatakan apakah suatu masalah adalah NP-Intermediate karena garis tampaknya cukup tipis antara keduanya. kelas. …

11 cc.complexity-theory  complexity-classes  np-intermediate 

NNNrrrf(x)=axmodNf(x)=axmodNf(x)=a^x\;\bmod\;Nf(x+r)=f(x)f(x+r)=f(x)f(x+r)=f(x)a&lt;Na&lt;Na<Nrrrrrr Pertanyaan saya sekarang adalah: Apakah ada batas bawah yang diketahui pada untuk acak ? Apakah ada batasan pada diberikan dipilih seperti di RSA? Jelas, harus karena jika tidak, orang hanya bisa mengevaluasi pada poin berturut-turut untuk mencari klasik. Apakah cukup untuk memecah RSA jika ada algoritma anjak piutang klasik …

11 cc.complexity-theory  cr.crypto-security  factoring 

Kelengkapan dan kesehatan dalam sistem bukti interaktif secara informal didefinisikan sebagai: Kelengkapan: Jika pernyataan itu benar, maka orang yang jujur dapat meyakinkan orang yang jujur akan kebenaran fakta ini . Keakuratan: Jika suatu pernyataan salah, pemalsu selingkuh tidak dapat meyakinkan verifier jujur (validitas pernyataan palsu) whp Istilah "whp" dapat ditafsirkan …

11 cc.complexity-theory  interactive-proofs 

Saya tidak ingat pernah melihat pemisahan kelas yang tidak didasarkan pada hasil diagonalisasi dan relatisasi. Diagonisasi masih dapat digunakan untuk memisahkan kelas yang diketahui yang tersisa, karena argumen non-relativiasi mungkin masih digunakan dalam kesimpulan diagonalisasi, atau dalam konstruksi mesin Turing yang didiagonalisasi. Berikut beberapa pertanyaan terkait: Apakah ada bukti pemisahan …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Saya mencoba menemukan masalah yang kompleksitas ruang kasus rata-ratanya telah dianalisis. Lebih khusus, saya tertarik untuk mengetahui apakah ada masalah dengan kompleksitas ruang yang terbukti batas bawahnya yang super-linear, dan terutama jika ada dengan analisis kasus rata-rata (misalnya, terikat berlaku bahkan jika algoritma diizinkan untuk melakukan kesalahan dalam persentase kecil …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Saya memiliki masalah yang ada di NEXP dan juga dapat diselesaikan dengan TM bergantian menggunakan waktu eksponensial dan hanya satu pergantian (mulai dalam keadaan eksistensial).NPNP^{\text{NP}} Adakah yang diketahui tentang NEXP ? Apakah setara dengan NEXP atau kelas lain? Apakah ada masalah lengkap selain yang umum (diberi mesin NEXP dan sebuah …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Nurikabe adalah teka-teki isian kisi-kisi berbasis kendala, mirip dengan Minesweeper / Nonograms; angka ditempatkan pada kisi yang harus diisi dengan nilai on / off untuk setiap sel, dengan masing-masing angka menunjukkan wilayah terhubung 'on' sel dengan ukuran itu, dan beberapa kendala kecil pada wilayah sel 'off' (itu harus terhubung dan …

11 cc.complexity-theory  np-hardness  puzzles 

Merlin, yang memiliki sumber daya komputasi tidak terbatas, ingin meyakinkan Arthur bahwa untuk dengan dan Menghitung jumlah ini dengan cara langsung (eksponensial dan penambahan modular) membutuhkan waktu dengan perkalian berbasis FFT. * Tetapi Arthur hanya dapat melakukan operasi .m | ∑p ≤ N, p prime halkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Pertanyaan ini dimotivasi oleh pertanyaan yang diajukan pada stackoverflow . Misalkan Anda diberi rooted tree (yaitu ada root dan node punya anak dll) pada n node (berlabel 1 , 2 , … , n ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Setiap simpul memiliki bobot bilangan bulat non-negatif yang terkait: w i .iiiwiwiw_i …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

Saya sedang membaca makalah berjudul Random Oracles with (out) Programmability . Paragraf terakhir dari bagian 2.3 berbunyi: [Menggunakan pendekatan baru kami] tidak perlu menerapkan teknik derandomisasi asimtotik (dan seragam) klasik yang terkenal berdasarkan lemma Borel-Cantelli . Sejauh pengetahuan kami, pendekatan ini adalah novel untuk makalah ini. Saya melihat entri Wikipedia …

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

Karena 2 masalah NP-lengkap secara definisi dapat direduksi satu sama lain, sehingga solusi untuk salah satunya dapat diperoleh dengan menggunakan kotak hitam untuk menyelesaikan yang lain, mengapa mereka tidak memiliki rasio pendekatan yang sama (merujuk pada mitra pengoptimalannya) )? Saya kira beberapa drift polinomial konstan atau bahkan dapat dipahami tetapi …

11 cc.complexity-theory  approximation-algorithms  reductions 

Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan FPT yang saya lihat adalah pengurangan p-time, yang berarti W [t] -kurang bukti hampir selalu menyiratkan …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Ini adalah kelanjutan dari pertanyaan saya sebelumnya tentang komunikasi batas bawah untuk fungsi boolean parsial . Dapatkah seseorang menyarankan referensi tentang batas bawah untuk komunikasi multi pihak non-deterministik? Saya telah mensurvei makalah di lapangan, tetapi semua orang tampaknya menunjukkan pemisahan jenis berikut: batas bawah untuk protokol acak dan batas atas …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

Berikut ini mungkin tampak bodoh (dan itu mungkin mencerminkan pemahaman saya yang buruk - jadi tolong tahan dengan saya) Saya punya pertanyaan tentang teorema PCP. Kita tahu bahwa setelah tiga langkah pertama yaitu. Pengurangan Gelar, Ekspanderisasi dan Penguatan Gap, kami memiliki grafik kendala dengan kesenjangan yang ditingkatkan dan ukuran alfabet …

11 cc.complexity-theory  pcp 

Gim dua babak proverver (2P1R) adalah alat yang penting untuk kekerasan perkiraan. Secara khusus, pengulangan paralel game dua putaran satu-prover memberikan cara untuk meningkatkan ukuran celah dalam versi keputusan dari masalah perkiraan. Lihat ceramah survei Ran Raz di CCC 2010 untuk ikhtisar subjek. Pengulangan paralel dari sebuah game memiliki properti …

11 cc.complexity-theory  approximation-hardness