candidates.tex 2.67 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 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 \begin{tikzpicture}[xscale=\myxscale,yscale=\myyscale, node distance=3cm]\myfontsize \node[thy] (bottom1) {\begin{tabular}{l} \textsf{bottom}\\\hline ...\\\hline X, but not Y \end{tabular}}; \node[thy, above of = bottom1] (middle) {\begin{tabular}{l} \textsf{middle}\\\hline Y\\\hline ... \end{tabular}}; \node[thy, above of = middle] (top) {\begin{tabular}{l} \textsf{top}\\\hline X\\\hline ... \end{tabular}}; \draw[include] (bottom) -- (middle); \draw[include] (middle) -- (top); \end{tikzpicture}  Michael Banken committed Oct 16, 2017 62 \section{Optimization cases}