Design combinatoireLa théorie du design combinatoire est une partie des mathématiques combinatoires ; elle traite de l'existence, de la construction et des propriétés de systèmes d'ensembles finis dont les arrangements satisfont certains concepts d'équilibre et/ou de symétrie. Ces concepts sont assez imprécis pour qu'une large gamme d'objets puisse être considérée comme relevant de ces notions. Parfois, cela peut concerner la taille des intersections comme dans les plans en blocs, d'autres fois on est intéressé par la disposition des entrées dans un tableau comme dans les grilles de sudoku.
Système de SteinerEn mathématiques, et plus particulièrement en combinatoire, un système de Steiner (nommé ainsi d'après Jakob Steiner) est un type de design combinatoire. Plus précisément, un système de Steiner de paramètres t, k, n, noté S(t,k,n), est constitué d'un ensemble S à n éléments, et d'un ensemble de sous-ensembles de S à k éléments (appelés blocs), ayant la propriété que tout sous-ensemble de S à t éléments est contenu dans un bloc et un seul (cette définition moderne généralise celle de Steiner, demandant en plus que k = t + 1).
Plan affine (structure d'incidence)Dans une approche axiomatique de la géométrie, il est possible de définir le plan comme une structure d'incidence, c'est-à-dire la donnée d'objets primitifs, les points et les droites (qui sont certains ensembles de ces points) et d'une relation, dite d'incidence, entre point et droite (qui est la relation d'appartenance du point à la droite).
Plan de Fanothumb|Une représentation du plan de Fano (les six segments et le cercle représentent les 7 droites). En géométrie projective finie, le plan de Fano, portant le nom du mathématicien Gino Fano, est le plus petit plan projectif fini, c'est-à-dire celui comportant le plus petit nombre de points et de droites, à savoir 7 de chaque. C'est le seul plan projectif (au sens des axiomes d'incidence) de 7 points, et c'est le plan projectif sur le corps fini à deux éléments.
Incidence geometryIn mathematics, incidence geometry is the study of incidence structures. A geometric structure such as the Euclidean plane is a complicated object that involves concepts such as length, angles, continuity, betweenness, and incidence. An incidence structure is what is obtained when all other concepts are removed and all that remains is the data about which points lie on which lines. Even with this severe limitation, theorems can be proved and interesting facts emerge concerning this structure.
Matrice de HadamardUne matrice de Hadamard est une matrice carrée dont les coefficients sont tous 1 ou –1 et dont les lignes sont toutes orthogonales entre elles. Le nom retenu pour ces matrices rend hommage au mathématicien français Jacques Hadamard. Des exemples de telles matrices avaient été donnés par James Joseph Sylvester. Pour une matrice d'ordre , la propriété d'orthogonalité des colonnes peut également s'écrire sous la forme où In est la matrice identité d'ordre et t est la matrice transposée de .
Matrice binaireUne matrice binaire est une matrice dont les coefficients sont soit 0, soit 1. En général ces coefficients sont les nombres de l'algèbre de Boole dans laquelle on appelle B l'ensemble constitué de deux éléments appelés valeurs de vérité {VRAI, FAUX}. Cet ensemble est aussi noté B = {1, 0} ou B = {⊤, ⊥}. On privilégie souvent la notation B = {1, 0}. Quand on programme des algorithmes utilisant ces matrices, la notation {VRAI, FAUX} peut coexister avec la notation {1, 0} car de nombreux langages acceptent ce polymorphisme.
Géométrie finieUne géométrie finie est un système géométrique dont les points sont en nombre fini. La géométrie euclidienne usuelle n'est pas finie, une droite euclidienne possédant une infinité de points. Une géométrie basée sur les images affichées sur un écran d'ordinateur, où les pixels sont considérés comme des points, serait une géométrie finie. Bien qu'il existe de nombreux systèmes que l'on pourrait appeler des géométries finies, on porte principalement l'attention sur les espaces projectifs et affines finis en raison de leur régularité et de leur simplicité.
Structure d'incidencevignette| Exemples de structures d'incidence: Exemple 1: Points et droites du plan euclidien Exemple 2: Points et cercles Exemple 3: Structure définie par une matrice d'incidence. En mathématiques, une structure d'incidence est toute composition de deux types d'objets dans le plan euclidien : des points ou l'équivalent de points et des droites ou l'équivalent de droites et d'une seule relation possible entre ces types, les autres propriétés étant ignorées et la structure pouvant ainsi se représenter par une matrice.
Matrice d'incidenceEn mathématiques, et plus particulièrement en théorie des graphes, la matrice d'incidence d'un graphe est une matrice qui décrit le graphe en indiquant quels liens arrivent sur quels sommets. La matrice d'incidence est une matrice n x p, où n est le nombre de sommets du graphe et p est le nombre de liens (arêtes ou arcs). Cette matrice est définie de deux façons différentes selon que le graphe est orienté ou non orienté.
Carré gréco-latinUn 'carré gréco-latin' ou carré eulérien d'ordre n, sur deux ensembles G et L de chacun n symboles, est un tableau carré de n lignes et n colonnes, contenant les n couples de , et où toute ligne et toute colonne contient exactement une fois chaque élément de L (en première position dans l'un des n couples) et chaque élément de G (en seconde position). Il s'agit de la superposition de deux carrés latins orthogonaux l'un à l'autre. On dit aussi « carré bilatin ».
Blocking (statistics)In the statistical theory of the design of experiments, blocking is the arranging of experimental units that are similar to one another in groups (blocks). Blocking can be used to tackle the problem of pseudoreplication. Blocking reduces unexplained variability. Its principle lies in the fact that variability which cannot be overcome (e.g. needing two batches of raw material to produce 1 container of a chemical) is confounded or aliased with a(n) (higher/highest order) interaction to eliminate its influence on the end product.
Carré latinvignette|Example of TAQ algorithm Un carré latin est un tableau carré de n lignes (donc de n colonnes) remplies de n éléments distincts dont chaque ligne et chaque colonne ne contient qu'un seul exemplaire. L'exemple historique du carré latin est le carré Sator ; la construction de telles curiosités combinatoires se transpose facilement à l'arithmétique en substituant un nombre à une lettre : la plupart du temps, les n éléments utilisés sont les entiers compris entre 0 et n-1.
Problème des 15 écolièresvignette|upright=2| Publication originale du problème. À gauche la couverture du journal, à droite l'énoncé du problème : Query VI. En mathématiques récréatives, le problème des 15 écolières est un problème formulé par Thomas Kirkman en 1850. Il s'énonce comme suit : « Fifteen young ladies in a school walk out three abreast for seven days in succession: it is required to arrange them daily, so that no two shall walk twice abreast.
Plan projectifEn mathématiques, la notion de plan projectif a deux sens distincts, suivant que l'approche est algébrique ou par les axiomes d'incidence entre pointe et droites, l'approche axiomatique donnant une notion qui s'avère un peu plus générale que l'approche algébrique. Un plan projectif en géométrie algébrique est une variété particulière : l'espace projectif de dimension 2. On peut associer un plan projectif à tout corps commutatif (corps des réels, corps des complexes, corps finis) ou non commutatif (quaternions.
Homogeneous relationIn mathematics, a homogeneous relation (also called endorelation) on a set X is a binary relation between X and itself, i.e. it is a subset of the Cartesian product X × X. This is commonly phrased as "a relation on X" or "a (binary) relation over X". An example of a homogeneous relation is the relation of kinship, where the relation is between people. Common types of endorelations include orders, graphs, and equivalences. Specialized studies of order theory and graph theory have developed understanding of endorelations.
Configuration (géométrie)En géométrie, une configuration est la donnée de plusieurs éléments géométriques (points, droites, cercles, plans, angles, vecteurs...) munis de relations associées (appartenance ou incidence, parallélisme, orthogonalité...) Le terme est présent dans l’enseignement des mathématiques en France depuis 1990 en remplacement parfois du mot « figure » mais en distinguant plus spécifiquement le rôle des éléments. Ainsi, on peut considérer par exemple la configuration du théorème de Thalès ou la configuration de Möbius.
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
Graphe de LeviEn mathématiques, et plus particulièrement en combinatoire, un graphe de Levi ou graphe d'incidence est un graphe biparti associé à une structure d'incidence. À partir d'un ensemble de points et de droites dans une géométrie d'incidence ou une configuration géométrique, on forme un graphe avec un sommet par point, un sommet par droite et une arête pour chaque incidence entre un point et une droite. Ces graphes sont nommés d'après Friedrich Wilhelm Levi, qui les a décrit dans des publications en 1942.
Family of setsIn set theory and related branches of mathematics, a collection of subsets of a given set is called a family of subsets of , or a family of sets over More generally, a collection of any sets whatsoever is called a family of sets, set family, or a set system. A family of sets may be defined as a function from a set , known as the index set, to , in which case the sets of the family are indexed by members of .
