Techniques for Square Wisdom

The current version of JSudoku does not implements any techniques specific to Square Wisdom. However, most techniques for Killer Sudoku and other constraints on combinations also applies to Square Wisdom. This includes: Complex intersections (regular case), Pointing cells, Sum innies and outies, Odd combinations, Mandatory Inclusions, Complex naked and hidden subsets, Conficting combinations, Complex XY-Chain...

Here are some techniques specific to Square Wisdom which may be added in a future version of JSudoku:

Extended Intersections

When some sum or product cage with possible repeats must include a candidate several times, this candidate may be locked for some row(s) or column(s) depending the shape of the cage.

Example: L shaped cage with 3 cells 5+ in r1c12+r2c1 = {1(13|22)}. Since neither r1c12 nor r12c1 may be {22}, both these 2 groups of 2 cells must include a 1 which is locked in r1c12 for r1 and in r12c1 for c1.

Complex X-Wing, Swordfish...

Similar to Complex Intersections. When a cage must include a candidate several times, it may be locked for all its rows and/or columns.

Example: L shaped cage with 4 cells 8+ in r1c123+r2c1 = {12(14|23)}. Since r1c123 cannot be {223}, the 1 is locked for both r1 and r2.

Example: square cage with 4 cells 15x in r12c12 = {1135}. The 1 is locked for r1, r2, c1 and c2. Two X-Wing for one cage!

Innies, Outies...

Regular sum Innies and outies for killer are also applicable to Square Wisdom. We may also plug product cages with a unique combination by adding up all their candidates. This is already supported by JSudoku.

These techniques may be extended to product cages. This is not currently supported by JSudoku.

For 6x6 this is seldom useful since most products have very few combinations and other techniques may be used. Nevertheless, this may prove useful for larger sizes like 9x9

This translates to:

Sum Product
Rule of 21 (or 45) Rule of 6! = 720 (or 9! = 362880)
Add: A+B Multiply: AxB
Subtract: A-B Divide: A/B
Multiply: AxConst Power: A^Const
Divide: A/Const Root: Const √ A (= A^(1/Const))

Simple example for 6x6: r1c12 = 6x; r1c345 = 24x. Product innies for r1 gives: r1c6 = 720 / (6x24) = 5

We may also plug:


Simple Techniques | Fishes & Single Digit | Wings | XY-Chains, Loops & ALS | Uniqueness | Jigsaw, Windoku & Gatai | Greater/Less Than & Non-Consecutive | Killer | Innies/Outies | Advanced Killer | Square Wisdom | Contents

Copyright (C) 2006-2008 Jean-Christophe Godart. All rights reserved.