À retenir
- Désigne un choix systématiquement favorable vers le succès.
- Concept lié au non-déterminisme en informatique théorique.
- S'oppose au concept de choix « démoniaque ».
Dans le monde des algorithmes, un comportement est dit angélique lorsqu'un système capable de faire plusieurs choix choisit systématiquement celui qui mène à la réussite. C'est comme si, dans un labyrinthe, vous aviez le pouvoir de toujours prendre le bon tournant pour trouver la sortie du premier coup, dès lors qu'une sortie existe.
Étymologie
Issu du latin angelus (messager, ange). En informatique théorique et en logique, ce terme est utilisé de manière métaphorique pour décrire un système « bienveillant » qui aide à la résolution d'un problème, par opposition au comportement « démoniaque ».
Exemples d'usage
- Automates non-déterministes : Un automate qui accepte un mot si au moins un des chemins possibles mène à un état final.
- Programmation logique : Certains modèles de résolution de problèmes où l'on considère que le système trouvera la solution parmi toutes les combinaisons possibles.
Cas d'usage
Ce concept intervient principalement en informatique théorique, dans l'étude de la complexité algorithmique et dans la vérification de programmes. On l'utilise pour modéliser des situations où l'on veut savoir si une solution est possible, sans se soucier des échecs intermédiaires.
Bonnes pratiques
Il est crucial de ne pas confondre un modèle angélique (théorique) avec une implémentation réelle. Dans la réalité, un ordinateur doit souvent tester tous les chemins un par un (backtracking), ce qui peut être très lent, contrairement à l'idéal angélique qui « devine » le bon chemin.
Synonymes
Antonymes
Conseil
Pour bien comprendre, imaginez que vous jouez aux échecs contre un ordinateur « angélique » : il n'aurait pas besoin de calculer tous les coups, il jouerait directement le coup parfait parce qu'il « sait » lequel mène à la victoire.
Questions fréquentes
Est-ce qu'un ordinateur peut être vraiment angélique ?
Non, un processeur classique est déterministe. Le concept d'angélique est un outil mathématique pour analyser ce qu'un système pourrait accomplir idéalement.
Quelle est la différence avec le non-déterminisme démoniaque ?
Le non-déterminisme angélique cherche la réussite (si un chemin gagne, on gagne), tandis que le démoniaque considère le pire scénario (si un chemin échoue, on considère que tout échoue).