L'informatique

12
À propos de l'algorithme de réduction de Codd

L'algorithme de Codd convertit une expression dans le calcul relationnel de tuple en algèbre relationnelle. Existe-t-il une implémentation standard de l'algorithme? Cet algorithme est-il utilisé n'importe où? (Il semble que l'industrie n'ait besoin que de SQL et de variantes, je ne suis pas sûr des...

12
Un oracle pour séparer NP de coNP

Comment prouver que ? Je cherche juste un tel oracle TM et un langage récursif pour lequel cela vaut. ML(M)=LN PUNE≠ c o N PUNENPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML ( M) = LL(M)=LL(M) = L Je connais la preuve où vous montrez qu'il y a un oracle tel que et un oracle tel que . J'ai un...