avec les questions d'histoire, il y a généralement des nuances subtiles et il n'est pas facile de déterminer un document particulier qui a introduit un concept particulier car il a tendance à être réparti sur de nombreux contributeurs et est parfois redécouvert indépendamment lorsque les premières références obscures ne se diffusent pas nécessairement (les idées fondamentales sont comme ça) . mais l'histoire ressemble à peu près à ceci: la notation Landau est un ancien formalisme mathématique (1894 / Bachman) [1] qui a été importé dans CS en tant que "concept clé" vers le début des années 1970. au milieu des années 1970, cela a été quelque peu accepté comme dans votre référence à Knuth et Knuth lui-même a été impliqué dans la diffusion de ce concept.
il est intéressant de noter que son importation dans CS était probablement étroitement liée aux distinctions P vs NP vs Exptime découvertes au début des années 1970 qui étaient très influentes / annoncées dans le domaine. c'est Cobham / Edmonds qui a commencé à définir la classe P au début des années 1970 [3]. il y avait des premières preuves sur Exptime et Expspace par Stockmeyer / Meyer. [2] le théorème de Cook-Levin [4] (1971) a montré la pertinence fondamentale du temps P vs NP, immédiatement soutenu par Karp [5] (1972).
Pocklington était un des premiers mathématiciens qui travaillait en théorie des nombres mais aussi à la pointe de l'informatique. comme dans [3], il souligne:
Cependant, HC Pocklington, dans un article de 1910, [11] [12] a analysé deux algorithmes pour résoudre les congruences quadratiques, et a observé que l'on prenait du temps "proportionnel à une puissance du logarithme du module" et contrastait avec celui qui prenait du temps proportionnelle "au module lui-même ou à sa racine carrée", établissant ainsi explicitement une distinction entre un algorithme qui s'exécutait en temps polynomial et celui qui ne fonctionnait pas.
Derrick Lehmer, professeur de mathématiques à l'Université de Californie à Berkeley, a également été l'un des premiers pionniers de l'analyse de la complexité des algorithmes basés sur la machine pour la théorie des nombres, c'est-à-dire l'affacturage. et il est possible qu'il ait décrit quelque chose comme la complexité de calcul en tenant compte de manière informelle. [6]
un autre cas encore est une lettre "perdue" de Godel à von Neumann de 1956 parlant de mesures de complexité des étapes f (n) d'une machine pour trouver des preuves de taille n . [7]
[1] Historique de la notation Big O / wikipedia
[2] Problèmes de mots nécessitant un temps exponentiel. / Stockmeyer, Meyer (1973)
[3] Historique des classes de temps P / wikipedia
[4] Théorème de Cook-Levin / wikipedia
[5] Karps 21 NP problèmes complets / wikipedia
[6] Machine d'affacturage Lehmer / tamis / wikipedia
[7] Godels a perdu la lettre / RJLipton