Ilmu Komputer

12
Tentang algoritma reduksi Codd

Algoritma Codd mengubah ekspresi dalam kalkulus relasional tuple menjadi Aljabar Relasional. Apakah ada implementasi standar dari algoritma? Apakah algoritma ini digunakan di mana saja? (Tampaknya industri ini hanya membutuhkan SQL dan varian, saya tidak yakin tentang teori database di...

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

12
Merekonstruksi Grafik dari Distribusi Derajat

Diberikan distribusi derajat, seberapa cepat kita dapat membuat grafik yang mengikuti distribusi derajat yang diberikan? Sketsa tautan atau algoritme akan bagus. Algoritme harus melaporkan "tidak" jika tidak ada grafik yang dapat dibuat dan salah satu contohnya jika banyak grafik dapat...

12
Sebuah oracle untuk memisahkan NP dari coNP

Bagaimana membuktikan bahwa ? Saya hanya mencari oracle TM M dan bahasa rekursif L ( M ) = L yang ini berlaku.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Aku tahu buktinya mana Anda menunjukkan bahwa ada sebuah ramalan sehingga P A ≠ N P A dan oracle A sehingga P A...