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

COMPLETE route · research/prove-enumeration-lower-bound.md

Target

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

Statement

A crude product bound over rows gives well over 10^12 partial placements.