Artificial Intelligence / AI 0436 · Atom · ~20 seconds
Convergence, If Separable
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
Whenever some straight boundary can separate the two piles, the nudging procedure is guaranteed to settle — and when no such boundary exists, it nudges forever.
Show
The melon piles were separable, so four passes sufficed; the guarantee is a famous early theorem of the field.
Watch for
Convergence on the training pile says nothing about new melons — the drawer's verdict is separate.