Added sol 1.2.
1.1 --- a/exercises/solutions/sol01.tex Wed Apr 25 17:30:37 2012 +0200
1.2 +++ b/exercises/solutions/sol01.tex Thu Apr 26 00:25:00 2012 +0200
1.3 @@ -1,4 +1,4 @@
1.4 -\documentclass[a4paper, 10pt, pagesize, smallheadings]{article}
1.5 +\documentclass[a4paper, 10pt, pagesize, smallheadings]{article}
1.6 \usepackage{graphicx}
1.7 %\usepackage[latin1]{inputenc}
1.8 \usepackage{amsmath, amsthm, amssymb}
1.9 @@ -18,7 +18,7 @@
1.10 \begin{document}
1.11 \maketitle
1.12
1.13 -\section*{Exercise 1.1a}
1.14 +\section*{Exercise 1.1}
1.15 \begin{tabular}{|c|c|c||c|c|c||c|c|c|}
1.16 \hline
1.17 5&3&6 &4&7&2 &8&1&9 \\ \hline
1.18 @@ -32,5 +32,20 @@
1.19 3&1&8 &2&4&5 &7&9&6 \\ \hline
1.20 9&4&7 &3&6&1 &2&8&5 \\ \hline
1.21 6&5&2 &7&8&9 &3&4&1 \\ \hline
1.22 -\end{tabular}
1.23 +\end{tabular} \\\\
1.24 +I have applied following strategies to solve the puzzle:
1.25 +\begin{itemize}
1.26 + \item look for most contrained blocks, rows and columns
1.27 + \item look for values with most resolved positions
1.28 + \item annotate cells with consistent values
1.29 + \item look for inconsistent connections between cell annotations
1.30 +\end{itemize}
1.31 +
1.32 +\section*{Exercise 1.2}
1.33 +(a) $R_{x,y} \bowtie S_{y,z} = \{(a,b,a),(a,b,c)\}$\\
1.34 +(b) $\sigma_{z=c}(R_{x,y} \bowtie S_{y,z}) = \{(a,b,c)\}$\\
1.35 +(c) $\pi_x(R_{x,y}) = \{(a)\}$\\
1.36 +(d) $R_{x,y} \circ S_{y,z} = \{(b,b)\}$\\
1.37 +
1.38 +
1.39 \end{document}