Batasan:

CROSADNGE
X1 = {0, 1}; X2 = {0, 1}; X3 = {0, 1}; X4 = {0, 1}; X5 = {0, 1}
C = {1, 2, 3, 4, 5, 6, 7, 8, 9}
R = {1, 2, 3, 4, 5, 6, 7, 8, 9}
O = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
S = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
D = {1, 2, 3, 4, 5, 6, 7, 8, 9}
N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
G = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
E = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
Karena X1 = D, dan D 0, maka X1 = D = 1.
1.
Batasan:
X2 = {0, 1}; X3 = {0, 1}; X4 = {0, 1}; X5 = {0, 1}
C = {2, 3, 4, 5, 6, 7, 8, 9}
R = {2, 3, 4, 5, 6, 7, 8, 9}
O = {0, 2, 3, 4, 5, 6, 7, 8, 9}
S = {0, 2, 3, 4, 5, 6, 7, 8, 9}
A = {0, 2, 3, 4, 5, 6, 7, 8, 9}
D = {}
N = {0, 2, 3, 4, 5, 6, 7, 8, 9}
G = {0, 2, 3, 4, 5, 6, 7, 8, 9}
E = {0, 2, 3, 4, 5, 6, 7, 8, 9}
Mencari himpunan yang memiliki LCV (Least Constraining Value) yaitu X2, X3, X4, dan X5
Pilih X5 yang memiliki MRV (Minimum Remaining Value) yaitu 0.
Karena S + S = R, maka S di-constraint menjadi {2, 3, 4} dan R di-constraint menjadi {4, 6, 8}.
Karena S + 1 = E, maka E di-constraint menjadi {3, 4, 5}
2.
Batasan:
X2 = {0, 1}; X3 = {0, 1}; X4 = {0, 1}
C = {2, 3, 4, 5, 6, 7, 8, 9}
R = {4, 6, 8}
O = {0, 2, 3, 4, 5, 6, 7, 8, 9}
S = {2, 3, 4}
A = {0, 2, 3, 4, 5, 6, 7, 8, 9}
D = {}

N = {0, 2, 3, 4, 5, 6, 7, 8, 9}
G = {0, 2, 3, 4, 5, 6, 7, 8, 9}
E = {3, 4, 5}
LCV selanjutnya adalah X4. Ambil secara MRV yaitu 0
Karena O + A = G, maka O di-constraint menjadi {2, 3, 4, 5, 6, 7}, A di-constraint menjadi {2, 3, 4,
5, 6, 7} dan G di-constraint menjadi {4, 5, 6, 7, 8, 9}
3.
Batasan:
X2 = {0, 1}; X3 = {0, 1}
C = {2, 3, 4, 5, 6, 7, 8, 9}
R = {4, 6, 8}
O = {2, 3, 4, 5, 6, 7}
S = {2, 3, 4}
A = {2, 3, 4, 5, 6, 7}
D = {}
N = {0, 2, 3, 4, 5, 6, 7, 8, 9}
G = {4, 5, 6, 7, 8, 9}
E = {3, 4, 5}
LCV selanjutnya adalah X3. Ambil secara MRV yaitu 0.
Karena R + O = N, maka R di-constraint menjadi {4, 6}, O di-constraint menjadi {2, 3, 4, 5} dan N
di-constraint menjadi {6, 7, 8, 9}
4.
Batasan:
X2 = {0, 1}
C = {2, 3, 4, 5, 6, 7, 8, 9}
R = {4, 6}
O = {2, 3, 4, 5}
S = {2, 3, 4}
A = {2, 3, 4, 5, 6, 7}
D = {}
N = {6, 7, 8, 9}
G = {4, 5, 6, 7, 8, 9}
E = {3, 4, 5}
LCV selanjutnya adalah X2. Ambil secara MRV yaitu 0.
Karena C + R = A + 10, maka C di-constraint menjadi {4, 5, 6, 7, 8, 9} dan A di-constraint menjadi
{2, 3, 4, 5}
5.

Batasan:
C = {4, 5, 6, 7, 8, 9}
R = {4, 6}
O = {2, 3, 4, 5}
S = {2, 3, 4}
A = {2, 3, 4, 5}
D = {}
N = {6, 7, 8, 9}
G = {4, 5, 6, 7, 8, 9}
E = {3, 4, 5}
LCV selanjutnya adalah R. Ambil secara MRV yaitu 4.
Karena S + S = R, maka S = 2
Karena S + D = E, maka E = 3
6.
Batasan:
C = {5, 6, 7, 8, 9}
R = {}
O = {5}
S = {}
A = {5}
D = {}
N = {6, 7, 8, 9}
G = {5, 6, 7, 8, 9}
E = {}
S dan A memiliki himpunan yang sama, maka backtracking dengan memilih R selanjutnya yaitu
6.
Karena S + S = R, maka S = 3.
Karena S + D = E, maka E = 4.
Karena R + O = N, maka O di-constraint menjadi {2} dan N di-constraint menjadi {8}
7.
Batasan:
C = {5, 7, 8, 9}
R = {}
O = {2}
S = {}
A = {2, 5}
D = {}
N = {8}

G = {5, 7, 8, 9}
E = {}
Masukkan himpunan yang sisanya satu.
8.
Batasan:
C = {5, 7, 9}
R = {}
O = {}
S = {}
A = {5}
D = {}
N = {}
G = {5, 7, 9}
E = {}
Masukkan himpunan yang sisanya satu.
9.
Batasan:
C = {7, 9}
R = {}
O = {}
S = {}
A = {}
D = {}
N = {}
G = {7, 9}
E = {}
Karena O + A = G, maka G = 7.
Karena C + R = A, maka C = 9.
10.
Batasan:
C = {}
R = {}
O = {}
S = {}
A = {}
D = {}

N = {}
G = {}
E = {}

CRYPTARITHMETIC

ADALAH