Pertanyaan yang diberi tag time-complexity

13
Versi terbatas masalah Clique?

Pertimbangkan versi masalah Clique berikut ini di mana input berukuran dan kami diminta untuk menemukan klik ukuran . Batasannya adalah prosedur pengambilan keputusan tidak dapat mengubah grafik input menjadi representasi lain dan tidak dapat menggunakan representasi lain untuk menghitung...

11
Inferring type refinement

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...

10
Membuktikan bahwa jika

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...