On Mon, Jan 21, 2002 at 03:53:54PM +0100, [EMAIL PROTECTED] wrote: > The "shrinkable" strings will be in one of the two following forms: > > XbYXaZ, with X, Y and Z (possible empty) strings of any length, > and a and b strings of length 1, with a lt b. > aXbYaX, with X and Y (possible empty) strings of any length, > and a and b strings of length 1, with a lt b.
Not quite. "aaba" is shrinkable. (But you've spotted the trick for detecting when one string is 'lt' another, so if you combine forces with Bart...) Yours in Fun, .robin.