Pas du tout. Si quelqu'un prouve que P=NP, tout le travail de réduction qui a été fait (rapporter un problème NP à un autre) permet de résoudre tous les problèmes NP en temps polynomial, par combinaison de l'algorithme exhibé pour résoudre P=NP et de l'algorithme de réduction.
D'autre part, les bornes inférieures (du genre P!=NP ou des choses plus spécifiques) sont extrêmement utiles pour la pratique. Par exemple, le fait de savoir qu'on ne peut pas faire un tri en mieux que n log n permet de donner des temps minimaux d'exécution, de se diriger vers un algo ou un autre, etc. Il ne faut pas non plus négliger l'effet "j'évite de perdre mon temps". Par exemple, il est salutaire qu'on sache qu'on ne peut pas faire de mouvement perpétuel !
Encore une fois, l'implémentation n'est qu'un aspect de l'informatique. L'informatique, c'est la science du traitement et de la manipulation de l'information. Quand on fait du data mining, on fait de l'informatique, de même que pour l'IA, etc. Les maths ne sont ici qu'un langage de formalisation d'un domaine scientifique. Je ne fais pas de l'anglais parce que j'écris mes articles scientifiques en anglais...
[^] # Re: Droit d'auteur et travailleurs
Posté par boubou . En réponse à la dépêche Droit d'auteur et travailleurs. Évalué à 1.
D'autre part, les bornes inférieures (du genre P!=NP ou des choses plus spécifiques) sont extrêmement utiles pour la pratique. Par exemple, le fait de savoir qu'on ne peut pas faire un tri en mieux que n log n permet de donner des temps minimaux d'exécution, de se diriger vers un algo ou un autre, etc. Il ne faut pas non plus négliger l'effet "j'évite de perdre mon temps". Par exemple, il est salutaire qu'on sache qu'on ne peut pas faire de mouvement perpétuel !
Encore une fois, l'implémentation n'est qu'un aspect de l'informatique. L'informatique, c'est la science du traitement et de la manipulation de l'information. Quand on fait du data mining, on fait de l'informatique, de même que pour l'IA, etc. Les maths ne sont ici qu'un langage de formalisation d'un domaine scientifique. Je ne fais pas de l'anglais parce que j'écris mes articles scientifiques en anglais...