Utilisateur:Xmlizer/Théorie des graphes

Un article de Wikipédia, l'encyclopédie libre.

[modifier] Théorie des graphes

[modifier] Définition

[modifier] Graphe

Soit $\mathcal G$ un graphe orienté.
$\mathcal G$ est composé d'un ensemble fini $U_{\mathcal G}$ de nœuds $N$ et d'un ensemble fini $V_{\mathcal G}$ de liens $L$ .
Un lien $L$ est défini comme un couple d'identifiants distincts $(J d, J f)$ .
Un nœud $N$ est défini par un identifiant $J N$ et une liste ordonnée $E N$ de liens $L = (J d, J f)$ de $V_{\mathcal G}$ , tel que $J d = J N$ .

[modifier] Lien résolu

On dit qu'un lien $L = (J N, J f)$ de $E N$ est résolu si et seulement si il existe $N f$ tel que l'identifiant de $N f = J f$ .

[modifier] Degré

On note degré d'un nœud $N$ , $δ(N)$ , le nombre de liens distincts de $E (N)$ .
On appelle degré résolu d'un nœud $N$ , $ρ(N)$ , le nombre de liens distincts résolus de $E (N)$ .

[modifier] Accessibilité

On appelle accessibilité d'un nœud $N = (J N, E N)$ , $α(N)$ , le nombre de liens $L = (J N, J f)$ de $V_{\mathcal G}$ tel que $J f = J N$ .

[modifier] Nœud terminal

On dit que N est un nœud terminal si $ρ(N) = 0$ .

[modifier] Nœud orphelin

On dit que N est un nœud orphelin si $α(N) = 0$ .

[modifier] Chaîne et sous-chaîne

On dit que $C = (N_0, N_1, \dots, N_p)$ est une chaîne si $N 0$ est un nœud et que pour tout $0 \le k < p$ , il existe un lien résolu $L = (J_{N_k}, J_{N_{k + 1}})$ dans $E_{N_k}$ .
Dans ce cas, la longueur $w$ de la chaîne $C$ est $w (C) = p$ .
On défini simultanément deux opérateurs sur les chaînes :

fst : l'opérateur $\operatorname{fst}$ (de first en anglais) récupère le premier élement de la chaîne ; i.e. $\operatorname{fst}(C) = N_0$ .
lst : l'opérateur $\operatorname{lst}$ (de last en anglais) récupère le dernier élement de la chaîne ; i.e. $\operatorname{lst}(C) = N_p$ .

On dit que $C'$ est une sous-chaîne de $C = (N_0, N_1, \dots, N_p)$ si il existe $0 \le a \le b \le p$ tel que $C' = (N_a, \dots, N_b)$ .

[modifier] Cycle et boucle

On dit qu'une chaîne $C$ est un cycle $Ω$ si $\operatorname{fst}(C) = \operatorname{lst}(C)$ .
Un cycle $\Omega = (N_0, N_1, \dots, N_{p - 1}, N_0)$ est simple si pour tout $0 \le k < l < p$ , $N_k \ne N_l$ .
On dit qu'une chaîne $C$ est sans boucle si aucune sous-chaîne $C'$ de $C$ n'est un cycle.

[modifier] Distance

[modifier] Distance orientée

On appelle distance orientée $d +$ entre deux nœuds $N A$ et $N B$ la valeur telle que :

$d^+(N_A, N_B) = \min_{C \in \mathcal G}\{w(C) / \operatorname{fst}(C) = N_A \land \operatorname{lst}(C) = N_B\}$

Par conséquent :

$d + (N, N) = 0$ , pour tout $N$
$d^+(N_A, N_B) = \infin$ , s'il n'existe aucune chaîne reliant $N A$ à $N B$

Attention : $d +$ n'est pas une distance au sens mathématique, car elle ne vérifie pas l'axiome de symétrie.

[modifier] Distance inversée

On appelle distance inversée $d -$ entre deux nœuds $N A$ et $N B$ la valeur telle que :

$d^-(N_A, N_B) = \min_{C \in \mathcal G}\{w(C) / \operatorname{lst}(C) = N_A \land \operatorname{fst}(C) = N_B\}$

Par conséquent :

$d - (N, N) = 0$ , pour tout $N$
$d^-(N_A, N_B) = \infin$ , s'il n'existe aucune chaîne reliant $N A$ à $N B$

