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}