Contributions de Luuuuc
Résultats pour Luuuuc discuter journal des blocages téléversements journaux Journal des blocages globaux compte global journal des filtrages
Un utilisateur avec 3 modifications. Compte créé le 21 juin 2023.
9 décembre 2023
- 17:319 décembre 2023 à 17:31 diff hist +507 Discussion:Construction de Glushkov →Dénomination de l'algorithme : nouvelle section actuelle Balise : Nouveau sujet
22 juin 2023
- 09:5022 juin 2023 à 09:50 diff hist −35 Liste de problèmes NP-complets →Divers : Suppression de Quantified Boolean Formula (QBF) de la liste des problèmes NP-complet. QBF est PSPACE-complet (cf https://fr.wikipedia.org/wiki/Formule_bool%C3%A9enne_quantifi%C3%A9e). Si ce problème est NP-dur, il en découle que NP = PSPACE. On ne sait pas à ce jour si cette égalité est vraie. Balise : Éditeur visuel
21 juin 2023
- 17:1021 juin 2023 à 17:10 diff hist +397 Discussion:Arbre bicolore →Arbre bicolore pas forcément ABR ? : nouvelle section Balise : Nouveau sujet