We give a simple reformulation of the four color theorem as a problem on strings over a four letter alphabet.

翻译：我们简单重拟了四个颜色的定理, 把它当作四个字母字母字母的字符串问题。