Pertanyaan yang diberi tag «complexity-classes»

A TA turun hari ini untuk menanyakan beberapa hal tentang NP dan co-NP. Kami tiba di titik di mana saya bingung: seperti apa diagram Venn tentang P, NPI, NP, dan co-NP dengan asumsi mengasumsikan P ≠ NP (kasus lain membosankan)? Tampaknya ada empat opsi dasar. NP ∩ co-NP = P …

8 complexity-theory  reference-request  complexity-classes  np 

Misalkan adalah masalah keputusan yang dapat ditentukan.ΠΠ\Pi Apakah menyiratkan adalah -Hard?Π ∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Sunting: jika kita asumsikan ada maka kita selesai. Bisakah kita menyangkal klaim tanpa asumsi yang tidak diketahui?Π∈coNP∖NPΠ∈coNP∖NP\Pi\in coNP\setminus NP

8 complexity-theory  np-hard  complexity-classes  np 

Nick's Class (NC) adalah kelas masalah yang dapat diputuskan dalam waktu poly-log menggunakan sejumlah prosesor polinomial. Saya ingin tahu tentang analog eksponensial, yang akan mencakup masalah yang dapat diputuskan dalam waktu polinomial menggunakan jumlah prosesor yang eksponensial. Apa yang saya cari adalah nama untuk kelas ini dan hubungan yang diketahui …

8 complexity-theory  reference-request  parallel-computing  complexity-classes 

Ketika teorema terkenal Savitch dinyatakan, orang sering melihat persyaratan bahwa dapat dibangun dalam ruang (yang menariknya, dihilangkan dalam Wikipedia). Pertanyaan sederhana saya adalah: Mengapa kita membutuhkan ini? Saya mengerti persyaratan untuk berada di , yang jelas dari buktinya. Tapi tidak ada bukti yang saya lihat sejauh ini secara eksplisit menggunakan …

8 complexity-theory  space-complexity  complexity-classes  nondeterminism 

Apakah ada masalah keputusan yang ada dalam kelas kompleksitas yang termasuk dalam DLOGTIME? (kecuali , tentu saja)O(1)O(1)O(1) Jika ada, dapatkah kita membuat masalah lengkap untuk DLOGTIME? Jadi, bisakah ada pengurangan dengan atau lebih kecil?O(log(logn))O(log⁡(log⁡n))O(\log(\log n))

8 complexity-theory  time-complexity  complexity-classes