Questions marquées «descriptive-complexity»

Extension de capture SQL

Selon Immerman , la classe de complexité associée aux requêtes SQL est exactement la classe des requêtes sécurisées dans (requêtes de premier ordre plus opérateur de comptage): SQL capture les requêtes sécurisées. (En d'autres termes, toutes les requêtes SQL ont une complexité dans , et tous les...

Les jointures peuvent-elles être parallélisées?

Supposons que nous voulons joindre deux relations sur un prédicat. Est-ce en NC? Je me rends compte qu'une preuve qu'il n'est pas en NC équivaudrait à une preuve que P≠ NCP≠NCP\not=NC , donc j'accepterais comme preuve un problème ouvert comme réponse. Je m'intéresse au cas général ainsi qu'aux cas...