29-12-2025, 09:20 AM
(This post was last modified: 29-12-2025, 09:22 AM by Jorge_Stolfi.)
I think I can narrow the core-mantle-crust a bit more. Recall that the model is
Q^q D^d X^x G^g H^h X^y D^e N^n
where q,g,h,n are 0 or 1, d+e is at most 3, x+y is at most 3, and g+h is at most 1. (The last condition says simply that there may be at most one gallows, simple or platform.) The range of d+e seems to be indeed 0..3:
COUNTING CMC PATTERNS BY NUMBER OF D
31300.250000 1.00000 TOTAL
9705.125000 0.31007 0
16944.000000 0.54134 1
4153.562500 0.13270 2
497.562500 0.01590 3
However, the range of q+d+e+n also seems to be 0..3. That is, the rule should be q+d+e+n <= 3, not just d+e <= 3:
COUNTING CMC PATTERNS BY NUMBER OF QDN
31300.250000 1.00000 TOTAL
4937.125000 0.15773 0
15160.625000 0.48436 1
10097.625000 0.32261 2
1071.812500 0.03424 3
33.062500 0.00106 4
And, moreover, the condition on the number of benches should be x+h+y <= 2, not just x+y <= 3. That is, there could be at most two benches, counting a platform gallows as one bench:
COUNTING CMC PATTERNS BY NUMBER OF XH
31300.250000 1.00000 TOTAL
15443.250000 0.49339 0
13730.125000 0.43866 1
2080.875000 0.06648 2
46.000000 0.00147 3
I am adding these revised rules to the model.
All the best, --stolfi
Q^q D^d X^x G^g H^h X^y D^e N^n
where q,g,h,n are 0 or 1, d+e is at most 3, x+y is at most 3, and g+h is at most 1. (The last condition says simply that there may be at most one gallows, simple or platform.) The range of d+e seems to be indeed 0..3:
COUNTING CMC PATTERNS BY NUMBER OF D
31300.250000 1.00000 TOTAL
9705.125000 0.31007 0
16944.000000 0.54134 1
4153.562500 0.13270 2
497.562500 0.01590 3
However, the range of q+d+e+n also seems to be 0..3. That is, the rule should be q+d+e+n <= 3, not just d+e <= 3:
COUNTING CMC PATTERNS BY NUMBER OF QDN
31300.250000 1.00000 TOTAL
4937.125000 0.15773 0
15160.625000 0.48436 1
10097.625000 0.32261 2
1071.812500 0.03424 3
33.062500 0.00106 4
And, moreover, the condition on the number of benches should be x+h+y <= 2, not just x+y <= 3. That is, there could be at most two benches, counting a platform gallows as one bench:
COUNTING CMC PATTERNS BY NUMBER OF XH
31300.250000 1.00000 TOTAL
15443.250000 0.49339 0
13730.125000 0.43866 1
2080.875000 0.06648 2
46.000000 0.00147 3
I am adding these revised rules to the model.
All the best, --stolfi


