candidates.tex 2.97 KB
 Michael Banken committed Oct 16, 2017 1 2 3 \chapter{Candidates} \section{Types of optimization candidates} \subsection{Simply redundant inclusion}  Michael Banken committed Oct 16, 2017 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 \providecommand\myxscale{3.9} \providecommand\myyscale{2.2} \providecommand\myfontsize{\footnotesize} \begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize \node[thy] (bottom) {\begin{tabular}{l} \textsf{bottom}\\\hline ...\\\hline ... \end{tabular}}; \node[thy, above of = bottom] (middle) {\begin{tabular}{l} \textsf{middle}\\\hline ...\\\hline ... \end{tabular}}; \node[thy, above of = middle] (top) {\begin{tabular}{l} \textsf{top}\\\hline ...\\\hline ... \end{tabular}}; \draw[include] (bottom) -- (middle); \draw[include, bend left] (bottom) edge (top); \draw[include] (middle) -- (top); \end{tikzpicture}  Michael Banken committed Oct 16, 2017 27 28 \subsection{Superfluous Inclusion} \subsubsection{Purely Superfluous Inclusion}  Michael Banken committed Oct 16, 2017 29 30 31 32 33 34 35 36 37 38 39 40 41 \begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize \node[thy] (bottom) {\begin{tabular}{l} \textsf{bottom}\\\hline X\\\hline ... \end{tabular}}; \node[thy, above of = bottom] (top) {\begin{tabular}{l} \textsf{top}\\\hline ...\\\hline no X \end{tabular}}; \draw[include] (bottom) -- (top); \end{tikzpicture}  Michael Banken committed Oct 16, 2017 42 \subsubsection{Partially Superfluous Inclusion}  Michael Banken committed Oct 16, 2017 43 \begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize  Michael Banken committed Oct 16, 2017 44 \node[thy] (bottom) {\begin{tabular}{l}  Michael Banken committed Oct 16, 2017 45  \textsf{bottom}\\\hline  Michael Banken committed Oct 16, 2017 46 47  X\\\hline ...  Michael Banken committed Oct 16, 2017 48  \end{tabular}};  Michael Banken committed Oct 16, 2017 49 \node[thy, above of = bottom] (middle) {\begin{tabular}{l}  Michael Banken committed Oct 16, 2017 50 51 52 53 54 55  \textsf{middle}\\\hline Y\\\hline ... \end{tabular}}; \node[thy, above of = middle] (top) {\begin{tabular}{l} \textsf{top}\\\hline  Michael Banken committed Oct 16, 2017 56 57  ...\\\hline X, but not Y  Michael Banken committed Oct 16, 2017 58  \end{tabular}};  Michael Banken committed Oct 16, 2017 59 60 61 62 63 64 65 66 \node[right of = bottom] (dots) {...}; \node[thy, right of = dots] (bottomn) {\begin{tabular}{l} \textsf{$bottom_n$}\\\hline $X_n$\\\hline ... \end{tabular}}; \draw[include] (bottom) -- (middle); \draw[include] (bottomn) -- (middle);  Michael Banken committed Oct 16, 2017 67 68 \draw[include] (middle) -- (top); \end{tikzpicture}  Michael Banken committed Oct 16, 2017 69 \section{Optimization cases}