Réduction (complexité)En calculabilité et en théorie de la complexité, une réduction est un algorithme transformant une instance d'un problème algorithmique en une ou plusieurs instances d'un autre problème. S'il existe une telle réduction d'un problème A à un problème B, on dit que le problème A se réduit au problème B. Dans ce cas, le problème B est plus difficile que le problème A, puisque l'on peut résoudre le problème A en appliquant la réduction puis un algorithme pour le problème B. On écrit alors A ≤ B.
Computational complexityIn computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations) and memory storage requirements. The complexity of a problem is the complexity of the best algorithms that allow solving the problem. The study of the complexity of explicitly given algorithms is called analysis of algorithms, while the study of the complexity of problems is called computational complexity theory.
Classe de complexitéEn informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource. Une classe est souvent définie comme l'ensemble de tous les problèmes qui peuvent être résolus sur un modèle de calcul M, utilisant une quantité de ressources du type R, où n, est la taille de l'entrée. Les classes les plus usuelles sont celles définies sur des machines de Turing, avec des contraintes de temps de calcul ou d'espace.
Théorie de la complexité (informatique théorique)vignette|Quelques classes de complexité étudiées dans le domaine de la théorie de la complexité. Par exemple, P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée ...) requis par un algorithme pour résoudre un problème algorithmique.
Complexité paramétréeEn algorithmique, la complexité paramétrée (ou complexité paramétrique) est une branche de la théorie de la complexité qui classifie les problèmes algorithmiques selon leur difficulté intrinsèque en fonction de plusieurs paramètres sur les données en entrée ou sur la sortie. Ce domaine est étudié depuis les années 90 comme approche pour la résolution exacte de problèmes NP-complets. Cette approche est utilisée en optimisation combinatoire, notamment en algorithmique des graphes, en intelligence artificielle, en théorie des bases de données et en bio-informatique.
Complexité en espaceEn algorithmique, la complexité en espace est une mesure de l'espace utilisé par un algorithme, en fonction de propriétés de ses entrées. L'espace compte le nombre maximum de cases mémoire utilisées simultanément pendant un calcul. Par exemple le nombre de symboles qu'il faut conserver pour pouvoir continuer le calcul. Usuellement l'espace que l'on prend en compte lorsque l'on parle de l'espace nécessaire pour des entrées ayant des propriétés données est l'espace nécessaire le plus grand parmi ces entrées ; on parle de complexité en espace dans le pire cas.
Form factor (design)Form factor is a hardware design aspect that defines and prescribes the size, shape, and other physical specifications of components, particularly in electronics. A form factor may represent a broad class of similarly sized components, or it may prescribe a specific standard. It may also define an entire system, as in a computer form factor. As electronic hardware has become smaller following Moore's law and related patterns, ever-smaller form factors have become feasible.
Mini PCUn mini PC (ou SFF, small form factor) est un ordinateur compatible PC de petite taille (10 à de large, 10 à de long, 3 à d'épaisseur) conçu pour le besoin basique de consultation grand public du web en liaison filaire ou sans fil, le multimédia et pour le nomadisme commercial des entreprises. Il est utilisé aussi comme seconde machine bureautique chez des particuliers. Sa très faible consommation électrique et son absence de pièces mobiles le rendent intéressant en domotique.
Soliton optiqueUn soliton optique est une impulsion électromagnétique se propageant sans déformation. Par sa nature même, elle est solution stable de l'équation de propagation dans le milieu qu'elle traverse (typiquement une fibre optique). Le soliton naît d'un équilibre entre deux effets qui se compensent. Dans le cas d'un soliton optique, ces effets sont essentiellement l'automodulation de phase et la dispersion anormale. Imaginons une impulsion électromagnétique se propageant.
SolitonUn soliton est une onde solitaire qui se propage sans se déformer dans un milieu non linéaire et dispersif. On en trouve dans de nombreux phénomènes physiques de même qu'ils sont la solution de nombreuses équations aux dérivées partielles non linéaires. thumb|Soliton hydrodynamique. Le phénomène associé a été observé pour la première fois en 1834 par l'Écossais John Scott Russell qui l'a observé initialement en se promenant le long d'un canal : il a suivi pendant plusieurs kilomètres une vague remontant le courant qui ne semblait pas vouloir faiblir.
