Pertanyaan yang diberi tag «cc.complexity-theory»

Saya mencari informasi tentang kompleksitas komputasi perkalian matriks matriks persegi panjang. Wikipedia menyatakan bahwa kompleksitas mengalikan oleh B ∈ R n × p adalah O ( m n p ) (buku sekolah perkalian).A ∈ Rm × nSEBUAH∈Rm×nA \in \mathbb{R}^{m \times n}B ∈ Rn × pB∈Rn×halB \in \mathbb{R}^{n \times p}HAI ( …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

Saya memulai PhD saya musim gugur ini dan saya berencana untuk bekerja dalam teori kompleksitas untuk tesis saya. Saya menyusun daftar makalah penting yang harus diketahui oleh setiap ahli teori kompleksitas. Makalah apa yang akan Anda sarankan untuk orang seperti saya? Dan tolong jelaskan secara singkat mengapa menurut Anda kertas …

14 cc.complexity-theory  reference-request  big-list 

Apa kompleksitas query yang paling dikenal dari algoritma pembelajaran Goldreich-Levin? Catatan kuliah dari blog Luca Trevisan , Lemma 3, menyatakannya sebagai . Apakah ini yang paling dikenal dalam hal ketergantungan pada n ? Saya akan sangat berterima kasih untuk referensi ke sumber yang dapat dicoba!O ( 1 / ϵ4n logn …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis 

Apa kompleksitas komputasi untuk mengoptimalkan berbagai fungsi di atas grup kesatuan ?U( n )U(n)\mathcal{U}(n) Sebuah tugas yang khas, yang timbul sering dalam teori informasi kuantum, akan memaksimalkan kuantitas tipe (atau perintah polinomial lebih tinggi di U ) atas semua kesatuan matriks U . Apakah jenis pengoptimalan ini secara efisien (mungkin …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

Saya tertarik pada sejarah awal hasil yang dipublikasikan tentang pertukaran ruang-waktu untuk tujuan umum. Secara khusus, saya ingin tahu siapa yang pertama kali menggambarkan jenis algoritma berikut untuk mengevaluasi perhitungan yang memiliki grafik aliran data acak dengan derajat O (1) menggunakan ruang yang sebanding dengan kedalaman (bukan lebar) grafik aliran …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

Dalam kertas Ben-Dor / Halevi [1] itu diberikan bukti lain bahwa permanen -Lengkap. Di bagian akhir makalah ini, mereka menunjukkan rantai reduksi IntPerm ∝ NoNegPerm ∝ 2PowerPerm ∝ 0/1-Perm sementara nilai permanen dipertahankan di sepanjang rantai. Karena jumlah tugas pemisah dari formula 3SAT Φ dapat diperoleh dari nilai permanen, itu …

14 cc.complexity-theory  counting-complexity  permanent 

Jawab: tidak dikenal. Pertanyaan yang diajukan wajar, terbuka, dan tampaknya sulit; pertanyaannya sekarang adalah wiki komunitas. Gambaran Pertanyaannya adalah mencoba untuk membagi bahasa yang termasuk dalam kelas kompleksitas - bersama dengan mesin Turing keputusan (TMs) yang menerima bahasa ini - menjadi dua subkelas pelengkap:PPP bahasa gnostik dan TM (yang layak …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Masalah lebar pita grafik didefinisikan sebagai berikut. Diberikan grafik , tata letak dari adalah pemetaan satu-ke-satu dari simpul ke dalam bilangan bulat . The bandwidth didefinisikan sebagaiG=(V,E)G=(V,E)G=(V,E) fffGGGGGG{1,…,|V|}{1,…,|V|}\{1, \ldots, |V|\}fff bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f)=max{|f(u)−f(v)|∣{u,v}∈E}bw(f) = \max \{|f(u) - f(v)| \mid \{u,v\} \in E\} . The bandwidth GGG , dinotasikan bw(G)bw(G)bw(G) , didefinisikan sebagai …

14 cc.complexity-theory 

Pertanyaan. Dalam makalah mereka Peningkatan simulasi sirkuit stabilizer , Aaronson dan Gottesman mengklaim bahwa mensimulasikan sirkuit CNOT adalah ⊕L -complete (di bawah pengurangan ruang log). Jelas bahwa itu terkandung dalam ⊕L ; bagaimana hasil kekerasan berlangsung? Secara ekuivalen: apakah ada pengurangan ruang log dari produk matriks berulang modulo 2, menjadi …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Saya tahu bahwa (secara logis banyak panggilan ke oracle NP) setara dengan (polinomial jumlah kueri paralel ke oracle NP). Saya bertanya-tanya apakah versi "fungsi" dari kelas-kelas ini juga setara, yaitu, apakahP N P | |PNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||} Jika diketahui benar, sebuah pointer akan sangat membantu.

14 cc.complexity-theory  complexity-classes 

Pertanyaan ini terkait dengan salah satu pertanyaan saya sebelumnya, masalah NP-hard pada pohon . Saya mencari masalah yang P-lengkap di pohon.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

Cara paling umum di mana nubuat muncul dalam teori kompleksitas adalah sebagai berikut: Sebuah nubuat tetap tersedia untuk, katakanlah, mesin Turing dengan sumber daya terbatas tertentu, dan seseorang mempelajari bagaimana oracle meningkatkan daya komputasi mesin. Namun, ada cara lain di mana nubuat kadang-kadang terjadi: sebagai bagian dari input . Sebagai …

14 cc.complexity-theory  oracles 

Ada sejumlah masalah dalam teori representasi kombinatorial dan geometri aljabar yang tidak diketahui rumus positifnya. Ada beberapa contoh yang saya pikirkan, tetapi biarkan saya mengambil perhitungan koefisien Kronecker sebagai contoh saya. Biasanya, pengertian "formula positif" tidak didefinisikan secara tepat dalam kombinatorik, tetapi secara kasar berarti "deskripsi sebagai kardinalitas dari set …

14 cc.complexity-theory  counting-complexity  lower-bounds 

Sudah lama diketahui bahwa, mengingat gelar Turing apa pun, ada grup yang dipresentasikan secara halus yang masalah kata-katanya ada di tingkat itu. Pertanyaan saya adalah apakah hal yang sama berlaku untuk waktu polinomial Turing derajat sewenang-wenang . Secara khusus, diberikan himpunan decidable, , apakah ada kelompok yang disajikan secara halus, …

14 cc.complexity-theory  computability  gr.group-theory 

Beigi, Shor dan Watrous memiliki sangat bagus kertas pada kekuatan bukti interaktif kuantum dengan pesan singkat. Mereka mempertimbangkan tiga varian 'pesan singkat', dan yang spesifik yang saya pedulikan adalah varian kedua di mana sejumlah pesan dapat dikirim, tetapi total panjang pesan harus logaritmik. Secara khusus mereka menunjukkan bahwa sistem bukti …

14 cc.complexity-theory  quantum-computing  interactive-proofs