1.1 --- a/exercises/solutions/sol04.tex	Fri Jun 01 00:00:25 2012 +0200
     1.2 +++ b/exercises/solutions/sol04.tex	Sun Jun 03 20:13:56 2012 +0200
     1.3 @@ -38,9 +38,9 @@
     1.4      &coffee,tea,milk,juice,water\\
     1.5      &oldgold,kools,chesterfield,lucky,parliament)\\
     1.6    D=&(D_v)_{v\in V}\text{ where } D_v=\left\{\begin{array}{l l}
     1.7 -                                               \{1\} & v = norwegian\\
     1.8 -                                               \{3\} & v = milk\\
     1.9 -                                   \{1, 2, 3, 4, 5\} & otherwise\\
    1.10 +                                               \{1\}, & \text{if }v = norwegian\\
    1.11 +                                               \{3\}, & \text{if }v = milk\\
    1.12 +                                   \{1, 2, 3, 4, 5\}, & \text{otherwise}\\
    1.13                                               \end{array} \right.\\
    1.14    R_{eq}=&\{(a,a)\mid a\in \N\}\\
    1.15    R_{next}=&\{(a,b)\mid a,b\in\N, |a-b| = 1\}\\
    1.16 @@ -154,18 +154,18 @@
    1.17  \begin{align*}
    1.18    D'_{v}=\left\{
    1.19      \begin{array}{l l}
    1.20 -      \{1\} & v = norwegian\\
    1.21 -      \{3\} & v = milk\\
    1.22 -      \{2\} & v = blue\\
    1.23 -      \{3,4\} & v = ivory\\
    1.24 -      \{4,5\} & v \in \{coffee,green\}\\
    1.25 -      \{2,3,4\} & v = horse\\
    1.26 -      \{3,4,5\} & v \in \{english,red\}\\
    1.27 -      \{2,4,5\} & v \in \{ukrainian,tea\}\\
    1.28 -      \{2,3,4,5\} & v \in \{spanish,japanese,dog,parliament\}\\
    1.29 -      \{1,2,4,5\} & v \in \{juice,water,lucky\}\\
    1.30 -      \{1,3,4,5\} & v \in \{yellow,kool\}\\
    1.31 -      \{1, 2, 3, 4, 5\} & otherwise\\
    1.32 +      \{1\}, & \text{if }v = norwegian\\
    1.33 +      \{3\}, & \text{if }v = milk\\
    1.34 +      \{2\}, & \text{if }v = blue\\
    1.35 +    \{3,4\}, & \text{if }v = ivory\\
    1.36 +    \{4,5\}, & \text{if }v \in \{coffee,green\}\\
    1.37 +  \{2,3,4\}, & \text{if }v = horse\\
    1.38 +  \{3,4,5\}, & \text{if }v \in \{english,red\}\\
    1.39 +  \{2,4,5\}, & \text{if }v \in \{ukrainian,tea\}\\
    1.40 +\{2,3,4,5\}, & \text{if }v \in \{spanish,japanese,dog,parliament\}\\
    1.41 +\{1,2,4,5\}, & \text{if }v \in \{juice,water,lucky\}\\
    1.42 +\{1,3,4,5\}, & \text{if }v \in \{yellow,kool\}\\
    1.43 +\{1, 2, 3, 4, 5\}, & \text{otherwise}\\
    1.44      \end{array} \right.\\
    1.45  \end{align*}
    1.46  That makes 32 domain values less. I've spent an hour and this, where my solver spent 1.5ms on this task. I'm glad we have the power to build machines for doing such tedious work instead of doing it by hand.