Could you elaborate on the details of those expressions/is thit correct?
24 possible orientations of the "target' corner?
I'm using inclusion/exclusion in a way that Stefan
recently taught me.
In the way I am counting, I am picking an arbitrary corner and fixing it as my reference point. For clarity let's call the reference corner UFR. Around this corner are three adjacent edges, UF, FL, UR. There are also three center pieces that touch the corner on a diagonal (U, F, R) centers.
The number of "positions around a corner" that have at least one 2x2x1 block is:
(3 choose 1)*10*2*4-((3 choose 2)*1)+((3 choose 3)) = 238
(3 choose 1)*10*2*4 chooses which of the 2x2x1 blocks around the UFR corner to be "solved", then it permutes one of 10 possible edge pieces to the 3rd edge location around the UFR corner (the one that is not part of the 2x2x1 block), orients that recently permuted edge (2) and then there are 4 possible positions the centers can be in. This is because one center is part of the 2x2x1, but the others have 4 possible 90 degree rotations in their slice. This term calculates the number of cases where one 2x2x1 block exists. It is an overcount, and will be handled by the rest of the inclusion/exclusion procedure.
-((3 choose 2)*1) continues the inclusion/exclusion by subtracting the number of ways that there can be two 2x2x1 blocks solved around the UFR corner. There is, in fact, only one way and that is to have all three 2x2x1s around UFR solved forming a 2x2x2 block. However, for the inclusion/exclusion to work I have to count that there are (3 choose 2) ways to pick "two" 2x2x1s to be solved.
+((3 choose 3)) This continues the inclusion/exclusion by adding back the number of ways that three 2x2x1 blocks can be solved. There is only 1 way, and (3 choose 3) = 1.
Since we know that (3 choose 1)*10*2*4 overcounts the number of 2x2x1s when we have the special case of a 2x2x2, let's look at the 2x2x2 case.
(3 choose 1)*10*2*4 counts the 2x2x2 case three times, since there are three 2x2x1s forming the 2x2x2 block, and this term counts every way that a 2x2x1 can be formed.
-((3 choose 2)*1) subtracts the 2x2x2 block case three times (net is that this case has been counted 0 times). It subtracts it three times because there are three ways to look at exactly two sides solved on a 2x2x2.
+((3 choose 3)) adds back all cases where three 2x2x1s are solved. There is only one way, the special case where you have a 2x2x2. Now this special case has been counted a net total of 1 time, which is good because there is only 1 case.
For all cases where exactly one 2x2x1 block is formed (and there is not 2x2x2), these cases are all counted exactly once in the term (3 choose 1)*10*2*4. So this entire expression using inclusion/exclusion has counted every case with at least 1 2x2x1 block uniquely, and is not an overcount.
Once I have the number of cases using one corner as reference, I then view each corner as independent of all others (I view each corner "in its own bubble") and calculate the probability that every corner has no 2x2x1 around it. Take 1 minus that probability for the probability that at least one corner has at least one 2x2x1. This is not the true probability, as you cannot view each corner as completely independent ("in its own bubble"), but it will be a rough estimation of the true probability.