Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Kompleksitas pengujian jika dua set titik
Bayangkan kita memiliki dua set ukuran mmm dari titik X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Apa kerumitan (waktu) pengujian jika perbedaannya hanya berdasarkan rotasi? : ada matriks rotasi OOT=OTO=IOOT=OTO=IOO^T=O^TO=I sedemikian rupa sehingga X=OYX=OYX=OY ? Ada masalah yang mewakili nilai-nilai nyata di sini - untuk kesederhanaan anggap bahwa ada (pendek) rumus aljabar untuk setiap …
1
Mengurutkan
Dalam pracetak https://arxiv.org/abs/1801.00776 baru-baru ini , dinyatakan bahwa bilangan real dapat diurutkan dalam waktu O ( n √nnn dan ruang linear. Makalah ini tampaknya masuk akal, meskipun saya bukan ahli dalam menyortir algoritma.O(nlogn−−−−√),O(nlog⁡n),O(n \sqrt{\log n}), Jika benar, ini akan menjadi signifikan, saya percaya, setidaknya secara teoritis. Namun, penyajian argumen utama …
1
Hierarki Waktu di DSPACE (O (s (n)))
Teorema hierarki waktu menyatakan bahwa mesin turing dapat memecahkan lebih banyak masalah jika mereka memiliki (cukup) lebih banyak waktu. Apakah itu tahan jika ruang terbatas asimptotik? Bagaimana DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) terkait dengan DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) jika fgfg\frac{f}{g} tumbuh cukup cepat? Saya terutama tertarik pada kasus yang s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = …
1
Pengurangan antar bahasa dengan kepadatan berbeda?
The kepadatan dari bahasa adalah fungsi didefinisikan sebagai Misalkan dan adalah bahasa atas beberapa alfabet yang terbatas, banyak-satu logspace mengurangi ke , dan tidak di . Fungsi yang polynomially terkait jika ada polinomial dan sehingga untuk semua , danXXXdX:N→NdX:N→Nd_X \colon \mathbb{N} \to \mathbb{N}dX(n)=|{x∈X∣|x|≤n}|.dX(n)=|{x∈X∣|x|≤n}|.d_X(n) = |\{x\in X \mid |x| \le n\}|.AAABBBAAABBBBBBL=DSPACE(logn)L=DSPACE(log⁡n)\textsf{L} …
2
Apakah SAT bahasa bebas konteks?
Saya sedang mempertimbangkan bahasa dari semua formula logika proposisional yang memuaskan, SAT (untuk memastikan bahwa ini memiliki alfabet terbatas, kami akan menyandikan huruf proposisional dengan cara yang sesuai [edit: balasan menunjukkan bahwa jawaban untuk pertanyaan mungkin tidak kuat di bawah beragam pengkodean, jadi seseorang harus lebih spesifik - lihat kesimpulan …
1
Hirarki Polinomial Acak?
Saya bertanya-tanya, apa yang akan terjadi, jika dalam definisi (Hirarki Polinomial, lihat, misalnya, di sini ), peran akan digantikan oleh ?N P R PPHPHPHNPNPNPRPRPRP Tampaknya, kita masih bisa membangun hierarki, dengan cara yang sama seperti dibangun, hanya menggunakan mana-mana, bukan , dan bukan . Mari kita menyebutnya Hirarki Polinomial Acak …
3
Kelengkapan injeksi reduksi Karp
Reduksi karp adalah waktu polinomial yang dapat dihitung banyak-satu pengurangan antara dua masalah komputasi. Banyak pengurangan Karp sebenarnya adalah fungsi satu-satu. Hal ini menimbulkan pertanyaan apakah setiap pengurangan Karp bersifat injeksi (fungsi satu-satu). Apakah ada alam masalah -Lengkap yang dikenal menjadi lengkap hanya di bawah banyak-satu pengurangan Karp dan tidak …
2
Daftar nomor masalah teori atau aljabar di berbagai kelas kompleksitas
Saya mencari daftar tentang kompleksitas yang diketahui atau tidak diketahui dari berbagai masalah teori / aljabar. Sebagai contoh, GCD di terbuka,NC1NC1NC^1 anjak piutang dalam terbuka,PPP komputasi berkas cohomology yaitu -Hard# P#P\#P , Arora dan Barak menyatakan bahwa varian anjak piutang adalah lengkap (meskipun ini tidak jelas berdasarkan diskusi di An …
2
Lingkup pembatas bukti alami
Penghalang bukti alami dari Razborov dan Rudich menyatakan bahwa di bawah asumsi kriptografi yang kredibel orang tidak dapat berharap untuk memisahkan NP dari P / poli dengan menemukan sifat kombinatorial dari fungsi yang konstruktif, besar, dan bermanfaat. Ada beberapa hasil terkenal yang berhasil menghindari penghalang. Ada juga beberapa makalah yang …
2
Apa varian dari masalah penutup yang dikenal sebagai?
Input adalah alam semesta UUU dan keluarga himpunan bagian dari UUU , mengatakan, F⊆2UF⊆2U{\cal F} \subseteq 2^U . Kami berasumsi bahwa subset di FF{\cal F} dapat menutupi UUU , yaitu, ⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U . Sebuah urutan meliputi tambahan adalah urutan himpunan bagian di FF{\cal F} , katakanlah, A={E1,E2,…,E|A|}A={E1,E2,…,E|A|}{\cal A}=\{E_1,E_2,\ldots,E_{|{\cal A}|}\} …
1
Kelas besar yang berisi LOGSPACE yang inklusi ketatnya tidak diketahui
Halaman wikipedia di PSPACE menyebutkan bahwa inklusi tidak dikenal ketat (sayangnya tanpa referensi).NL⊂PHNL⊂PHNL\subset PH T1: Bagaimana dengan dan - apakah ini dikenal ketat?L ⊂ P # PL⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} T2: Jika tidak, adakah kelas yang mapan yang berisi dan yang tidak diketahui jika inklusi ketat?P # P L ⊂ CCCCP#PP#PP^{\#P}L⊂CL⊂CL\subset …
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.