詳しくSDP の双対定理についての証明過程が載っている本

SDP の理論展開において、双対定理は重要であるが、いくつかの証明などを組み合わせて証明する必要がある。
この証明の過程をフローチャートでまとめてあるのが、

Gartner, Matousek,
Approximation Algorithms and Semidefinite Programming,
Springer, 2012

の Section 4.8 The Largest Eigenvalue の Figure 4.5 (P69) である。
この図を見ると、どのような証明が組み合わさって双対定理が示されているかが分かりやすくなっている。