From 9d8e4a43206d8c8eb9c976da38b84359df5b81cc Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Sat, 21 Feb 2015 16:46:08 -0500
Subject: Add Schrijver reference for bijective basis exchange

---
 greedy/main.tex | 3 ++-
 greedy/sub.bib  | 7 +++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

(limited to 'greedy')

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}
+}
-- 
cgit v1.2.3-70-g09d2