Before revision:  A polynomial time algorithm that solves this (existence ) problem was only known for the case of the binary alphabet .
After revision:  A polynomial time algorithm that solves the existence problem was only known for the case of the binary alphabet .