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

ESTABLISHED claim · research/enumeration-lower-bound.md

via route prove-enumeration-lower-bound

Routes into this claim

• prove-enumeration-lower-bound COMPLETE Counting bound on partial placements

Invalidates

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

Statement

Partial domino placements on the region number far beyond what any by-hand analysis can cover, so a claimed exhaustive enumeration cannot have been complete.