Attention : $d -$ n'est pas une distance au sens mathématique, car elle ne vérifie pas l'axiome de symétrie.

[modifier] Distance complète

On appelle distance complète, ou simplement distance $d$ entre deux nœuds $N A$ et $N B$ la valeur telle que :

d (N A, N B) = min(d + (N A, N B), d - (N A, N B))

On a alors :

$d (N, N) = 0$ , pour tout $N$
$d(N_A, N_B) = \infin$ , s'il n'existe aucune chaîne reliant $N A$ à $N B$ , ou $N B$ à $N A$
$d (N A, N B) = d (N B, N A)$ , pour tout $N A, N B$ (symétrie)

[modifier] Voisinage

[modifier] Voisinage orienté

On dit de $N_d = (J_{N_d}, E_{N_d})$ qu'il est dans le voisinage orienté $V + (N)$ de $N = (J N, E N)$ , s'il existe une chaîne $C$ telle que $f s t (C) = N$ et $l s t (C) = N d$ .

[modifier] Voisinage inversé

On dit de $N_g = (J_{N_g}, E_{N_g})$ qu'il est dans le voisinage inversé $V - (N)$ de $N = (J N, E N)$ , s'il existe une chaîne $C$ telle que $f s t (C) = N g$ et $l s t (C) = N$ .

[modifier] Voisinage complet

On dit de $N = (J N, E N)$ qu'il est dans le voisinage complet, ou simplement voisinage $V (N 0)$ de $N_0 = (J_{N_0}, E_{N_0})$ si $N$ est soit dans $V + (N)$ (voisinage orienté) ou dans $V - (N)$ (voisinage inversé).

[modifier] Îlot

[modifier] Îlot orienté

Un îlot orienté $W +$ est un sous-ensemble de nœud de $U_{\mathcal G}$ tel que :

pour tout $N a$ et $N b$ de $W +$ , $N a$ appartient à $V + (N b)$ ou $N b$ appartient à $V + (N a)$ .
soit $N x$ de $\mathcal G$ ; s'il existe $N$ dans $W +$ , tel que $N x$ appartient à $V + (N)$ , alors $N x$ appartient à $W +$ .
pour tout $N x$ de $\mathcal G$ , tel que $N x$ n'appartient pas à $W +$ , quelque soit $N$ dans $W +$ , $N x$ n'appartient pas à $V + (N)$ .

On en déduit que pour tout couple de nœuds $(N A, N B)$ pris dans $W +$ , il existe une chaîne $C$ telle que $\operatorname{fst}(C) = N_A$ et $\operatorname{lst}(C) = N_B$ ou alors $\operatorname{fst}(C) = N_B$ et $\operatorname{lst}(C) = N_A$ .
La décomposition en îlot orienté d'un graphe $\mathcal G$ est unique et est un recouvrement complet de $U_{\mathcal G}$ .
L'ensemble des îlots orientés $E(W^+) = \{W^+_i\}$ forme donc une partition de $U_{\mathcal G}$ .

[modifier] Îlot inversé

Un îlot inversé $W -$ est un sous-ensemble de nœud de $U_{\mathcal G}$ tel que :

pour tout $N a$ et $N b$ de $W -$ , $N a$ appartient à $V - (N b)$ ou $N b$ appartient à $V - (N a)$ .
soit $N x$ de $\mathcal G$ ; s'il existe $N$ dans $W -$ , tel que $N x$ appartient à $V - (N)$ , alors $N x$ appartient à $W -$ .
pour tout $N x$ de $\mathcal G$ , tel que $N x$ n'appartient pas à $W -$ , quelque soit $N$ dans $W -$ , $N x$ n'appartient pas à $V - (N)$ .

On en déduit que pour tout couple de nœuds $(N A, N B)$ pris dans $W -$ , il existe une chaîne $C$ telle que $\operatorname{fst}(C) = N_B$ et $\operatorname{lst}(C) = N_A$ ou alors $\operatorname{fst}(C) = N_B$ et $\operatorname{lst}(C) = N_A$ .
La décomposition en îlot inversé d'un graphe $\mathcal G$ est unique et est un recouvrement complet de $U_{\mathcal G}$ .
L'ensemble des îlots inversés $E(W^-) = \{W^-_i\}$ forme donc une partition de $U_{\mathcal G}$ .

