$SU.strat-v0.1
// Stochastic Memory Update Strategy
start strategy
States:
14
// Initial state
InitState:
0
// initial distribution
Init:
{25=1.0}
// next state function
// note: only P1 states
Next:
// first index: current state
// second index: current corner
2 16 {0=1.0}
2 0 {0=1.0}
2 33 {1=1.0}
2 18 {0=1.0}
2 3 {0=1.0}
2 22 {0=1.0}
2 24 {0=1.0}
2 26 {0=1.0}
2 29 {0=1.0}
3 0 {0=1.0}
3 16 {1=1.0}
3 1 {1=1.0}
3 19 {1=1.0}
3 4 {1=1.0}
3 5 {1=1.0}
3 7 {1=1.0}
3 23 {1=1.0}
// memory update function: player states
MemUpdStates:
// first index: current state
// second index: current corner
// third index: next move
0 0 0 {0=1.0}
0 17 0 {17=1.0}
0 3 0 {3=1.0}
0 4 0 {4=1.0}
0 5 0 {5=1.0}
0 21 0 {21=1.0}
0 23 0 {23=1.0}
0 25 0 {25=1.0}
0 28 0 {28=1.0}
0 13 0 {13=1.0}
1 0 0 {0=1.0}
1 0 1 {0=1.0}
1 21 0 {28=0.6853716349993251, 31=0.31462836500067487}
1 21 1 {5=0.310313674212451, 8=0.6896863257875491}
2 16 0 {7=1.0}
2 0 0 {0=1.0}
2 33 1 {32=1.0}
2 18 0 {8=1.0}
2 3 0 {3=1.0}
2 22 0 {13=1.0}
2 24 0 {15=1.0}
2 26 0 {18=1.0}
2 29 0 {22=1.0}
3 0 0 {0=1.0}
3 16 1 {15=1.0}
3 1 1 {0=1.0}
3 19 1 {18=1.0}
3 4 1 {3=1.0}
3 5 1 {4=1.0}
3 7 1 {6=1.0}
3 23 1 {22=1.0}
4 0 0 {0=1.0}
4 17 0 {17=1.0}
4 3 0 {3=1.0}
4 21 0 {21=1.0}
4 23 0 {23=1.0}
4 25 0 {25=1.0}
4 28 0 {28=1.0}
4 13 0 {13=1.0}
5 28 0 {28=1.0}
7 0 0 {0=1.0}
8 0 0 {0=1.0}
8 17 0 {17=1.0}
8 3 0 {3=1.0}
8 4 0 {4=1.0}
8 5 0 {5=1.0}
8 21 0 {21=1.0}
8 13 0 {13=1.0}
10 0 0 {0=1.0}
11 0 0 {0=1.0}
12 0 0 {0=1.0}
13 0 0 {0=1.0}
// memory update function: moves
MemUpdMoves:
// first index: current state
// second index: current move
// third index: curent corner (at move)
// fourth index: next state
0 0 0 1 {0=1.0}
0 0 0 2 {0=1.0}
0 0 0 3 {0=1.0}
0 0 0 10 {0=1.0}
0 0 17 1 {21=1.0}
0 0 17 2 {24=1.0}
0 0 17 3 {5=1.0}
0 0 17 10 {0=1.0}
0 0 3 1 {21=1.0}
0 0 3 2 {18=1.0}
0 0 3 3 {0=1.0}
0 0 3 10 {0=1.0}
0 0 4 1 {21=1.0}
0 0 4 2 {3=1.0}
0 0 4 3 {1=1.0}
0 0 4 10 {0=1.0}
0 0 5 1 {21=1.0}
0 0 5 2 {16=1.0}
0 0 5 3 {1=1.0}
0 0 5 10 {0=1.0}
0 0 21 1 {21=1.0}
0 0 21 2 {22=1.0}
0 0 21 3 {16=1.0}
0 0 21 10 {0=1.0}
0 0 23 1 {21=1.0}
0 0 23 2 {22=1.0}
0 0 23 3 {19=1.0}
0 0 23 10 {0=1.0}
0 0 25 1 {21=1.0}
0 0 25 2 {29=1.0}
0 0 25 3 {19=1.0}
0 0 25 10 {0=1.0}
0 0 28 1 {21=1.0}
0 0 28 2 {26=1.0}
0 0 28 3 {23=1.0}
0 0 28 10 {0=1.0}
0 0 13 1 {21=1.0}
0 0 13 2 {18=1.0}
0 0 13 3 {4=1.0}
0 0 13 10 {0=1.0}
1 0 0 2 {0=1.0}
1 0 28 2 {26=1.0}
1 0 31 2 {33=1.0}
1 1 0 3 {0=1.0}
1 1 5 3 {5=1.0}
1 1 8 3 {7=1.0}
2 0 0 4 {0=1.0}
2 0 18 4 {25=1.0}
2 0 3 4 {3=1.0}
2 0 22 4 {28=1.0}
2 0 7 4 {13=1.0}
2 0 8 4 {17=1.0}
2 0 13 4 {21=1.0}
2 0 15 4 {23=1.0}
2 1 32 5 {28=1.0}
3 0 0 7 {0=1.0}
3 1 0 8 {0=1.0}
3 1 18 8 {17=1.0}
3 1 3 8 {3=1.0}
3 1 4 8 {4=1.0}
3 1 6 8 {5=1.0}
3 1 22 8 {21=1.0}
3 1 15 8 {13=1.0}
4 0 0 0 {0=1.0}
4 0 0 12 {0=1.0}
4 0 17 0 {17=1.0}
4 0 17 12 {0=1.0}
4 0 3 0 {3=1.0}
4 0 3 12 {0=1.0}
4 0 21 0 {21=1.0}
4 0 21 12 {0=1.0}
4 0 23 0 {23=1.0}
4 0 23 12 {0=1.0}
4 0 25 0 {25=1.0}
4 0 25 12 {0=1.0}
4 0 28 0 {28=1.0}
4 0 28 12 {0=1.0}
4 0 13 0 {13=1.0}
4 0 13 12 {0=1.0}
5 0 28 0 {28=1.0}
5 0 28 11 {0=1.0}
7 0 0 0 {0=1.0}
7 0 0 11 {0=1.0}
8 0 0 0 {0=1.0}
8 0 0 11 {0=1.0}
8 0 17 0 {17=1.0}
8 0 17 11 {0=1.0}
8 0 3 0 {3=1.0}
8 0 3 11 {0=1.0}
8 0 4 0 {4=1.0}
8 0 4 11 {0=1.0}
8 0 5 0 {5=1.0}
8 0 5 11 {0=1.0}
8 0 21 0 {21=1.0}
8 0 21 11 {0=1.0}
8 0 13 0 {13=1.0}
8 0 13 11 {0=1.0}
10 0 0 13 {0=1.0}
11 0 0 13 {0=1.0}
12 0 0 12 {0=1.0}
13 0 0 13 {0=1.0}
Info:
Property: <<1>> (((((((R{"time"}<=3.4 [ C ]&R{"energy"}<=5.7 [ C ])))))))
Type: $SU.strat-v0.1
Memory size: 155
endstrategy