Hard 12×12 Picross — Arrangement Enumeration at the Large-Format Scale
Hard 12×12 Picross applies arrangement enumeration to the first genuinely large constraint network on the platform. With 24 lines, 144 cells, and clue configurations that include multiple lines resistant to cross-referencing alone, the enumeration work at 12×12 is more extensive than at 10×10 — more lines to consider, larger arrangement sets to work through, and more perpendicular interactions to cascade after each confirmed cell.
What "Hard" Means at 12×12
At 12×12, Hard configurations frequently include lines where a "5" or "6" clue sits alongside a multi-block clue in the same grid, producing high-slack lines on both axes simultaneously. When both a row and its intersecting column each have high-slack configurations, neither line can be advanced through cross-referencing alone — the arrangement counts for both remain high because neither provides the constraint data the other needs. Explicit enumeration breaks this dependency: by listing all valid arrangements for the most constrained of the two lines, checking for consistent positions, and using any confirmed cells as the cross-reference seed, the cascade can be restarted.
At 12×12, the arrangement sets for these high-slack lines are larger than at 10×10. A "6" clue in a 12-cell line with two cells already confirmed empty has four remaining valid positions rather than six — still a meaningful enumeration load. The discipline of working through all remaining valid arrangements completely, not stopping when the first consistent cell is found, becomes especially important here: large arrangement sets occasionally have multiple consistent positions, and missing the second or third costs time in subsequent passes.
The Hard 12×12 Solving Approach
Phase 1 — Cross-referencing to exhaustion: Apply overlap analysis and multi-pass cross-referencing until no further direct deductions are possible. On Hard 12×12, this phase typically resolves 78–98 cells before reaching its limit — a higher proportion than at 10×10 Hard because the 12-cell zero-slack two-block configurations (such as "7 4" and "6 5") resolve entire lines immediately, providing rich constraint data to the rest of the grid from the first pass.
Phase 2 — Enumeration: Identify the line with the fewest remaining valid arrangements after full cross-referencing. List every valid arrangement explicitly. Check each position across all remaining arrangements. Confirm every position that is consistent across all of them, regardless of whether it appears to be a significant cell or not. Mark and propagate.
Phase 3 — Cascade and repeat: Use confirmed enumeration cells to re-run cross-referencing fully. Each cascade may enable direct deductions in several lines simultaneously. After the cascade terminates, select the next minimum-arrangement line for enumeration.
Phase 4 — Completion: Hard 12×12 resolves without hypothesis testing. The combination of enumeration and cascade is always sufficient — but the enumeration work is more extensive than at 10×10, and each cascade cycle covers more perpendicular interactions. Expect the enumeration-cascade sequence to repeat six to ten times before the grid is complete.
Written Notation at Hard 12×12
Hard 12×12 is the difficulty level at which written notation moves from useful to genuinely important. Tracking which arrangements remain valid for three or four high-slack lines simultaneously — across a 24-line grid — is difficult to do reliably in memory. A compact notation recording the remaining valid arrangements for each line being actively enumerated, updated after each cascade, prevents the most common Hard error: returning to a previously enumerated line and re-enumerating from scratch because the intermediate work was not recorded.
Ready to Progress?
→ 12×12 Expert — hypothesis technique across the 144-cell network
→ 12×12 Medium — if Hard feels premature, Medium builds the cross-referencing foundation Hard requires
→ 15×15 Hard — arrangement enumeration across a 30-line, 225-cell network
Stuck? The 12×12 Solver identifies your next logical step.
FAQ
The technique is identical but the scale is greater. Arrangement sets are larger at 12 cells, the enumeration-cascade cycle must be repeated more times, and the 24-line network means each cascade propagates through more perpendicular interactions. Most solvers find Hard 12×12 takes roughly 50–70% more time than Hard 10×10, with a corresponding increase in the volume of enumeration work.
Enumerate when two conditions are both true: you have applied overlap analysis to every line using its current cell state, and no line has a confirmed cell from that pass. If either condition isn't fully met, more cross-referencing data is still available — extract it before beginning enumeration to keep arrangement sets as small as possible.
Most solvers take 35–60 minutes. The enumeration phases are the primary time consumers; each cycle produces fewer confirmed cells per minute than the earlier cross-referencing phases because the remaining lines have larger arrangement sets that require more thorough checking.