Dadas dos dígitos-cadenas de AB, vamos a AB ser su concatenación. Así, por ejemplo, si A = ``102" y B = ``101", AB = ``102101".
Se dice entonces AB \geq BA desde 102101 \geq 101102.
Ahora dado cifras cadenas A, B, y C, es cierto que AB \geq BA \land BC \geq CB \Rightarrow AC \geq CA?
Contexto: Esta página da 5 "simple" ejercicios de programación. Uno de ellos es
Dada una lista de los números enteros negativos, los dispone de tal que forma que el mayor número posible. Por ejemplo, dada [50, 2, 1, 9], el mayor número formado es 95021.
Mi solución (y su solución) fue el fin de las cadenas mediante la comparación anterior. Esto parece que funciona, pero me gustaría probarlo. Yo era capaz de acercarse a una prueba, pero se basa en la comparación anterior, siendo un total de preorder.
He tratado de demostrar el por encima de la transitividad de la relación de diversas maneras, pero han fracasado. Una simulación por ordenador de una de las primeras 100.000 números parece implicar que es cierto, sin embargo.