Professional Documents
Culture Documents
T: Tablero
X: Ficha azul
Y: Ficha roja
-: Celda vaca
(n,1): Posicin ficha azul
(1,n): Posicin ficha roja
T1: Nueva representacin
V. ENTRADA
- T Representacin
-nZ
- X S
- Y S
POSTCONDICIN
PRECONDICIN
T = n*n
n 2
X = (n,1)
Y = (1,n)
V. SALIDA
- V, F B
V. ENTRADA
- T Representacin
POSTCONDICIONES
- f, c SIZ+
2. VERIFICAR
UNA JUGADA ES VLIDA
- Color S
PRECONDICIONES
- f, c 0
- Color {X, Y}
Si T (f, c) = -
Si T (f, c) en el conjunto {X,
XX, XXX,XXXX} y el color es
X.
Si T (f, c) en el conjunto {Y,
YY, YYY,YYYY} y el color es
Y.
F: En otro caso
4. HACER JUGADA
V. ENTRADA
- T Representacin
- f, c Z+
- Color S
PRECONDICIN
- f, c 0
- Color {X, Y}
V. SALIDA
- V, F B
POSTCONDICIONES
Si (f, c) de T est en el conjunto
V. SALIDA
V
{X,XX,XXX,XXXX, -}.
- Representacin
Si (f, c) de T est en el conjunto
- T1
{Y,YY,YYY,YYYY,-}.
POSTCONDICIONES
F: En otro caso
- Si (f, c) de T est en el conjunto
{XX} v {YY} como lmite mximo
explota transformando T en T1,
frente y lado.
- Si (f, c) de T est en el conjunto
{XXX} v {YYY} como lmite
mximo explota transformando T en
T1, frente y lados.
- Si (f, c) de T est en el conjunto
{XXX} v {YYY} como lmite
mximo explota transformando T en
T1, frente y lados.
- Si (f, c) de T est en el conjunto
{XXXX} v {YYYY} como lmite
mximo explota transformando T en
T1, frente, atrs y lados.
- Si (f, c) de T est en el conjunto
{XX,XXX,XXXX} v
{YY,YYY,YYYY} explotaran y
transformaran en su color las fichas
del oponente.
T1
-