diff options
| author | David A. Madore <david+git@madore.org> | 2015-12-05 10:31:56 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2015-12-05 10:31:56 +0100 |
| commit | 611ffd45dfa0a7da2f81d686071b5c16e6f803c1 (patch) | |
| tree | 07b2926f918f916cb0df81c7ac761ff7e0af00d8 | |
| parent | 262445a207ee025f145fbd0c89d2bd762ecf62ad (diff) | |
| download | mitro206-611ffd45dfa0a7da2f81d686071b5c16e6f803c1.tar.gz mitro206-611ffd45dfa0a7da2f81d686071b5c16e6f803c1.tar.bz2 mitro206-611ffd45dfa0a7da2f81d686071b5c16e6f803c1.zip | |
TODO of sorts.
| -rw-r--r-- | notes-mitro206.tex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/notes-mitro206.tex b/notes-mitro206.tex index 2ccd9ff..d5a07cf 100644 --- a/notes-mitro206.tex +++ b/notes-mitro206.tex @@ -823,6 +823,11 @@ chaque $i$ le sommet $x_{i+1}$ est atteint par une arête de source $x_i$, est appelé la \textbf{partie bien-fondée} du graphe. \end{defn} +On peut remarquer que la relation d'accessibilité sur $G$ est +antisymétrique (i.e., est une relation d'ordre partiel) si et +seulement si $G$ est acyclique. \textcolor{red}{Détailler + discuter + si $G$ est bien-fondé.} + \begin{prop}[induction bien-fondée]\label{well-founded-induction} Pour un graphe orienté $G$, les affirmations suivantes sont équivalentes : |