TSTST 2014 Problem 1
Let denote the left arrow key on a standard keyboard. If one opens a text editor and types the keys "ab ", the result is "faecdb". We say that a string is reachable from a string if it is possible to insert some amount of 's in , such that typing the resulting characters produces . So, our example shows that "faecdb" is reachable from "abcdef". Prove that for any two strings and is reachable from if and only if is reachable from .
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.