[modifier] Îlot complet

Un îlot complet, ou plus simplement îlot $W$ est un sous-ensemble de nœud de $U_{\mathcal G}$ tel que :

pour tout $N a$ et $N b$ de $W$ , $N a$ appartient à $V (N b)$ .
soit $N x$ de $\mathcal G$ ; s'il existe $N$ dans $W$ , tel que $N x$ appartient à $V (N)$ , alors $N x$ appartient à $W$ .
pour tout $N x$ de $\mathcal G$ , tel que $N x$ n'appartient pas à $W$ , quelque soit $N$ dans $W$ , $N$ n'appartient pas à $V (N x)$ .

On en déduit que pour tout couple de nœuds $(N A, N B)$ pris dans $W$ , il existe une chaîne $C$ telle que $\operatorname{fst}(C) = N_A$ et $\operatorname{lst}(C) = N_B$ ou alors $\operatorname{fst}(C) = N_B$ et $\operatorname{lst}(C) = N_A$ .
La décomposition en îlot complet d'un graphe $\mathcal G$ est unique et est un recouvrement complet de $U_{\mathcal G}$ .
L'ensemble des îlots complets $E (W) = {W i}$ forme donc une partition de $U_{\mathcal G}$ .

[modifier] Lemme des îlots

Lemme des îlots :
    Les décomposition en îlot orienté, décomposition en îlot inversé 
et décomposition en îlot complet forment une unique décomposition que
l'on nommera simplement décomposition en îlot.

[modifier] Distance sur un îlot

Comme entre chaque nœud d'un îlot orienté (respectivement inversé), il existe par définition au moins une chaîne les reliants dans un sens, on en deduit que pour tout couple de nœud $(N A, N B)$ pris dans un îlot orienté (respectivement inversé), au moins une des valeurs $d + (N A, N B)$ (respectivement $d - (N A, N B)$ ) et $d + (N B, N A)$ (respectivement $d - (N B, N A)$ ) est un entier fini.

Comme entre chaque nœud d'un îlot orienté, il existe une chaîne les reliants, on en deduit que pour tout couple de nœud $(N A, N B)$ pris dans un îlot orienté, $d (N A, N B) = d (N B, N A)$ et est un entier fini.

[modifier] Diamètre d'un îlot

Le diamètre d'un îlot $Δ(W)$ (ou $Δ + (W +)$ , ou $Δ - (W -)$ ) est par définition :

$\Delta(W) = \max_{N_A, N_B \in W}\{d(N_A, N_B)\}$

$\Delta^+(W^+) = \max_{N_A, N_B \in W^+}\{d^+(N_A, N_B)\}$

$\Delta^-(W^-) = \max_{N_A, N_B \in W^-}\{d^-(N_A, N_B)\}$

Le diamètre étendu d'un îlot $Δ' + (W +)$ (ou $Δ' - (W -)$ )

$\Delta'^+(W^+) = \max_{N_A, N_B \in W^+}\{\min(d^+(N_A, N_B), d^+(N_B, N_A))\}$

$\Delta'^-(W^-) = \max_{N_A, N_B \in W^-}\{\min(d^-(N_A, N_B), d^-(N_B, N_A))\}$

Comme $W$ , $W +$ et $W -$ sont des ensembles finis, on a par construction

$Δ(W)$ est nécessairement un entier fini
$Δ' + (W +)$ est nécessairement un entier fini
$Δ' - (W -)$ est nécessairement un entier fini
$Δ + (W +)$ peut être infini
$Δ' - (W -)$ peut être infini

[modifier] Rayon d'un îlot

Le rayon d'un îlot $r (W)$ (ou $r + (W +)$ , ou $r - (W -)$ ) est par définition :

$r(W) = \min_{N \in W}\{\max_{N' \in W}(d(N, N'))\}$

$r^+(W^+) = \min_{N \in W^+}\{\max_{N' \in W^+}\{d^+(N, N')\}\}$

$r^-(W^-) = \min_{N \in W^-}\{\max_{N' \in W^-}\{d^-(N, N')\}\}$

