Union-findthumb|Partition avec 8 classes (qui sont des singletons) obtenue avec MakeSet(1), ..., MakeSet(8).|255x255px thumb|Partition avec 3 classes disjointes obtenue après Union(1, 2), Union(3, 4), Union(2, 5), Union(1, 6) et Union(2, 8).|255x255px En informatique, union-find est une structure de données qui représente une partition d'un ensemble fini (ou de manière équivalente une relation d'équivalence).
Partition d'un entierEn mathématiques, une partition d'un entier (parfois aussi appelée partage d'un entier) est une décomposition de cet entier en une somme d'entiers strictement positifs (appelés parties ou sommants), à l'ordre près des termes (à la différence du problème de composition tenant compte de l'ordre des termes). Une telle partition est en général représentée par la suite des termes de la somme, rangés par ordre décroissant. Elle est visualisée à l'aide de son diagramme de Ferrers, qui met en évidence la notion de partition duale ou conjuguée.
Théorème des quatre couleursLe théorème des quatre couleurs indique qu'il est possible, en n'utilisant que quatre couleurs différentes, de colorier n'importe quelle carte découpée en régions connexes, de sorte que deux régions adjacentes (ou limitrophes), c'est-à-dire ayant toute une frontière (et non simplement un point) en commun reçoivent toujours deux couleurs distinctes. L'énoncé peut varier et concerner, de manière tout à fait équivalente, la coloration des faces d'un polyèdre ou celle des sommets d'un graphe planaire, en remplaçant la carte par un graphe dont les sommets sont les régions et les arêtes sont les frontières entre régions.
Plan en blocsEn mathématiques combinatoires, un plan en blocs est un ensemble, muni d'une famille de sous-ensembles (avec des répétitions possibles) dont les membres satisfont un ensemble de propriétés considérées dans une application particulière. Les applications proviennent de nombreux domaines, notamment les plans d'expériences, la géométrie finie, la chimie physique, les tests de logiciels, la cryptographie et la géométrie algébrique.
Maille (théorie des graphes)En théorie des graphes, la maille d'un graphe est la longueur du plus court de ses cycles. Un graphe acyclique est généralement considéré comme ayant une maille infinie (ou, pour certains auteurs, une maille de −1). La maille d'un graphe est la longueur du plus court de ses cycles. Image:Petersen graph blue.svg|Le [[graphe de Petersen]] a une maille de 5 et est une cage. Image:Heawood_Graph.svg|Le [[graphe de Heawood]] a une maille de 6 et est une cage. Image:Frucht_graph.neato.
Principe des puissances virtuellesLe principe des puissances virtuelles ou PPV est un principe fondamental en mécanique, qui postule un équilibre de puissance dans un mouvement virtuel, il s'agit d'une formulation duale du principe fondamental de la dynamique ou PFD. Il permet de retrouver certains principes ou théorèmes comme le principe fondamental de la dynamique et le théorème de l'énergie cinétique, et constitue aussi la base d'une démarche de modélisation pour les milieux continus (théorie du premier gradient, théorie du second gradient).
Claw-free graphIn graph theory, an area of mathematics, a claw-free graph is a graph that does not have a claw as an induced subgraph. A claw is another name for the complete bipartite graph K1,3 (that is, a star graph comprising three edges, three leaves, and a central vertex). A claw-free graph is a graph in which no induced subgraph is a claw; i.e., any subset of four vertices has other than only three edges connecting them in this pattern. Equivalently, a claw-free graph is a graph in which the neighborhood of any vertex is the complement of a triangle-free graph.
Graph rewritingIn computer science, graph transformation, or graph rewriting, concerns the technique of creating a new graph out of an original graph algorithmically. It has numerous applications, ranging from software engineering (software construction and also software verification) to layout algorithms and picture generation. Graph transformations can be used as a computation abstraction. The basic idea is that if the state of a computation can be represented as a graph, further steps in that computation can then be represented as transformation rules on that graph.
Hydrodynamique des particules lisséesL'hydrodynamique des particules lissées, en anglais Smoothed particle hydrodynamics (SPH), est une méthode de calcul utilisée pour simuler la mécanique des milieux continus, comme la mécanique des solides ou les écoulements de fluides. Elle a été développée par Gingold, Monaghan et Lucy en 1977, initialement pour des problèmes d'astrophysique. Elle a été utilisée dans de nombreux domaines de recherche, incluant l'astrophysique, la balistique, la volcanologie et océanologie.
Formule de CayleyEn mathématiques, et plus particulièrement en théorie des graphes, la formule de Cayley est un résultat sur les arbres du théoricien Arthur Cayley. Elle affirme le résultat suivant : Note : on parle aussi d'arbres décorés ou étiquetés pour dire que l'on identifie les sommets avec des couleurs, des nombres, etc. On parle aussi d'arbres de Cayley. Pour l'exemple illustré ci-contre, on obtient les résultats suivants, en appliquant le théorème : 1 arbre avec 2 sommets, 3 arbres avec 3 sommets, 16 arbres avec 4 sommets.
