brute-force-enumeration Claimed exhaustive enumeration of all partial tilings

INVALIDATED route · research/brute-force-enumeration.md

invalidated by established claim enumeration-lower-bound

Target

• mutilated-board-untileable ESTABLISHED The mutilated chessboard admits no domino tiling

Invalidated by

• enumeration-lower-bound ESTABLISHED Exhaustive enumeration exceeds any feasible case budget

Statement

Asserted a complete by-hand case analysis. The obstruction claim shows the case count was fatally undercounted; the route stays in the graph as a record of dead space.