this is for holding javascript data
Huang Lie Jun edited subsection_A_B_Since_A__.tex
about 8 years ago
Commit id: 2ca05e6a8d49b9aab0dc8f7b9c6f46eaf735fc67
deletions | additions
diff --git a/subsection_A_B_Since_A__.tex b/subsection_A_B_Since_A__.tex
index 340a00b..ce4affb 100644
--- a/subsection_A_B_Since_A__.tex
+++ b/subsection_A_B_Since_A__.tex
...
\(D_C = \{0, 1, 2, 3, 4\}\)
\subsection{\( .
(A, B) : revise(true)\)} (C, B)\)}
Since
Domain \(D_B\) has been changed, based on \(C = \frac{B}{2}\) is the
constraint graph, constraint, Domain
\(D_A\) \(D_C\) will be reduced to
\{1, 3\} \{0, 1\} to be make arc
\((A, \((C, B)\)
arc-consistent again. arc-consistent.
State:
...
\(D_C = \{0, 1\}\)
\subsection{\( .
(B, A) (A, B) :
revise(false)\)}
Since Domain \(D_A\) has been changed, based on the constraint graph, Domain \(D_B\) will be checked again for consistency. However, all numbers in Domain \(D_B\) satisfy the constraint. No revision is made.
\subsection{\( . (C, B)\)} revise(true)\)}
Since
\(C = \frac{B}{2}\) is Domain \(D_B\) has been changed, based on the
constraint, constraint graph, Domain
\(D_C\) \(D_A\) will be reduced to
\{0, 1\} \{1, 3\} to be make arc
\((C, \((A, B)\)
arc-consistent. arc-consistent again.
State:
...
\(D_B = \{0, 2\}\)
\(D_C = \{0, 1\}\)
\subsection{\( . (B, A) : revise(false)\)}
Since Domain \(D_A\) has been changed, based on the constraint graph, Domain \(D_B\) will be checked again for consistency. However, all numbers in Domain \(D_B\) satisfy the constraint. No revision is made.