Pertanyaan yang diberi tag «descriptive-complexity»

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 SQL.)Q ( F O ( C O …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

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 tertentu (misalnya mungkin dengan beberapa struktur data …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity