Add Schrijver reference for bijective basis exchange

2 files changed, 9 insertions, 1 deletions

diff --git a/greedy/main.tex b/greedy/main.tex
index e8fe309..b01a75b 100644
--- a/greedy/main.tex
+++ b/greedy/main.tex
@@ -464,7 +464,8 @@ This cardinality is the \emph{rank} of $M$.
     \end{displaymath}
 \end{proposition}
 
-\begin{proof} This is a standard result in matroid theory.
+\begin{proof} This is a standard result in matroid theory. See for example
+    Corollary 39.12a in \cite{schrijver2003}.
 \end{proof}
 
 \begin{remark}
diff --git a/greedy/sub.bib b/greedy/sub.bib
index 5adbe9b..e5e6e8c 100644
--- a/greedy/sub.bib
+++ b/greedy/sub.bib
@@ -96,3 +96,10 @@
   organization={Association for Computational Linguistics}
 }
 
+@book{schrijver2003,
+  title={Combinatorial optimization: polyhedra and efficiency},
+  author={Schrijver, Alexander},
+  volume={24},
+  year={2003},
+  publisher={Springer}
+}