Standalone Pattern Set 4.s.3 in Connect 4
Connect 4 in 4 Moves
Deduction Path: Empty Sharing Fork Sub-Top with Topping of One Unshared 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, re0re0pp, 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:
- 22HighestEmptyEqualOtherDifferent: A highest rotatable empty (re) position of the re0re0pp pattern, thus a re0, is on the same column as the highest re of the re1re0pp pattern, thus the re0. The other re0 of the re0re0pp pattern is different from the re1 of the re1re0pp pattern. In other words the re0re0pp and re1re0pp patterns have one pair highest re's sharing a same column and the other re's are on different siding columns.
- 122WinningEmptyEqualDeepest: The winning re of the first deduced from pset is on the same column as the deepest unshared re of the second deduced from pset because this is an empty sharing fork sub-top with topping of one unshared re that increments to the deepest re.
- Re1re0ppFromRe0re0ppNotVertical: Since re1re0pp is deduced from re0re0pp by disc omission on depth this re1re0pp may not be vertical.
- 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/v6o23z9-standalone-pset-4.s.4-connect-4in4-moves-pattern-recognition-deduction-hi-h.html
Connect 4 Board Example List:
SSSPPEPSEEPPESPEEESEEEEEEEEEEEEEEEEEEEEEEEE |