Pertanyaan yang diberi tag descriptive-complexity

Perpanjangan SQL capturing

Menurut Immerman , kelas kompleksitas yang terkait dengan kueri SQL adalah kelas kueri aman di (kueri urutan pertama ditambah operator penghitungan): SQL menangkap kueri aman. (Dengan kata lain, semua kueri SQL memiliki kompleksitas dalam , dan semua masalah di dapat diekspresikan sebagai kueri...

Bisakah gabungan diparalelkan?

Misalkan kita ingin menggabungkan dua relasi dengan predikat. Apakah ini di NC? Saya menyadari bahwa buktinya tidak berada di NC akan menjadi bukti bahwa , jadi saya akan menerima bukti itu menjadi masalah terbuka sebagai jawaban.P≠NCP≠NCP\not=NC Saya tertarik pada kasus umum serta kasus-kasus...