Line up dominoes so the tops spell the same string as the bottoms. Search for a match within a bound and watch the branches die, then see why no program can decide it in general.
This interactive visualization needs JavaScript.