www-ai.cs.tu-dortmund.de/LEHRE/PG/PG445/literatur/goethals_2002a.pdf
confidence.
3.2. Exploiting Constraints 47
S0 S B H {} {1, 3} {1} {3} {2} {1, 2, 3} - {2, 3} {4} {1, 3, 4} {1, 4} - {6} {1, 3, 6} {1, 6} {3, 6} {8} {1, 3, 8} {1, 8} {3, 8} {2, 6} {1, 2, 3, 6} - {2, 3, 6} {4 [...] size 3:
{{3, 2, 1}, {4, 2, 1}, {4, 3, 1}, {4, 3, 2}, {5, 2, 1}, {5, 3, 1}, {5, 3, 2}, {5, 4, 1}, {5, 4, 2}, {5, 4, 3}, {6, 2, 1}, {6, 3, 1}, {6, 3, 2}}.
The 3-canonical representation of 13 is ( 5 3
) + [...] 9}. Because 21 =
( 6 3
) +
( 2 2
) , we have KK 4
3(21) = 15, KK 5
3(21) = 6 and KK 6 3(21) = 1. On the other hand,
KK ∗ 4(L) = KK ∗
3(L 1) + KK ∗
3(L 2) + KK ∗
3(L 3) + KK ∗
3(L 4)
+ KK ∗ 2((L
5)6) + …
