hola tenía una duda, quería saber si las asignaciones para evitar carreras eran únicas, es decir, que solo existe 1 asignación posible dado un ejercicio, porque hay veces donde llego a algo del estilo a=00 b=01 c=11 d=10 y veo que la solución dice b=10 y d=01, y viceversa
No, las asignaciones no son únicas (por ejemplo rotar los estados en un cuadrado te va a dar 4 asignaciones posibles y si no hay diagonales no hay carreras).
Lo único que importa para que no haya carreras es que no cambien 2 variables de estado a la vez.
Lo único que importa para que no haya carreras es que no cambien 2 variables de estado a la vez.