Pytania oznaczone «descriptive-complexity»

Rozszerzenie przechwytywania SQL

Według Immermana klasa złożoności powiązana z zapytaniami SQL jest dokładnie klasą bezpiecznych zapytań w (zapytania pierwszego rzędu plus operator zliczania): SQL przechwytuje bezpieczne zapytania. (Innymi słowy, wszystkie zapytania SQL mają złożoność w , a wszystkie problemy w mogą być wyrażone...

Czy sprzężenia mogą być równoległe?

Załóżmy, że chcemy połączyć dwie relacje w predykacie. Czy to jest w NC? Zdaję sobie sprawę, że dowód, że nie ma go w NC, będzie równoznaczny z dowodem, że , więc przyjmuję dowód, że jest to otwarty problem jako odpowiedź.P≠NCP≠NCP\not=NC Interesuje mnie zarówno ogólny przypadek, jak i konkretne...