summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2015-12-05 10:31:56 +0100
committerDavid A. Madore <david+git@madore.org>2015-12-05 10:31:56 +0100
commit611ffd45dfa0a7da2f81d686071b5c16e6f803c1 (patch)
tree07b2926f918f916cb0df81c7ac761ff7e0af00d8
parent262445a207ee025f145fbd0c89d2bd762ecf62ad (diff)
downloadmitro206-611ffd45dfa0a7da2f81d686071b5c16e6f803c1.tar.gz
mitro206-611ffd45dfa0a7da2f81d686071b5c16e6f803c1.tar.bz2
mitro206-611ffd45dfa0a7da2f81d686071b5c16e6f803c1.zip
TODO of sorts.
-rw-r--r--notes-mitro206.tex5
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 :