C3 Un collar abierto puede contener rubíes, esmeraldas y zafiros. En cada paso podemos realizar cualquiera de las siguientes operaciones: Podemos reemplazar dos rubíes consecutivos por una esmeralda y un zafiro, donde la esmeralda está a la izquierda del zafiro. Podemos reemplazar tres esmeraldas consecutivas por un zafiro y un rubí, donde el zafiro está a la izquierda del rubí. Si encontramos dos zafiros consecutivos, podemos eliminarlos. Si encontramos consecutivamente y en este orden un rubí, una esmeralda y un zafiro, podemos eliminarlos. Además, también podemos invertir todas las operaciones anteriores. Por ejemplo, invirtiendo la 3. podemos poner dos zafiros consecutivos en cualquier posición que queramos. Inicialmente el collar tiene un zafiro (y ninguna otra piedra preciosa). Decide, con prueba, si existe una secuencia finita de pasos tal que al final de esta secuencia el collar contenga una esmeralda (y ninguna otra piedra preciosa). Observación: Un collar es abierto si sus piedras preciosas están en una línea de izquierda a derecha. No se nos permite mover una piedra preciosa de la posición más a la derecha a la más a la izquierda como podríamos hacer si el collar fuera cerrado. Propuesto por Demetres Christofides, Chipre ThE-dArK-lOrD