Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
Concept
Multi-arbre
Résumé
En combinatoire et en théorie des ordres, le terme multi-arbre peut décrire l'une des deux structures suivantes : un graphe orienté acyclique dans lequel l'ensemble des sommets accessibles depuis un nœud est toujours un arbre, ou un ensemble partiellement ordonné dans lequel il n'existe pas quatre éléments a, b, c, et d qui forment un sous-ordre en diamant, avec et mais où b et c sont incomparables (un tel ensemble ordonné est aussi appelé diamond-free poset (ou ordre partiel sans diamant).
Dans un graphe orienté acyclique, si l'ensemble des sommets accessibles depuis n'importe quel sommet induit un arbre, ou de manière équivalente, s'il existe au plus un chemin orienté entre n'importe quelle paire de sommets, alors sa relation d'accessibilité est un ordre partiel sans diamant. Réciproquement, dans un ordre partiel, s'il est sans diamant alors sa réduction transitive induit un graphe orienté acyclique dans lequel l'ensemble des sommets accessibles depuis n'importe quel sommet induit un arbre.
Une famille d'ensembles est une famille F d'ensemble pour lequel l'ordre d'inclusion est sans diamant. Notons la plus grande famille de parties sans diamant d'un ensemble à n éléments, on a
et il est conjecturé que la limite est 2.
Les multi-arbres peuvent être utilisés pour représenter des taxonomies multiples chevauchantes sur un même ensemble.
Si un arbre généalogique contient plusieurs mariages entre des membres de deux familles distinctes mais pas de mariages entre des membres de la même famille, il prend la forme d'un multi-arbre. Dans le contexte de la théorie de la complexité, les multi-arbres ont aussi été appelés « graphes fortement non-ambigus » ou « mangroves » ; ils servent à modéliser les algorithmes non déterministes où il existe au plus un chemin de calcul qui connecte deux états.
Un polyarbre est un graphe orienté acyclique obtenu en orientant chaque arête d'un arbre (théorie des graphes) ; c'est un cas particulier d'un multi-arbre.
L'ensemble des nœuds connecté à un nœud donné u dans un multi-arbre est une arborescence.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.