From 40a536083f6008cc3e3a5ba47802851667feeb8e Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 27 Oct 2015 19:44:41 +0100
Subject: Correctness proofs

---
 Practical1/report/analysis.tex | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

(limited to 'Practical1/report/analysis.tex')

diff --git a/Practical1/report/analysis.tex b/Practical1/report/analysis.tex
index 32c3f8e..d796f96 100644
--- a/Practical1/report/analysis.tex
+++ b/Practical1/report/analysis.tex
@@ -40,12 +40,24 @@ This function is a simple case distinction. Let's therefore consider the complex
             & $T_{\ms}(n-3) + T_{\ms^2}(n-4,4)$
             & In the first case at least three vertices removed, in the second case four, and at most four to choose two from
     \end{tabular}
-    \caption{Worst-case complexity analysis of the different cases of $\ms^1$}
+    \caption{Worst-case time complexity analysis of the different cases in \autoref{alg:ms1}}
     \label{tab:analysis-ms1}
 \end{table}
 
 \subsection{$\ms^2$: \autoref{alg:ms2}}
 \label{sec:analysis:ms2}
+Also this is a simple case distinction. Let's again put the different cases in a table, along with their line numbers. See \autoref{tab:analysis-ms2}.
+
+\begin{table}[h]
+    \centering
+    \renewcommand{\arraystretch}{1.3}
+    \begin{tabular}{l | p{29mm} | p{19mm} | p{50mm}}
+        Ln. & Case & Complexity & Argumentation \\\hline\hline
+    \end{tabular}
+    \caption{Worst-case time complexity analysis of the different cases in \autoref{alg:ms2}}
+    \label{tab:analysis-ms2}
+\end{table}
+
 %todo
 
 \subsection{$\ms$: \autoref{alg:ms}}
-- 
cgit v1.2.3

