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.