Pertanyaan yang diberi tag terminology

13
Jika

Saya baru saja menemukan kalimat ini di halaman 6 dari Garey and Johnson's "Computers and Intractability". Algoritma apa pun yang fungsi kompleksitas waktunya tidak dapat dibatasi disebut algoritma waktu eksponensial (walaupun harus dicatat bahwa definisi ini mencakup fungsi kompleksitas waktu...

12
Apa itu kelas kompleksitas

Apa yang dimaksud dengan kelas kompleksitas ? Saya tahu bahwa adalah kelas kompleksitas yang berisi bahasa yang ada polinomial waktu nondeterministik mesin Turing sedemikian sehingga jika jumlah keadaan penerimaan mesin pada input aneh.⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in...

11
Sebuah

Saya ingin menentukan, apa artinya memberikan aljabar sebagai input untuk suatu algoritma dan tidak menemukan banyak literatur tentangnya. Jadi pertama-tama saya ingin bertanya apakah Anda dapat merekomendasikan buku atau makalah yang membahas topik analisis kompleksitas aljabar di atas bidang dan...

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