Problème de la plus longue chaînevignette|Par suppression d'une arête rouge arbitraire, ce cycle hamiltonien donne une chaîne de longueur maximale. En théorie des graphes et en informatique théorique, le problème de la plus longue chaîne (ou le problème du plus long chemin dans le cas d'un graphe orienté) consiste à déterminer la plus longue chaîne élémentaire dans un graphe. Une chaîne est élémentaire si elle ne passe pas deux fois par le même sommet. La longueur d'une chaîne peut être mesurée par le nombre d'arêtes qui la composent ou, dans le cas de graphes pondérés, par la somme des poids des arêtes du chemin.
Dynamic loadingDynamic loading is a mechanism by which a computer program can, at run time, load a library (or other ) into memory, retrieve the addresses of functions and variables contained in the library, execute those functions or access those variables, and unload the library from memory. It is one of the 3 mechanisms by which a computer program can use some other software; the other two are static linking and dynamic linking.
Mesure sigma-finieSoit (X, Σ, μ) un espace mesuré. On dit que la mesure μ est σ-finie lorsqu'il existe un recouvrement dénombrable de X par des sous-ensembles de mesure finie, c'est-à-dire lorsqu'il existe une suite (E) d'éléments de la tribu Σ, tous de mesure finie, avec Mesure finie Mesure de comptage sur un ensemble dénombrable Mesure de Lebesgue. En effet, l'ensemble des intervalles pour tous les nombres entiers est un recouvrement dénombrable de , et chacun des intervalles est de mesure 1.
Entropie minEn probabilités et en théorie de l'information, l'entropie min d'une variable aléatoire discrète X prenant n valeurs ou sorties possibles 1... n associées au probabilités p1... pn est : La base du logarithme est juste une constante d'échelle. Pour avoir un résultat en bits, il faut utiliser le logarithme en base 2. Ainsi, une distribution a une entropie min d'au moins b bits si aucune sortie n'a une probabilité plus grande que 2-b. L'entropie min est toujours inférieure ou égale à l'entropie de Shannon; avec égalité si toutes les valeurs de X sont équiprobables.
Dynamic linkerIn computing, a dynamic linker is the part of an operating system that loads and links the shared libraries needed by an executable when it is executed (at "run time"), by copying the content of libraries from persistent storage to RAM, filling jump tables and relocating pointers. The specific operating system and executable format determine how the dynamic linker functions and how it is implemented.
Fermeture transitiveLa fermeture transitive est une opération mathématique pouvant être appliquée sur des relations binaires sur un ensemble, autrement dit sur des graphes orientés. La clôture transitive, ou fermeture transitive R d'une relation binaire R sur un ensemble X est la relation ce qui peut également se traduire ainsi : Si on nomme la relation "il existe un chemin de taille n entre a et b" On définit C'est la plus petite relation transitive sur X contenant R.
PathwidthIn graph theory, a path decomposition of a graph G is, informally, a representation of G as a "thickened" path graph, and the pathwidth of G is a number that measures how much the path was thickened to form G. More formally, a path-decomposition is a sequence of subsets of vertices of G such that the endpoints of each edge appear in one of the subsets and such that each vertex appears in a contiguous subsequence of the subsets, and the pathwidth is one less than the size of the largest set in such a decomposition.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Pavage apériodiqueEn mathématiques, et plus particulièrement en géométrie, un pavage apériodique est un pavage non périodique ne contenant pas de sections périodiques arbitrairement grandes. Les pavages de Penrose sont les exemples les plus connus de pavages apériodiques, mais il existe plusieurs autres méthodes pour en construire. Les pavages apériodiques servent de modèles mathématiques pour les quasi-cristaux, des objets physiques découverts en 1982 par Dan Shechtman, mais dont la structure locale exacte est encore mal comprise.
Balance des paiementsLa balance des paiements est un document statistique élaboré sous forme comptable, élément de la comptabilité nationale recensant les flux de biens, de services, de revenus, de transferts de capitaux, et les flux financiers que les résidents d'un pays dans leur ensemble (particuliers, entreprises ou État) entretiennent avec ceux du reste du monde. Par construction, la balance des paiements est toujours équilibrée, aux erreurs et omissions près, car les opérations sont enregistrées selon le principe de la comptabilité en partie double.
MondialisationLe terme de mondialisation correspond à un libre échange des marchandises, des capitaux, des services, des personnes, des techniques et de l'information. Il désigne le processus d'intégration des marchés et de rapprochement des humains qui résulte notamment de la libéralisation des échanges, du développement des moyens de transport de personnes et de marchandises, et des retombées des technologies de l'information et de la communication (TIC) à l'échelle planétaire.
Études mondialesLes études mondiales sont l'étude interdisciplinaire des relations et des processus politiques, économiques, juridiques, écologiques et culturels qui affectent le monde. Les principaux sujets d'études sont la politique, l'économie et la jurisprudence. Les études mondiales portent sur la mondialisation au travers des différents domaines d'activité englobant les relations de marché, le mouvement des marchandises, les communications mondiales, la consommation, les réfugiés, les migrants et les autres mouvements de personnes autour du globe.
