[gnugo-devel] DFA optimization run

[Paul Pogonyshev]

It shouldn't hurt to optimize DFAs before 3.6.  We
had no problems with it in 3.4.

Optimization results (in DFA states):

aa_atackpats:      315 =>   309 (-2%)
owl_attackpats:   8845 =>  8016 (-9%)
owl_defendpats:  11478 => 10993 (-4%)
owl_vitalapats:  1004  =>   961 (-4%)

The percents are low since we didn't have a lot of
tuning and because new handling of `.dtr' files
makes them degrade much slower.

Paul



Index: aa_attackpats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/aa_attackpats.dtr,v
retrieving revision 1.2
diff -u -p -r1.2 aa_attackpats.dtr
--- aa_attackpats.dtr   10 Jul 2003 12:58:25 -0000      1.2
+++ aa_attackpats.dtr   12 Sep 2004 23:22:27 -0000
@@ -21,3 +21,5 @@ A20   6
 A21    0
 A22    1
 A23    5
+A24    1
+A25    0
Index: owl_attackpats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/owl_attackpats.dtr,v
retrieving revision 1.2
diff -u -p -r1.2 owl_attackpats.dtr
--- owl_attackpats.dtr  10 Jul 2003 12:58:25 -0000      1.2
+++ owl_attackpats.dtr  12 Sep 2004 23:22:27 -0000
@@ -3,12 +3,12 @@ A2    0
 A3     1
 A101   5
 A102   0
-A103   7
+A103   1
 A104   7
 A105   7
-A106   7
+A106   6
 A107   6
-A108   0
+A108   3
 A109   1
 A110   0
 A111   6
@@ -19,8 +19,8 @@ A115  0
 A201   7
 A203   7
 A204   0
-A205   7
-A205b  0
+A205   4
+A205b  7
 A206   7
 A206b  0
 A207   0
@@ -30,6 +30,7 @@ A207d 7
 A208a  4
 A208b  3
 A208c  6
+A208d  4
 A209   0
 A210   0
 A211   0
@@ -49,22 +50,27 @@ A223        0
 A224   0
 A225   0
 A226   0
-A227   3
+A227   0
 A227b  7
 A228   3
-A229   7
+A229   6
 A229b  3
 A229c  3
 A229d  3
 A230   0
 A231   6
 A232   0
+A232b  6
 A233   7
 A234   1
 A235   5
 A236   0
 A237   0
 A238   6
+A239   0
+A240   7
+A241   7
+A242   3
 A301   0
 A302   0
 A305   0
@@ -78,12 +84,13 @@ A406        3
 A406b  3
 A406c  4
 A407   2
+A407b  4
 A408   4
 A409   6
 A410   0
 A411   4
 A411a  4
-A413a  3
+A413a  4
 A414   2
 A414a  2
 A415   3
@@ -92,23 +99,25 @@ A417        0
 A418   0
 A419   6
 A419b  6
-A420   0
+A420   6
 A421   3
 A422   0
 A422a  0
 A423   1
 A423a  1
 A424   7
+A425   0
 A501   7
 A502   6
-A503   0
+A503   6
+A503b  7
 A504   0
 A505   0
 A506   6
 A507   1
 A508   7
 A509   1
-A510   3
+A510   6
 A511   0
 A512   3
 A513   0
@@ -116,21 +125,24 @@ A514      6
 A515   7
 A516   0
 A517   0
+A518   7
 A601   1
 A602   1
-A603   0
+A603   7
 A603b  0
 A604   7
 A605   7
-A606   0
-A607   7
+A606   7
+A607a  7
 A607b  7
+A607c  7
+A607d  0
 A608   7
 A609   0
 A610   7
 A611   0
 A612   0
-A613   3
+A613   7
 A614   3
 A615   0
 A616   6
@@ -139,8 +151,10 @@ A618       3
 A619   3
 A620   0
 A621   7
-A701   4
-A702   4
+A622   0
+A623   0
+A701   2
+A702   2
 A703   6
 A704   1
 A705b  1
@@ -158,6 +172,7 @@ A716        6
 A717   7
 A718   7
 A719   0
+A719b  0
 A720   7
 A721   0
 A801   0
@@ -172,12 +187,15 @@ A809      6
 A810   1
 A811   1
 A812   2
+A813   7
 A901   3
 A902   0
 A902b  0
 A903   0
 A904   3
 A905   1
+A906a  0
+A906b  0
 A907   0
 A908   0
 A909   7
@@ -202,9 +220,9 @@ A1006       7
 A1006b 7
 A1008  2
 A1008b 6
-A1009  6
+A1009  0
 A1010  3
-A1011  7
+A1011  0
 A1012  0
 A1013  6
 A1014  7
@@ -219,6 +237,8 @@ A1020       2
 A1021  6
 A1022  2
 A1023  7
+A1024a 0
+A1024b 0
 A1100  0
 A1101  1
 A1101b 1
@@ -234,9 +254,9 @@ A1108       0
 A1109  7
 A1110  0
 A1111  6
-A1112  6
+A1112  0
 A1113  2
-A1114  3
+A1114  4
 A1115  6
 A1116  0
 A1117  2
@@ -248,8 +268,9 @@ A1122       0
 A1122a 0
 A1123  7
 A1123a 7
-A1124  7
-A1124a 7
+A1124  0
+A1124a 0
+A1124b 0
 A1125  1
 A1126  2
 A1127  2
@@ -257,36 +278,46 @@ A1127a    2
 A1128  7
 A1129  6
 A1130  3
-A1131  6
+A1131  0
 A1132  0
 A1133a 0
 A1133b 0
+A1134  0
+A1134b 0
+A1134c 0
+A1134d 0
+A1135  7
+A1136  6
+A1137  7
+A1138  0
+A1139  1
 A1201  0
-A1203  2
+A1203  5
 A1204  5
-A1205  1
-A1206  1
+A1205  5
+A1206  5
 A1207  3
 A1208  6
 A1209  0
 A1301  0
-A1302  3
+A1302  7
 A1303  4
 A1303b 7
+A1303c 3
 A1304  7
-A1305  0
+A1305  3
 A1305b 7
-A1306  0
+A1306  3
 A1307  0
 A1308  7
-A1309  7
+A1309  0
 A1310  0
 A1310b 0
 A1311  6
 A1311b 6
 A1312  7
-A1313  6
-A1314  7
+A1313  0
+A1314  3
 A1315  0
 A1316  0
 A1317  7
@@ -307,7 +338,7 @@ A1329       7
 A1330  0
 A1331  3
 A1332  7
-A1333  7
+A1333  2
 A1334  7
 A1335  7
 A1335b 0
@@ -318,15 +349,16 @@ A1339     0
 A1340  7
 A1341  0
 A1342  3
-A1343  3
+A1343  7
 A1344  0
 A1345  3
 A1346  3
 A1347  7
-A1348  0
+A1348  7
 A1349a 0
 A1349b 0
 A1350  7
+A1351  7
 A1401  0
 A1403  7
 A1501  1
@@ -348,3 +380,5 @@ A1610       0
 A1611  0
 A1612  0
 A1613  0
+AC01   0
+AE01   3
Index: owl_defendpats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/owl_defendpats.dtr,v
retrieving revision 1.2
diff -u -p -r1.2 owl_defendpats.dtr
--- owl_defendpats.dtr  10 Jul 2003 12:58:25 -0000      1.2
+++ owl_defendpats.dtr  12 Sep 2004 23:22:27 -0000
@@ -25,9 +25,12 @@ D118 7
 D119   7
 D120   0
 D121   7
-D122   0
+D122   6
 D123   6
 D124   7
+D125   6
+D126   0
+D127   3
 D200   0
 D201   0
 D202   0
@@ -39,7 +42,7 @@ D207  0
 D208   6
 D209   0
 D209a  0
-D209b  0
+D209b  7
 D210   0
 D211   4
 D212   0
@@ -54,6 +57,7 @@ D217c 0
 D218   0
 D220   0
 D221   0
+D221b  0
 D222   0
 D223   7
 D224   6
@@ -66,6 +70,7 @@ D230  7
 D231   4
 D232   0
 D233   0
+D234   3
 D300   1
 D301   6
 D302   7
@@ -105,8 +110,8 @@ D503        3
 D504   1
 D505   0
 D506   0
-D507   0
-D508   0
+D507   7
+D508   7
 D509   7
 D510   6
 D511   7
@@ -127,7 +132,7 @@ D608        0
 D608b  6
 D609   6
 D610   0
-D611   6
+D611   0
 D612   7
 D613   3
 D614   0
@@ -151,7 +156,7 @@ D629        7
 D630   5
 D631   6
 D632   0
-D633   3
+D633   7
 D634   7
 D635   7
 D636   7
@@ -162,6 +167,8 @@ D640        7
 D641   0
 D642   7
 D643   6
+D643b  6
+D644   6
 D700   1
 D701   6
 D702   6
@@ -192,9 +199,10 @@ D801       0
 D802   0
 D803   6
 D804   0
+D804a  7
 D804b  0
 D805   0
-D805a  6
+D805a  7
 D805b  7
 D806   0
 D807   0
@@ -203,19 +211,19 @@ D809      0
 D810   7
 D811   7
 D811a  3
-D812   0
+D812   7
 D813   7
 D814   7
 D815   7
 D816   3
 D817   3
-D818   0
-D818b  0
+D818   3
+D818b  3
 D819   3
 D820   0
 D820b  0
 D821   7
-D822   7
+D822   3
 D823a  5
 D823b  0
 D824   0
@@ -234,6 +242,10 @@ D836       0
 D837   0
 D838   7
 D839   0
+D840   5
+D841   7
+D842   0
+D843   3
 D900   7
 D902   7
 D903   7
@@ -259,6 +271,7 @@ D1006       0
 D1006b 0
 D1007  0
 D1100  0
+D1100b 0
 D1101  1
 D1102  1
 D1102a 1
@@ -276,10 +289,10 @@ D1112     6
 D1113  4
 D1114  4
 D1115  6
-D1116  3
+D1116  7
 D1117  3
 D1117a 0
-D1118  1
+D1118  7
 D1119  5
 D1120  2
 D1120b 0
@@ -287,7 +300,7 @@ D1121a      5
 D1121b 0
 D1121c 6
 D1122  0
-D1123  0
+D1123  6
 D1124  7
 D1125  3
 D1126  1
@@ -306,8 +319,13 @@ D1138      0
 D1139  6
 D1140  0
 D1141  2
+D1142  0
+D1143  0
+D1144  0
+D1144b 0
 D1200  0
-D1201  0
+D1201a 0
+D1201b 0
 D1202  1
 D1203  7
 D1204  7
@@ -351,10 +369,10 @@ D1326     1
 D1327  1
 D1328  1
 D1329  1
-D1330  0
+D1330  7
 D1331  6
 D1332  0
-D1333  0
+D1333  7
 D1333b 7
 D1334  2
 D1335  1
@@ -363,15 +381,15 @@ D1337     0
 D1338  3
 D1339  1
 D1340  0
-D1341  0
-D1342  2
+D1341  7
+D1342  0
 D1343a 3
 D1343b 5
 D1343c 3
 D1343d 3
 D1344  6
-D1345  0
-D1346  0
+D1345  7
+D1346  7
 D1347  0
 D1348  6
 D1348b 6
@@ -385,11 +403,13 @@ D1354     4
 D1355  0
 D1356  1
 D1356a 1
+D1356b 0
 D1357  5
 D1358  0
 D1359  7
 D1360  0
-D1361  1
+D1361a 1
+D1361b 1
 D1362  0
 D1363  6
 D1364  0
@@ -399,7 +419,7 @@ D1367       1
 D1368  0
 D1370  3
 D1371  0
-D1372  7
+D1372  0
 D1373  3
 D1374  0
 D1375  7
@@ -409,7 +429,7 @@ D1378       2
 D1379  6
 D1380  1
 D1381  2
-D1382  4
+D1382  3
 D1383  0
 D1384  6
 D1385  6
@@ -418,6 +438,8 @@ D1386b      0
 D1387  0
 D1388  0
 D1389  0
+D1390  0
+D1391  6
 D1400  7
 D1400b 7
 D1401  7
@@ -433,9 +455,9 @@ D1409       7
 D1410  6
 D1411  7
 D1411b 7
-D1412  7
+D1412  3
 D1413  7
-D1414  3
+D1414  7
 D1415  1
 D1416  1
 D1417  1
@@ -445,4 +467,13 @@ D1420      2
 D1421  7
 D1422  0
 D1423  7
-D1424  4
+D1424  7
+DC01a  6
+DC01b  6
+DC02   0
+DE01a  0
+DE01b  0
+DE02   7
+DE03   7
+DE04   0
+DR01   7
Index: owl_vital_apats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/owl_vital_apats.dtr,v
retrieving revision 1.2
diff -u -p -r1.2 owl_vital_apats.dtr
--- owl_vital_apats.dtr 10 Jul 2003 12:58:25 -0000      1.2
+++ owl_vital_apats.dtr 12 Sep 2004 23:22:27 -0000
@@ -53,3 +53,4 @@ VA51  0
 VA52a  0
 VA52b  0
 VA53   7
+VA54   2