Algorithme de Gale et ShapleyEn informatique, l'algorithme de Gale et Shapley est un algorithme qui résout le problème des mariages stables. En 1962, David Gale et Lloyd Shapley ont prouvé qu'il était toujours possible de résoudre le problème des mariages stables. Ils ont de plus présenté un algorithme permettant de trouver une solution. L'une des façons de présenter cet algorithme est de fonctionner par étapes. À chaque étape, chaque homme célibataire se propose à la femme qu'il préfère parmi celles à qui il ne s'est jamais proposé (sans regarder si elle est déjà en couple).
Densité d'un grapheEn mathématiques, et plus particulièrement en théorie des graphes, on peut associer à tout graphe un entier appelé densité du graphe. Ce paramètre mesure si le graphe a beaucoup d'arêtes ou peu. Un graphe dense (dense graph) est un graphe dans lequel le nombre d'arêtes (ou d'arcs) est proche du nombre maximal, par exemple un nombre quadratique par rapport au nombre de sommets. Un graphe creux (sparse graph) a au contraire peu d'arêtes, par exemple un nombre linéaire. La distinction entre graphe creux et dense est plutôt vague et dépend du contexte.
Condition aux limites mêléeEn mathématiques, une condition aux limites mêlée ou mixte correspond à la juxtaposition de différentes conditions aux limites sur différentes parties du bord (ou frontière) du domaine dans lequel est posée une équation aux dérivées partielles ou une équation différentielle ordinaire. Par exemple, si l'on considère les vibrations d'une corde élastique de longueur L se déplaçant à une vitesse c dont une extrémité (en 0) est fixe, et l'autre (en L) est attachée à un anneau oscillant librement le long d'une tige droite, on a alors une équation sur un intervalle [0,L].
Flexibility methodIn structural engineering, the flexibility method, also called the method of consistent deformations, is the traditional method for computing member forces and displacements in structural systems. Its modern version formulated in terms of the members' flexibility matrices also has the name the matrix force method due to its use of member forces as the primary unknowns. Flexibility is the inverse of stiffness. For example, consider a spring that has Q and q as, respectively, its force and deformation: The spring stiffness relation is Q = k q where k is the spring stiffness.
ReachabilityIn graph theory, reachability refers to the ability to get from one vertex to another within a graph. A vertex can reach a vertex (and is reachable from ) if there exists a sequence of adjacent vertices (i.e. a walk) which starts with and ends with . In an undirected graph, reachability between all pairs of vertices can be determined by identifying the connected components of the graph. Any pair of vertices in such a graph can reach each other if and only if they belong to the same connected component; therefore, in such a graph, reachability is symmetric ( reaches iff reaches ).
Direct stiffness methodAs one of the methods of structural analysis, the direct stiffness method, also known as the matrix stiffness method, is particularly suited for computer-automated analysis of complex structures including the statically indeterminate type. It is a matrix method that makes use of the members' stiffness relations for computing member forces and displacements in structures. The direct stiffness method is the most common implementation of the finite element method (FEM).
Produit cartésien (graphe)Le produit cartésien, ou somme cartésienne, est une opération sur deux graphes et résultant en un graphe . Parler de produit ou de somme pour cette opération n'est pas une contradiction, mais une explication basée sur deux aspects différents : la construction peut se voir comme un produit, tandis que de nombreuses propriétés sont basées sur la somme. Soient deux graphes et . Le produit cartésien est défini comme suit : Autrement dit, l'ensemble résultant des sommets est le produit cartésien .
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.
Dynamique socialeLa dynamique sociale, renvoie, en sociologie, aux changements ou aux étapes successives dans l'évolution des faits sociaux. Elle permet d'envisager la société sous l'angle de son évolution. Elle complète la notion de statique socialeLa science sociale (1819-1822), introduction UQAC, A. Kremer-Marietti, 4 novembre 2006.. On retrouve le terme en chez Auguste Comte, dans son livre Système de politique positive, ou Traité de sociologie instituant la religion de l'humanité, dont le troisième tome s'appelle De la dynamique sociale.
Classification mathématique par matièresLa classification mathématique par matières (Mathematics Subject Classification, avec abréviation MSC), est une classification à plusieurs niveaux établie conjointement par les deux répertoires bibliographiques en mathématiques que sont les Mathematical Reviews (AMS) et le Zentralblatt MATH (EMS, , Springer). Elle est utilisée systématiquement par ces organes bibliographiques, ainsi que tous les journaux et monographies de recherche en mathématiques afin de faciliter l'indexation de ces publications et les recherches bibliographiques.
