Standalone Pattern Set 4.s.2 in Connect 4
Connect 4 in 4 Moves
Deduction Path: Empty Sharing Fork Sub-Top with Topping of Shared Re.
Sub-Top indicates the first forked pset, as mentioned under deduced from pattern sets, is the sub pset and the top pset is the second forked pset. The concerned re of the sub forked pset is just under the concerned re of the top forked pset as they share the same column. The depth of the sub re remains unchanged. The depth of the top re increments with one. For example re0 increments to re1. The topping clause indicates which re of the top pset is concerned and thus incremented.
Number of Patterns: 3
Pattern List: re0ppp, re1re0pp, re1re0pp
Deduced From: re0ppp, re0re0pp, re0re0pp
Best Defence(s): re0 of re0ppp
After playing a best defence move on one of the forked pattern sets specified under deduced from pattern sets hereunder this forked pset is disabled and the other forked pset remains active, in case of a siding fork, or becomes active, in case of a sharing fork, providing its winning move. In case of playing a best defence move outside of both forked pset's, both forked pset's remain active providing their winning moves.
Deduced From Pattern Sets:
Pset 1.s.1 (re0ppp, Winning Move: re0 of re0ppp, Deduction Path: Disc Omission on Pattern)
Pset 3.s.1 (re0re0pp, re0re0pp, Winning Move: re0 shared by both re0re0pp, Deduction Path: Disc Omission on Both Patterns)
Deduction Source for Pattern Sets:
Condition List:
- 22DeepestEmptyEqualOtherDifferent: The deepest rotatable empty (re) position of the first red1red2pp pattern is on the same column as the deepest re of the second red1red2pp pattern. The other re of the first red1red2pp pattern is different from the other re of the second red1red2pp pattern. In other words the two red1red2pp patterns have one pair deepest re's sharing a same column and the other re's are on different siding columns.
- 122WinningEmptyEqual: The winning re of the first deduced from pset is on the same column as the winning re of the second deduced from pset because this is an empty sharing fork. In other words the winning re's of the two psets being forked must be on a same column.
- AfterTwoMovesNoFasterWinForOpponent: After any of all the opponents best defensive move(s) and then the players subsequent winning move(s), as specified by the winning move property of the concerned deduced from pset, no pattern set (pset) of the opponent may exist on the board that implies a faster win for the opponent. For example for psets 4.x.y (connects 4 in 4 moves) no psets 1.v.w (connects 4 in 1 move) of the opponent may exist after all moves specified above.
This pattern sets video:
https://rumble.com/v6mtmsc-standalone-pset-4.s.2-connect-4in4-moves-pattern-recognition-deduction-hi-h.html
Connect 4 Board Example List:
SSSPPEPSEEPPEEEEEESEEEEEEEEEEEEEEEEEEEEEEEE |