Pertanyaan yang diberi tag «structural-complexity»

Teori Kompleksitas Struktural

4
Apa konsekuensi dari
Kita tahu bahwa L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} dan L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , di mana L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Kita juga tahu bahwa polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}karena yang terakhir memiliki masalah lengkap di bawah ruang reduksi banyak-satu sementara logaritmik tidak (karena teorema hierarki ruang). Dalam rangka …
1
Algoritma dan teori kompleksitas struktural
Banyak hasil penting dalam teori kompleksitas komputasi, dan khususnya teori kompleksitas "struktural", memiliki sifat menarik yang dapat dipahami secara mendasar mengikuti (seperti yang saya lihat ...) dari hasil algoritmik yang memberikan algoritma atau protokol komunikasi yang efisien untuk beberapa masalah. Ini termasuk yang berikut: IP = PSPACE mengikuti dari algoritma …
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 Keras Simulasi yang Tepat dari Algoritma, dan Operasi Terkait pada Kelas Kompleksitas
Penggoda Karena masalahnya gondrong di sini adalah kasus khusus yang menangkap esensinya. Masalah: Misalkan A menjadi algoritme detrministik untuk 3-SAT. Apakah masalah sepenuhnya mensimulasikan algoritma A (pada setiap contoh masalah). P-Space keras? (Lebih tepatnya, apakah ada alasan untuk percaya bahwa tugas ini adalah P-Space keras, melakukan sesuatu dalam arah ini …
1
vs
Dalam karya terbaru kami, kami menyelesaikan masalah komputasi yang muncul dalam konteks kombinatorial, dengan asumsi bahwa , di mana ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} adalah versi E X P dari ⊕⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} . Satu-satunya kertas di ⊕⊕P⊕P\mathsf{\oplus{}P} yang kami temukan adalahmakalahBeigel-Buhrman-Fortnow1998yang dikutip diComplexity Zoo. Kami memahami bahwa kita dapat mengambil versi paritas N …
2
Superset waktu dari bahasa lengkap NP dengan banyak sekali string dikecualikan darinya
Untuk setiap bahasa lengkap NP yang sewenang-wenang, adakah selalu superset polytime yang komplemennya juga tidak terbatas? Versi sepele yang tidak menetapkan superset memiliki pelengkap tak terbatas telah diminta di /cs//q/50123/42961 Untuk keperluan pertanyaan ini, Anda dapat mengasumsikan bahwa . Seperti yang dijelaskan Vor, jika maka jawabannya adalah "Tidak". (Jika , …
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} …
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.