Le rayon étendu d'un îlot $r' + (W +)$ (ou $r' - (W -)$

$r'^+(W^+) = \min_{N \in W^+}\{\max_{N' \in W^+}\{\min(d^+(N, N'), d^+(N', N))\}\}$

$r'^-(W^-) = \min_{N \in W^-}\{\max_{N' \in W^-}\{\min(d^-(N, N'), d^-(N', N))\}\}$

Comme $W$ , $W +$ et $W -$ sont des ensembles finis, on a par construction

$r (W)$ est nécessairement un entier fini
$r' + (W +)$ est nécessairement un entier fini
$r' - (W -)$ est nécessairement un entier fini
$r + (W +)$ peut être infini
$r - (W -)$ peut être infini

Attention : Le rayon d'un îlot a très peu de rapport avec le diamètre d'un îlot.

[modifier] Nœuds médians d'un îlot

L'ensemble des nœuds médians d'un îlot $Λ(W)$ (ou $Λ + (W +)$ , ou $Λ - (W -)$ est par définition :

$\Lambda(W) = \{N \in W / \max_{N' \in W}\{d(N, N')\} = r(W)\}$

$\Lambda^+(W^+) = \empty$ si $r^+(W^+) = \infin$

$\Lambda^+(W^+) = \{N \in W^+ / \max_{N' \in W^+}\{d^+(N, N')\} = r^+(W^+)\}$ sinon

$\Lambda^-(W^-) = \empty$ si $r^-(W^-) = \infin$

$\Lambda^-(W^-) = \{N \in W^- / \max_{N' \in W^-}\{d^-(N, N')\} = r^-(W^-)\}$ sinon

L'ensemble étendu des nœuds médians d'un îlot $Λ' + (W +)$ (ou $Λ;' - (W -)$

$\Lambda'^+(W^+) = \{N \in W^+ / \max_{N' \in W^+}\{\min(d^+(N, N'), d^+(N', N))\} = r'^+(W^+)\}$

$\Lambda'^-(W^-) = \{N \in W^- / \max_{N' \in W^-}\{\min(d^-(N, N'), d^-(N', N))\} = r'^-(W^-)\}$

Comme $W$ , $W +$ et $W -$ sont des ensembles finis, on a par construction

$Λ(W)$ est un ensemble fini non vide
$Λ' + (W +)$ est un ensemble fini non vide
$Λ' - (W -)$ est un ensemble fini non vide
$Λ + (W +)$ est un ensemble fini potentiellement vide
$Λ - (W -)$ est un ensemble fini potentiellement vide

[modifier] Anomalies

[modifier] Calculs intéressants

[modifier] Îlots

[modifier] Nombres d'îlots

Il est interessant de définir le nombre d'îlots d'un graphe, pour déterminer les zones non connexes.

[modifier] Diamètre, rayon et nœuds médians des îlots

Ce sont des informations très interessantes pour déterminer la connexité d'un îlot, car on obtient de bonnes estimation du nombre de lien à traverser pour passer d'un nœud à l'autre dans un graphe.

See also ebooksgratis.com: no banners, no cookies, totally FREE.

Utilisateur:Xmlizer/Théorie des graphes

Un article de Wikipédia, l'encyclopédie libre.

Sommaire

[modifier] Théorie des graphes

[modifier] Définition

[modifier] Graphe

[modifier] Lien résolu

[modifier] Degré

[modifier] Accessibilité

[modifier] Nœud terminal

[modifier] Nœud orphelin

[modifier] Chaîne et sous-chaîne

[modifier] Cycle et boucle

[modifier] Distance

[modifier] Distance orientée

[modifier] Distance inversée

[modifier] Distance complète

[modifier] Voisinage

[modifier] Voisinage orienté

[modifier] Voisinage inversé

[modifier] Voisinage complet

[modifier] Îlot

[modifier] Îlot orienté

[modifier] Îlot inversé

[modifier] Îlot complet

[modifier] Lemme des îlots

[modifier] Distance sur un îlot

[modifier] Diamètre d'un îlot

[modifier] Rayon d'un îlot

[modifier] Nœuds médians d'un îlot

[modifier] Anomalies

[modifier] Calculs intéressants

[modifier] Îlots

[modifier] Nombres d'îlots

[modifier] Diamètre, rayon et nœuds médians des îlots

Views

Navigation

Contribuer

Rechercher