Untuk alasan tentang hal-hal seperti kelengkapan NP, kami biasanya menggunakan banyak-satu pengurangan (yaitu, pengurangan Karp). Ini mengarah ke gambar seperti ini: (di bawah dugaan standar). Saya yakin kita semua akrab dengan hal semacam ini. Gambar apa yang kita dapatkan, jika kita bekerja...
Jika maka hierarki runtuh ke level kedua (oleh teorema Karp-Lipton). Tetapi bagaimana dengan dan ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Saya mencoba membuktikan bahwa terkandung dalam (arah lainnya sepele jika ) tetapi tidak berhasil, dan saya bahkan tidak yakin itu benar.BPPBPP\sf...
Saya benar-benar ingin bantuan Anda untuk membuktikan hal berikut. Jika maka .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTsayame(n100)⊆DTsayame(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N PP=NP\mathrm{P}=\mathrm{NP} Di sini, adalah kelas semua bahasa yang dapat...
Saya mengambil kursus tentang Kompleksitas Komputasi. Masalah saya adalah saya tidak mengerti metode Relativization . Saya mencoba menemukan sedikit intuisi di banyak buku teks, sayangnya, sejauh ini tidak berhasil. Saya akan menghargai jika seseorang dapat menjelaskan topik ini sehingga saya akan...
Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa...
Saya bingung tentang bagaimana PP dan BPP didefinisikan. Mari kita asumsikan adalah fungsi karakteristik untuk bahasa . M menjadi Mesin Turing probabilistik. Apakah definisi berikut ini benar:χχ\chiLL\mathcal{L} BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP...
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...
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...
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...
Saya tidak dapat menemukan grafik yang menggambarkan atau teks yang menjawab pertanyaan berikut: Apakah ada hubungan langsung antara kompleksitas suatu algoritma (seperti kasus cepat / terbaik terbaik), dan kelas automata yang dapat mengimplementasikan algoritma. Misalnya apakah ada serangkaian...
Saya pikir kedua kelas ini harus sama, tetapi saya tidak dapat menemukan literatur tentang hal ini dan memiliki latar belakang yang terbatas pada topik tersebut. Ini adalah alasan saya, dan saya ingin tahu apakah (1) ini sudah diketahui atau (2) saya salah mengerti sesuatu atau (3) saya baru...
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(logn))O(\log(\log...