Problème des mariages stablesvignette|Algorithme de Gale Shapley. En mathématiques, informatique et économie, le problème des mariages stables consiste à trouver, étant donné n hommes et n femmes, et leurs listes de préférences, une façon stable de les mettre en couple. Une situation est dite instable s'il y a au moins un homme et une femme qui préféreraient se mettre en couple plutôt que de rester avec leurs partenaires actuels (Dupont préfère à , et préfère Dupont à Durand). Ce problème a des applications en économie, en théorie des jeux et en physique statistique.
Couplage (théorie des graphes)En théorie des graphes, un couplage ou appariement (en anglais matching) d'un graphe est un ensemble d'arêtes de ce graphe qui n'ont pas de sommets en commun. Soit un graphe simple non orienté G = (S, A) (où S est l'ensemble des sommets et A l'ensemble des arêtes, qui sont certaines paires de sommets), un couplage M est un ensemble d'arêtes deux à deux non adjacentes. C'est-à-dire que M est une partie de l'ensemble A des arêtes telle que Un couplage maximum est un couplage contenant le plus grand nombre possible d'arêtes.
Maximum cardinality matchingMaximum cardinality matching is a fundamental problem in graph theory. We are given a graph G, and the goal is to find a matching containing as many edges as possible; that is, a maximum cardinality subset of the edges such that each vertex is adjacent to at most one edge of the subset. As each edge will cover exactly two vertices, this problem is equivalent to the task of finding a matching that covers as many vertices as possible.
Mariagevignette|Sculpture représentant un couple marié dans la Rome antique.vignette|Les Époux Arnolfini de Jan van Eyck.vignette|Mariage de Willem-Alexander et Máxima, 2002. Le mariage est une union conjugale contractuelle et/ou rituelle, à durée illimitée, déterminée ou indéterminée, reconnue et encadrée par une institution juridique ou religieuse qui en détermine les modalités. Le terme désigne à la fois la cérémonie rituelle, l'union qui en est issue et l'institution en définissant les règles.
Maximum weight matchingIn computer science and graph theory, the maximum weight matching problem is the problem of finding, in a weighted graph, a matching in which the sum of weights is maximized. A special case of it is the assignment problem, in which the input is restricted to be a bipartite graph, and the matching constrained to be have cardinality that of the smaller of the two partitions. Another special case is the problem of finding a maximum cardinality matching on an unweighted graph: this corresponds to the case where all edge weights are the same.
Mariage civilvignette|Mariage en Suisse (Albert Anker, 1887). Le mariage civil est un mariage officialisé par une autorité publique d'un État, à la différence du mariage coutumier et du mariage religieux. Selon les juridictions, il peut être obligatoirement l'union d'un couple d'un homme et d'une femme, s'étendre aux personnes de même sexe ou être polygame. Dans certains pays l'institution du mariage civil répond à une volonté de dégager le mariage de l'influence des institutions religieuses et s'inscrit dans le mouvement de séparation de l'Église et de l'État, qui débute au .
Mariage d'enfantLe mariage d’enfant ou mariage précoce désigne tout mariage officiel ou toute union non officialisée entre un enfant de moins de 18 ans et un adulte ou un autre enfant. Dans leur grande majorité, les mariages d'enfants sont l'union entre une jeune fille et un homme et ils reflètent les inégalités de genre. Bien que l'âge de la majorité civile et l'âge pour contracter un mariage correspondent fréquemment à 18 ans, ils peuvent varier selon les pays et par conséquent, l'âge requis pour se marier peut être inférieur ou supérieur à 18 ans.
Perfect matchingIn graph theory, a perfect matching in a graph is a matching that covers every vertex of the graph. More formally, given a graph G = (V, E), a perfect matching in G is a subset M of edge set E, such that every vertex in the vertex set V is adjacent to exactly one edge in M. A perfect matching is also called a 1-factor; see Graph factorization for an explanation of this term. In some literature, the term complete matching is used. Every perfect matching is a maximum-cardinality matching, but the opposite is not true.
Algorithme gloutonUn algorithme glouton (greedy algorithm en anglais, parfois appelé aussi algorithme gourmand, ou goulu) est un algorithme qui suit le principe de réaliser, étape par étape, un choix optimum local, afin d'obtenir un résultat optimum global. Par exemple, dans le problème du rendu de monnaie (donner une somme avec le moins possible de pièces), l'algorithme consistant à répéter le choix de la pièce de plus grande valeur qui ne dépasse pas la somme restante est un algorithme glouton.
Open marriageOpen marriage is a form of non-monogamy in which the partners of a dyadic marriage agree that each may engage in extramarital sexual relationships, without this being regarded by them as infidelity, and consider or establish an open relationship despite the implied monogamy of marriage. There are variant forms of open marriage such as swinging and polyamory, each with the partners having varying levels of input into their spouse's activities.
Fractional matchingIn graph theory, a fractional matching is a generalization of a matching in which, intuitively, each vertex may be broken into fractions that are matched to different neighbor vertices. Given a graph G = (V, E), a fractional matching in G is a function that assigns, to each edge e in E, a fraction f(e) in [0, 1], such that for every vertex v in V, the sum of fractions of edges adjacent to v is at most 1: A matching in the traditional sense is a special case of a fractional matching, in which the fraction of every edge is either 0 or 1: f(e) = 1 if e is in the matching, and f(e) = 0 if it is not.
Mariage de fait en common lawEn common law, le mariage de fait (common-law marriage, sui juris marriage, informal marriage, marriage by habit and repute ou marriage in fact) est un mode de conjugalité qu'on rencontre dans certains pays anglo-saxons. Originellement, le concept d'un « mariage de droit commun » est un mariage qui est considéré comme valable par les deux partenaires, mais n'a pas été officiellement enregistré avec un registre d'état ou religieux, ou célébré dans un service religieux formel.
Mariage chrétienLe mariage dans la tradition chrétienne est l'alliance d'un homme et d'une femme, pour former un couple et fonder une famille. La religion chrétienne formalise cette institution naturelle par un rite religieux (le sacrement de mariage) tout en l'inspirant (présentant un 'idéal' de communion spirituelle) et la règlementant dans le vécu des personnes concernées. De ce fait, des traditions différentes existent aujourd'hui dans les aires culturelles où les diverses branches du christianisme ont étendu leur influence.
Algorithme de KruskalEn informatique, l'algorithme de Kruskal est un algorithme de recherche d'arbre recouvrant de poids minimum (ARPM) ou arbre couvrant minimum (ACM) dans un graphe connexe non-orienté et pondéré. Il a été conçu en 1956 par Joseph Kruskal. On considère un graphe connexe non-orienté et pondéré : chaque arête possède un poids qui est un nombre qui représente le coût de cette arête. Dans un tel graphe, un arbre couvrant est un sous-graphe connexe sans cycle qui contient tous les sommets du graphe.
Algorithme de recherche best-firstLa recherche best-first (littéralement : le meilleur en premier) est un algorithme de recherche qui parcourt un graphe en explorant le nœud le plus "prometteur" selon une règle spécifique. Judea Pearl décrit la recherche best-first comme l'estimation de la qualité d'un nœud n par une "fonction heuristique d'évaluation qui, en général, peut dépendre de la description de n, de l'état d'arrivée, des informations amassées par l'algorithme au moment de l'évaluation et, surtout, de connaissances supplémentaires à propos du problème".
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Lexical definitionThe lexical definition of a term, also known as the dictionary definition, is the definition closely matching the meaning of the term in common usage. As its other name implies, this is the sort of definition one is likely to find in the dictionary. A lexical definition is usually the type expected from a request for definition, and it is generally expected that such a definition will be stated as simply as possible in order to convey information to the widest audience.
Circular definitionA circular definition is a type of definition that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characterising the term: pragmatic, lexicographic and linguistic. Circular definitions are related to Circular reasoning in that they both involve a self-referential approach. Circular definitions may be unhelpful if the audience must either already know the meaning of the key term, or if the term to be defined is used in the definition itself.
Court of SessionLa Court of Session est la cour suprême en Écosse pour le droit civil, même si un appel peut être porté auprès de la Cour suprême du Royaume-Uni. Elle est incluse dans le et est située au d'Édimbourg. Elle est à la fois un tribunal de première instance et une cour d'appel. Elle partage ses prérogatives avec les locales et il est laissé le choix de la cour au poursuivant. Toutefois, dans les faits, la Court of Session traite des affaires les plus complexes ou importantes.
Theoretical definitionA theoretical definition defines a term in an academic discipline, functioning as a proposal to see a phenomenon in a certain way. A theoretical definition is a proposed way of thinking about potentially related events. Theoretical definitions contain built-in theories; they cannot be simply reduced to describing a set of observations. The definition may contain implicit inductions and deductive consequences that are part of the theory. A theoretical definition of a term can change, over time, based on the methods in the field that created it.
