Algorithmes et calcul

2.1. Algorithmique, preuves, complexité (Michel de Rougemont) Un modèle de calcul spécifie des opérations élémentaires, à partir desquelles on définit des algorithmes qui décrivent explicitement leur assemblage. L’entrée d’un problème est une structure finie, par exemple un mot, une liste, un arbre, un graphe ou une structure plus élaborée. Si le résultat est booléen, 0 ou 1, il s’agit d’un problème de décision, alors que si le résultat est une autre structure, c’est un problème de calcul. Da..