
ICC Semaine 4 
Théorie du calcul 
 
 
-Est ce que si on a un problème bien posé, où la seule réponse est vraie ou faux, on peut 
faire un algorithme ? Non ! 
  Il y a des enoncés indécidables ≫ aucun algorithme peut nous donner la réponse 
 
-Si on a un problème décidable, est ce qu’on peut le résoudre en un temps raisonnable ? 
  Si on a un algo qui résout en un temps exponentiel > même si notre nombre est 
10^100, il faut écrire plus de 100 chiffres er c’est long ! 
 
QUELS SONT LES PROBLEMES QUE L’ON PEUT RESOUDRE EN UN TEMPS 
RAISONABLE ? 
 
Remarque préliminaire : 
Un problème est en ensemble de questions (en général) 
Exemple : 
-Si on nous donne n, que vaut f(n) ? 
≫
c’est un ensemble infini de question 
-Soit X une classe de 1ere année à l’EPFL, quelle est la taille de X ? 
≫
 c’est un ensemble fini 
de question et donc de réponse. 
Dans un premier temps, on a besoin d’un algorithme, mais ensuite, pour répondre à cette 
question, on a pas besoin d’algorithme, on a juste besoin d’une table de correspondance 
≫
 
GC = 119 / SIE = 85 
≫
 ça ne bougera jamais, on peut faire une table. 
Alors que dans le premier cas avec f(n), on ne peut pas faire une table pcq c’est infini. 
 
 
 
1. L’ensemble des algorithmes existants dans l’univers est dénombrable ≫ cela veut 
dire que l’on peut les compter. (même s’il y en a à l’infini, on pourrait les 
compter) 
 
 
2. L’ensemble des problèmes existants dans l’univers est indénombrable > infini 
mais en plus, on peut pas les compter 
 
 
 
Conclusion : il y a « beaucoup plus » de problèmes que d’algorithmes.