## [Explosion des Ressources](/fr/node/61078) Définition Une escalade des ressources de calcul requises (temps, mémoire, espace intermédiaire) causée par des caractéristiques syntaxiques, des encodages, des choix algorithmiques ou des instances de problème spécifiques qui rendent le calcul impraticable. ## Principe Principe Certains encodages ou transformations peuvent augmenter la taille de la représentation ou des structures intermédiaires (par exemple la duplication de sous-expressions ou l'expansion de quantificateurs), et des procédés algorithmiques peuvent avoir une consommation de ressources pire-cas croissant superpolynomiellement avec la taille de l'entrée. ## Démonstration Démonstration La conversion d'une formule en forme normale disjonctive (FND) peut croître exponentiellement en longueur ; l'expansion immédiate de définitions ou la mise à la terre naïve de formules quantifiées sur un grand domaine peut épuiser la mémoire et le temps alors que la spécification initiale reste compacte. ## Mauvaise application Mauvaise application Choisir des encodages ou algorithmes qui matérialisent implicitement un nombre exponentiel de résultats intermédiaires (par exemple, développer complètement des constructions combinatoires) en supposant à tort que la taille du problème restera petite, conduisant à des plantages ou durées d'exécution incontrôlées. ## Conséquence Conséquence La prise de conscience de l'explosion des ressources conduit à des encodages alternatifs, évaluation paresseuse, représentations symboliques, traitement en flux ou approximations ; traitée correctement, elle rétablit la faisabilité et des bornes de ressources prévisibles pour les cas d'usage visés. ## Inversion Inversion Containment des ressources — choix algorithmiques et de représentation qui maintiennent le temps et l'espace dans des limites acceptables (par ex. encodages en temps polynomial, algorithmes en flux, méthodes incrémentales). ## Limite Limite Se réfère aux coûts en ressources provenant de représentations, encodages ou expansions algorithmiques ; distincte de la classification de complexité algorithmique pure (p. ex. P vs NP) dans la mesure où l'explosion provient souvent d'encodages ou de prétraitements particuliers plutôt que d'une complexité décisionnelle inhérente. ## Tension sémantique Tension sémantique Étroitement liée à l'explosion de l'espace de recherche : l'une décrit la croissance combinatoire des candidats, l'autre met l'accent sur les ressources effectivement consommées ; les techniques d'atténuation se recoupent mais peuvent privilégier la disposition mémoire, le streaming et l'évaluation incrémentale plutôt que les heuristiques de recherche. ## Synthèse Synthèse L'explosion des ressources est le mode de défaillance pratique où des représentations ou étapes algorithmiques créent des exigences temporelles ou mémorielles prohibitivement importantes ; la résoudre demande de choisir des encodages et stratégies d'évaluation évitant la matérialisation de larges structures intermédiaires et d'exploiter paresseux, modularité ou approximation.