Вопросы с тегом «descriptive-complexity»

По словам Иммермана , класс сложности, связанный с запросами SQL, - это в точности класс безопасных запросов в (запросы первого порядка плюс оператор подсчета): SQL захватывает безопасные запросы. (Другими словами, все запросы SQL имеют сложность в , и все проблемы в могут быть выражены как запрос SQL.)Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} Исходя из этого …

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

Предположим, мы хотим объединить два отношения в предикате. Это в NC? Я понимаю, что доказательство того, что он не находится в NC, будет равносильно доказательству того, что п≠ NСп≠NСP\not=NC , поэтому я бы принял доказательство того, что это открытая проблема, в качестве ответа. Меня интересует как общий случай, так и …

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