¿Cómo saben los diseñadores de juegos si un juego tiene solución, antes de construir un juego?

Muchos juegos como Solitario y 2048 no tienen garantía de solvencia.

Los tableros de solitario se construyen de la misma manera que lo harías si estuvieras jugando con cartas reales. La baraja se baraja y las cartas se juegan en el orden tradicional. Si no se puede resolver, no se puede resolver.

Freecell es solo 100% solucionable porque los paneles se generan a partir de la solución y trabajando hacia atrás mediante algún tipo de algoritmo de colocación y movimiento. Es por eso que cada tablero de Freecell tiene un número único asociado y siempre puedes recuperar el mismo juego cargando el número.

Los tres (o es una estafa muy inferior a 2048) no tienen garantía de solvencia porque no están trabajando con un conjunto fijo de tarjetas. La secuencia de giro se genera algorítmicamente, probablemente usando un azar ponderado.

En pocas palabras, la mayoría de los juegos no tienen garantía de solución, pero eso no importa siempre que a veces sean solucionables. No impide que la gente juegue Solitario

Pruebas. Casi todos los juegos pasan por una fase de prueba, y si se descubre que el juego está roto, tiene errores, es imposible o incluso demasiado difícil o demasiado fácil, las reglas, el código o la dificultad se ajustan en consecuencia.