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

3
Расширение захвата SQL
По словам Иммермана , класс сложности, связанный с запросами 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))} Исходя из этого …

1
Могут ли объединения быть распараллелены?
Предположим, мы хотим объединить два отношения в предикате. Это в NC? Я понимаю, что доказательство того, что он не находится в NC, будет равносильно доказательству того, что п≠ NСп≠NСP\not=NC , поэтому я бы принял доказательство того, что это открытая проблема, в качестве ответа. Меня интересует как общий случай, так и …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.