Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.


2
Fungsi Boolean yang tidak konstan pada subruang affine dari dimensi yang cukup besar
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, …


2
Batas bawah pada kompleksitas Gaussian
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 …

3
Model perhitungan secara ketat antara klasik dan kuantum dalam hal kompleksitas kueri
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, …

5
P dengan oracle faktorisasi bilangan bulat
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 …




1
Apa oracle kompleksitas minimum yang memisahkan PSPACE dari hierarki polinomial?
Latar Belakang Hal ini diketahui bahwa ada sebuah ramalan AAA seperti itu, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Bahkan diketahui bahwa pemisahan relatif terhadap oracle acak. Secara informal, seseorang mungkin menafsirkan ini berarti bahwa ada banyak nubuat yang PSPACEPSPACEPSPACE dan PHPHPH terpisah. Pertanyaan Bagaimana rumit adalah firman ini yang memisahkan PSPACEPSPACEPSPACE dari …

3
Seberapa umum transisi fase dalam masalah NP-complete?
Telah diketahui bahwa banyak masalah NP-lengkap menunjukkan fase transisi. Saya tertarik di sini dalam transisi fase sehubungan dengan pengungkungan dalam bahasa, daripada kekerasan input, relatif terhadap suatu algoritma. Untuk membuat konsep ini ambigu, mari kita secara resmi mendefinisikannya sebagai berikut. Suatu bahasa L.L.L menunjukkan transisi fase (sehubungan dengan penahanan), jika …

2
Kompleksitas masalah persimpangan coset
Dengan diberikannya kelompok simetri dan dua subkelompok , dan , apakah tahan?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Sejauh yang saya tahu, masalahnya dikenal sebagai masalah persimpangan coset. Saya bertanya-tanya apa kerumitannya? Secara khusus, apakah masalah ini diketahui berada dalam COAM? Terlebih lagi, jika dibatasi menjadi abelian, seperti apa kompleksitasnya?HHH


2
Jumlah set kumulatif minimal
Pertimbangkan masalah ini: Diberikan daftar set yang terbatas, temukan pemesanan yang meminimalkan | s 1 | + | s 1 ∪ s 2 | + | s 1 ∪ s 2 ∪ s 3 | + … .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup …


Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.