title: Arête transversale
text: # Arête transversale
  
  En théorie des hypergraphes, une transversale est une partie des sommets qui rencontre toutes les arêtes d'un hypergraphe. L'ensemble des transversales est la [[Grille (mathématiques)|grille]]. C'est l'analogue du problème de couverture par sommets (vertex cover en anglais) chez les graphes.
  
  ## Définitions
  
  On rappelle qu'un hypergraphe ${\mathcal {H}}$ est un couple $(V,\,E)$ où $V$ est un ensemble de sommets, et $E$ une famille de sous-ensembles de $V$ qu'on nomme arêtes, ou hyperarêtes.
  
  Une transversale de ${\mathcal {H}}$ est un ensemble $T\subset V$ tel que pour toute arête $e$ appartenant à $E$, $T\cap e\neq \emptyset$.
  
  Le nombre de transversalité d'un hypergraphe ${\mathcal {H}}$ est la taille d'une plus petite transversale de ${\mathcal {H}}$. Il est souvent noté $\tau ({\mathcal {H}})$
  
  ## Exemple
  
  Par exemple, si ${\mathcal {H}}$ est l'hypergraphe défini par $V\,=\,\{1,2,3,4,5,6\}$ et $E\,=\,\{\{1,2,3\},\{1,4,5\},\{2,3,6\},\{4,5,6\}\}$, alors ${\mathcal {H}}$ admet plusieurs transversales de taille 2 (par exemple $\{1,6\}$ ou $\{2,4\}$) et aucune de taille 1 (car aucun sommet n'appartient à toutes les arêtes). Son nombre de transversalité vaut donc 2.
  
  ## Sommets redondants d'une transversale
  
  Un sommet d'une transversale est dit non-redondant s'il existe une arête de l'hypergraphe de départ dont l'intersection avec cette transversale est réduite au sommet considéré. Autrement dit, un sommet $i$ d'une transversale $X$ associée à un hypergraphe ${\mathcal {H}}(V,E)$ est non-redondant s'il vérifie : $\exists e\in E,e\cap X=\{i\}$
  
  Intuitivement, la redondance d'un sommet $i$ équivaut à la transversalité de l'ensemble de sommets $X\setminus \{i\}$. En effet, si $i$ est redondant, alors pour toute hyperarête $e$ : si $i\notin e\cap X$ alors $e\cap (X\setminus \{i\})=e\cap X\neq \emptyset$, et si $i\in e\cap X$ alors il existe un élément $j\neq i$ tel que $j\notin e\cap X$ car $i$ est redondant. On a alors $j\in e\cap (X\setminus \{i\})\neq \emptyset$. Réciproquement, si $X\setminus \{i\}$ est une transversale, alors $i$ est forcément redondant car s'il existait $e$ tel que $e\cap X=\{i\}$, alors on aurait $e\cap (X\setminus \{i\})=\emptyset$ et $X\setminus \{i\}$ ne serait pas une transversale.
  
  Une transversale $X$ est dite minimale (ou non-redondante) si aucun de ses sous-ensembles n'est également une transversale, ce qui est équivalent à dire qu'aucun de ses sommets n'est redondant. En effet : on a vu au paragraphe précédent que si l'un de ses sommets était redondant on disposerait d'un sous-ensemble transversal, et si l'on disposait d'un sous-ensemble $X'$ transversal on pourrait montrer que tout sommet de $X\setminus X'$ est redondant (la démonstration est très similaire à celle du paragraphe précédent).
  
  ## Hypergraphe transverse
  
  L'ensemble des transversales minimales associées à un hypergraphe forme un hypergraphe appelé hypergraphe transverse.
  
  Le calcul d'un hypergraphe transverse est faisable, à ce jour, en temps $O(N^{o(\log N)})$, $N$ étant le cardinal de l'ensemble de sommets.
  
  ### Algorithme
  
  **Pseudo-code**
  
  L'algorithme $MTMiner^,$ (pour Minimal Transversals Miner) permet de calculer les transversales minimales d'un hypergraphe donné.
  
  **Exemple d'exécution**
  
  Soit ${\mathcal {H}}$ l'hypergraphe formé des sommets $V=\{1,2,3,4,5\}$, avec pour arêtes $E=\{\{1,2,3\},\{1,4\},\{3,5\},\{4,5\}\}$. L'exécution se déroule comme suit :
  
  * $MT$ est initialisé à $\emptyset$ ;
  * $N_{1}$ est initialisé à $\{\{1\},\{2\},\{3\},\{4\},\{5\}\}$ ;
  * $W$ prendra successivement pour valeurs $\{1,2\},\{1,3\},\{1,4\},\{1,5\},\{2,3\},\{2,4\},\{2,5\},\{3,4\},\{3,5\}$ et $\{4,5\}$ :
     * $\{1,5\}$ et $\{3,4\}$ sont ajoutées à $MT$,
     * $\{1,3\},\{1,4\},\{2,4\},\{2,5\},\{3,5\}$ et $\{4,5\}$ sont ajoutées à $N_{2}$,
     * Les autres hyperarêtes sont redondantes ;
  * $N_{2}$ vaut $\{\{1,3\},\{1,4\},\{2,4\},\{2,5\},\{3,5\},\{4,5\}\}$ ;
  * $W$ prendra successivement pour valeurs $\{1,3,4\},\{2,4,5\},\{1,3,5\},\{1,2,4\},\{1,4,5\}$ et $\{3,4,5\}$ :
     * $\{2,4,5\}$ est ajoutée à $MT$,
     * Les autres hyperarêtes sont redondantes ;
  * $N_{3}=\emptyset$ ;
  * L'algorithme renvoie $MT=\{\{1,5\},\{3,4\},\{2,4,5\}\}$.
  
  Les transversales minimales de ${\mathcal {H}}$ sont bien $\{1,5\},\{3,4\}$ et $\{2,4,5\}$.
  
  