Sauer-Shelah Lemma
Concept class on the Boolean cube
Click a blue vertex to select it. Click a shattered set on the right to highlight witness concepts. The vertical direction is the set size, so every successful shift moves weight downward.
eligible S_i moves blocked on i last move(s) witness concepts
Shattered index sets Y ⊆ [n]
Click a green set to show one witness concept for every T ⊆ Y.
State and witnesses