gnugo-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[gnugo-devel] dfa optimization update


From: Paul Pogonyshev
Subject: [gnugo-devel] dfa optimization update
Date: Thu, 10 Jul 2003 00:25:25 +0000
User-agent: KMail/1.5.9

since there are no tuning patches pending, i think it is the right time to
submit dfa optimizations.  patch is attached, but actually i rebuilt .dtr
files from scratch.

                           no           shortest        current
    database          optimization  transformations      state          patched
-----------------------------------------------------------------------------------
aa_attackpats.db        432 (4k)        328 (3k)        325 (3k)        300 (3k)
owl_vital_apats.db     1220 (12k)      1037 (10k)       962 (9k)        956 (9k)
owl_attackpats.db     28011 (275k)    12710 (125k)     9588 (95k)      7545 
(75k)
owl_defendpats.db     41402 (406k)    18250 (180k)    39926 (392k)    10273 
(102k)
-----------------------------------------------------------------------------------
total                 71065 (697k)    32325 (318k)    50801 (499k)    19074 
(189k)
                      100.0%           45.5%           71.5%           26.8%

26.8% is very close to 4 times size decrease :)

Paul


Index: patterns/aa_attackpats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/aa_attackpats.dtr,v
retrieving revision 1.1
diff -u -p -r1.1 aa_attackpats.dtr
--- patterns/aa_attackpats.dtr  8 Feb 2003 15:20:28 -0000       1.1
+++ patterns/aa_attackpats.dtr  9 Jul 2003 21:12:04 -0000
@@ -1,18 +1,23 @@
 A1     1
-A2     2
+A2     3
 A3     0
 A4     0
-A5     0
-A6     0
+A5     1
+A6     1
 A7     1
-A8     4
-A9     3
-A10    0
+A8     1
+A9     0
+A10    2
 A11    4
-A12    6
+A12    0
 A13    7
-A14    0
-A15    0
-A16    0
+A14    1
+A15    6
+A16    6
 A17    0
 A18    6
+A19    1
+A20    6
+A21    0
+A22    1
+A23    5
Index: patterns/owl_attackpats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/owl_attackpats.dtr,v
retrieving revision 1.1
diff -u -p -r1.1 owl_attackpats.dtr
--- patterns/owl_attackpats.dtr 8 Feb 2003 15:20:28 -0000       1.1
+++ patterns/owl_attackpats.dtr 9 Jul 2003 21:12:04 -0000
@@ -1,270 +1,292 @@
 A1     0
-A2     5
-A3     0
+A2     0
+A3     1
 A101   5
-A102   7
-A103   6
-A104   0
+A102   0
+A103   7
+A104   7
 A105   7
 A106   7
-A107   0
-A108   3
-A109   0
+A107   6
+A108   0
+A109   1
 A110   0
-A111   1
-A112   0
+A111   6
+A112   1
 A113   4
-A114   3
+A114   0
 A115   0
 A201   7
 A203   7
-A204   7
-A205   4
-A205b  7
+A204   0
+A205   7
+A205b  0
 A206   7
-A206b  6
+A206b  0
 A207   0
-A207b  3
-A207c  0
-A207d  0
+A207b  7
+A207c  7
+A207d  7
 A208a  4
 A208b  3
-A209   6
+A208c  6
+A209   0
 A210   0
 A211   0
 A214   1
 A215   1
-A216   6
-A216b  6
+A216   0
+A216b  0
 A217   0
 A217b  0
 A217c  0
 A218   0
-A219   7
+A219   0
 A220   0
 A221   0
-A222   7
+A222   0
 A223   0
-A224   7
+A224   0
 A225   0
 A226   0
-A227   0
-A227b  0
+A227   3
+A227b  7
 A228   3
-A229   6
-A229b  0
-A229c  0
-A229d  0
+A229   7
+A229b  3
+A229c  3
+A229d  3
 A230   0
 A231   6
 A232   0
 A233   7
-A234   0
-A235   0
-A236   6
+A234   1
+A235   5
+A236   0
+A237   0
+A238   6
 A301   0
 A302   0
-A305   6
-A401   0
-A401a  0
-A402   1
-A403   0
-A403b  0
+A305   0
+A401   5
+A401a  5
+A402   5
+A403   1
+A403b  1
 A404   1
 A406   3
 A406b  3
-A406c  3
-A407   5
+A406c  4
+A407   2
 A408   4
-A409   2
+A409   6
 A410   0
 A411   4
 A411a  4
-A413a  2
-A414   1
-A414a  1
+A413a  3
+A414   2
+A414a  2
 A415   3
-A416   5
+A416   6
 A417   0
-A418   5
+A418   0
 A419   6
 A419b  6
-A420   6
+A420   0
 A421   3
 A422   0
 A422a  0
-A423   0
-A423a  0
-A501   0
+A423   1
+A423a  1
+A424   7
+A501   7
 A502   6
 A503   0
 A504   0
 A505   0
 A506   6
-A507   0
-A508   0
-A509   0
+A507   1
+A508   7
+A509   1
 A510   3
-A511   7
+A511   0
 A512   3
-A513   6
-A514   1
-A601   6
-A602   5
-A603   7
-A603b  6
+A513   0
+A514   6
+A515   7
+A516   0
+A517   0
+A601   1
+A602   1
+A603   0
+A603b  0
 A604   7
-A605   6
+A605   7
 A606   0
-A607   6
-A607b  0
-A608   6
-A609   7
-A610   3
-A611   6
+A607   7
+A607b  7
+A608   7
+A609   0
+A610   7
+A611   0
 A612   0
-A613   7
-A614   7
+A613   3
+A614   3
 A615   0
-A616   0
+A616   6
 A617   0
 A618   3
 A619   3
+A620   0
+A621   7
 A701   4
-A702   3
-A703   0
-A704   6
+A702   4
+A703   6
+A704   1
 A705b  1
 A706   6
 A707   6
 A708   0
 A709   1
 A710   0
-A711   1
+A711   6
 A712   0
 A713   6
-A714   0
-A715   6
-A716   1
-A717   0
-A718   6
+A714   6
+A715   0
+A716   6
+A717   7
+A718   7
+A719   0
+A720   7
+A721   0
 A801   0
-A802   0
+A802   1
 A803   0
 A804   0
-A805   7
-A806   7
-A807   2
+A805   0
+A806   0
+A807   0
 A808   7
 A809   6
-A810   6
+A810   1
 A811   1
-A901   0
-A902   7
-A902b  7
+A812   2
+A901   3
+A902   0
+A902b  0
 A903   0
-A904   4
-A905   7
+A904   3
+A905   1
 A907   0
-A908   7
-A909   0
-A910   6
-A911   3
-A912   0
-A913   7
-A914   7
-A915   7
-A916   3
-A917   0
-A918   4
+A908   0
+A909   7
+A910   0
+A911   0
+A912   7
+A913   6
+A914   6
+A915   0
+A916   0
+A917   3
+A918   7
+A919   0
+A920   7
 A1001  0
 A1001b 0
-A1002  0
-A1003  0
+A1002  3
+A1003  3
 A1005  3
 A1005b 3
-A1006  0
+A1006  7
 A1006b 7
 A1008  2
 A1008b 6
-A1009  0
-A1010  7
+A1009  6
+A1010  3
 A1011  7
-A1012  6
-A1013  0
-A1014  3
-A1015  0
-A1015a 0
-A1016  0
-A1016a 0
+A1012  0
+A1013  6
+A1014  7
+A1015  6
+A1015a 6
+A1016  7
+A1016a 7
 A1017  1
 A1018  0
-A1019  5
-A1020  1
+A1019  1
+A1020  2
+A1021  6
+A1022  2
+A1023  7
 A1100  0
-A1101  0
-A1101b 0
+A1101  1
+A1101b 1
 A1101c 2
-A1102  0
-A1104  1
-A1105  7
-A1106  7
-A1107  0
-A1107b 6
-A1107c 6
+A1102  1
+A1104  4
+A1105  0
+A1106  0
+A1107  1
+A1107b 1
+A1107c 1
 A1108  0
 A1109  7
 A1110  0
 A1111  6
 A1112  6
-A1113  3
-A1114  4
-A1115  0
-A1116  7
-A1117  0
-A1117a 0
-A1118  7
+A1113  2
+A1114  3
+A1115  6
+A1116  0
+A1117  2
+A1117a 2
+A1118  0
 A1119  6
 A1121  1
 A1122  0
 A1122a 0
-A1123  0
-A1123a 0
-A1124  0
-A1124a 0
-A1125  5
+A1123  7
+A1123a 7
+A1124  7
+A1124a 7
+A1125  1
 A1126  2
-A1127  5
-A1127a 5
-A1128  0
-A1129  0
+A1127  2
+A1127a 2
+A1128  7
+A1129  6
 A1130  3
+A1131  6
+A1132  0
+A1133a 0
+A1133b 0
 A1201  0
-A1203  5
-A1204  2
-A1205  5
-A1206  5
-A1207  4
-A1208  3
+A1203  2
+A1204  5
+A1205  1
+A1206  1
+A1207  3
+A1208  6
 A1209  0
 A1301  0
-A1302  7
-A1303  7
-A1303b 6
-A1304  3
-A1305  3
+A1302  3
+A1303  4
+A1303b 7
+A1304  7
+A1305  0
 A1305b 7
-A1306  3
+A1306  0
 A1307  0
 A1308  7
 A1309  7
-A1310  6
-A1310b 7
-A1311  0
-A1311b 0
+A1310  0
+A1310b 0
+A1311  6
+A1311b 6
 A1312  7
-A1313  0
-A1314  3
+A1313  6
+A1314  7
 A1315  0
 A1316  0
 A1317  7
@@ -272,36 +294,39 @@ A1318     0
 A1319  7
 A1319b 0
 A1319c 7
-A1320  0
-A1321  3
-A1322  7
+A1320  3
+A1321  0
+A1322  4
 A1323  0
 A1324  7
 A1325  0
-A1326  6
+A1326  2
 A1327  0
-A1328  0
-A1329  3
-A1330  7
-A1331  2
-A1332  3
+A1328  7
+A1329  7
+A1330  0
+A1331  3
+A1332  7
 A1333  7
 A1334  7
-A1335  4
+A1335  7
 A1335b 0
 A1336  0
 A1337  0
 A1338  6
 A1339  0
-A1340  6
+A1340  7
 A1341  0
-A1342  7
+A1342  3
 A1343  3
 A1344  0
 A1345  3
 A1346  3
 A1347  7
 A1348  0
+A1349a 0
+A1349b 0
+A1350  7
 A1401  0
 A1403  7
 A1501  1
@@ -309,17 +334,17 @@ A1502     1
 A1503  5
 A1503a 5
 A1504  6
-A1601  0
-A1602  0
-A1603  0
+A1601  6
+A1602  3
+A1603  7
 A1604  0
 A1605  0
-A1606  0
-A1607  0
+A1606  3
+A1607  7
 A1608  3
 A1608b 0
 A1609  0
 A1610  0
 A1611  0
-A1612  6
+A1612  0
 A1613  0
Index: patterns/owl_defendpats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/owl_defendpats.dtr,v
retrieving revision 1.1
diff -u -p -r1.1 owl_defendpats.dtr
--- patterns/owl_defendpats.dtr 8 Feb 2003 15:20:28 -0000       1.1
+++ patterns/owl_defendpats.dtr 9 Jul 2003 21:12:05 -0000
@@ -1,426 +1,448 @@
-D1     1
-D2     3
+D1     5
+D2     7
 D3     7
 D4     1
 D100   0
 D101   4
-D102   3
-D103   6
-D104   3
-D104b  6
-D105   2
-D106   3
+D102   0
+D103   0
+D104   0
+D104b  0
+D105   5
+D106   7
 D107   0
 D108   0
-D109   6
+D109   0
 D110   0
-D111   6
+D111   7
 D112   0
-D113   3
-D114   0
+D113   7
+D114   6
 D115   0
-D116   7
+D116   3
 D117   0
-D118   6
+D118   7
 D119   7
-D120   6
+D120   0
 D121   7
-D122   6
-D123   0
-D124   6
-D200   6
-D201   6
+D122   0
+D123   6
+D124   7
+D200   0
+D201   0
 D202   0
-D203   3
-D204   0
-D205   7
-D206   1
+D203   0
+D204   6
+D205   0
+D206   0
 D207   0
 D208   6
 D209   0
 D209a  0
-D209b  6
+D209b  0
 D210   0
 D211   4
 D212   0
-D213   0
-D214   6
+D213   6
+D214   0
 D215   0
-D216   3
+D216   7
 D217   0
-D217a  6
+D217a  0
 D217b  0
 D217c  0
 D218   0
-D219   7
-D220   6
+D220   0
 D221   0
-D222   6
+D222   0
 D223   7
 D224   6
-D225   0
-D226   0
+D225   7
+D226   6
 D227   7
-D228   7
-D229   2
+D228   0
+D229   3
 D230   7
-D231   2
-D232   3
+D231   4
+D232   0
+D233   0
 D300   1
-D301   0
+D301   6
 D302   7
-D303   1
-D304   1
-D305   3
+D303   6
+D304   6
+D305   7
 D306   6
-D307   0
+D307   7
 D308   3
-D309   0
-D309a  0
-D309b  0
-D310a  1
-D310b  1
-D311   7
+D309   6
+D309a  6
+D309b  6
+D310a  0
+D310b  0
+D311   0
 D313   3
 D314   7
 D315   1
-D316   0
-D317   1
-D318   1
-D319   3
+D316   6
+D317   6
+D318   6
+D319   7
 D320   2
-D400   0
-D401   5
-D402   0
-D403   6
-D404   0
-D405   3
+D400   1
+D401   1
+D402   6
+D403   5
+D404   6
+D405   7
 D406   0
-D407   7
+D407   0
 D408   0
 D409   0
 D500   0
 D502   0
 D503   3
-D504   5
+D504   1
 D505   0
-D506   6
+D506   0
 D507   0
 D508   0
-D509   6
+D509   7
 D510   6
 D511   7
-D512   7
-D513   6
-D514   0
-D600   0
-D600a  0
-D602   0
-D603   0
+D512   0
+D513   0
+D514   6
+D515   0
+D600   2
+D600a  2
+D602   1
+D603   1
 D604   0
 D604a  0
-D605   6
-D606   0
-D607   0
+D605   7
+D606   1
+D607   7
 D608   0
 D608b  6
-D609   0
+D609   6
 D610   0
 D611   6
 D612   7
-D613   0
-D614   3
+D613   3
+D614   0
 D614b  0
 D615   3
 D616   2
 D616a  0
 D617   2
-D618   0
+D618   2
 D619   2
 D620   7
 D621   0
 D622   0
-D623   6
-D624   6
-D625   2
-D626   3
+D623   0
+D624   7
+D625   7
+D626   0
 D627   0
 D628   0
 D629   7
-D630   4
+D630   5
 D631   6
 D632   0
 D633   3
-D634   3
-D635   0
+D634   7
+D635   7
 D636   7
-D637   4
-D638   0
-D700   0
-D701   5
-D702   5
-D703   6
-D704   5
-D704b  0
+D637   2
+D638   7
+D639   0
+D640   7
+D641   0
+D642   7
+D643   6
+D700   1
+D701   6
+D702   6
+D703   0
+D704   1
+D704b  7
 D705   0
-D706   6
-D707   1
-D708   2
-D709   6
-D710   5
+D706   0
+D707   0
+D708   4
+D709   1
+D710   1
 D711   0
-D712   5
+D712   1
 D713   0
-D714   6
-D715   0
-D715b  2
-D716   5
-D717   4
-D718   0
+D714   7
+D715   1
+D715b  7
+D715c  6
+D716   6
+D717   1
+D718   6
 D720   7
 D721   3
+D722   4
 D800   0
-D801   6
+D801   0
 D802   0
 D803   6
-D804   6
-D804b  6
+D804   0
+D804b  0
 D805   0
-D805a  0
+D805a  6
 D805b  7
 D806   0
 D807   0
-D808   4
-D809   4
+D808   0
+D809   0
 D810   7
-D811   3
+D811   7
 D811a  3
-D812   3
-D813   3
+D812   0
+D813   7
 D814   7
 D815   7
 D816   3
 D817   3
-D818   3
-D818b  3
+D818   0
+D818b  0
 D819   3
 D820   0
 D820b  0
 D821   7
 D822   7
-D823a  0
-D823b  6
-D824   7
-D825   0
+D823a  5
+D823b  0
+D824   0
+D825   7
 D826   3
 D827   0
-D828   0
+D828   5
 D829   7
-D830   7
-D831   7
-D832   3
-D833   6
-D834   6
+D830   3
+D831   0
+D832   7
+D833   0
+D834   0
 D835   7
 D836   0
 D837   0
 D838   7
-D839   3
-D900   3
-D902   3
-D903   3
-D904   6
-D905   6
-D906   0
-D907   0
+D839   0
+D900   7
+D902   7
+D903   7
+D904   0
+D905   0
+D906   3
+D907   3
 D908   3
-D909   0
-D910a  0
-D910b  0
+D909   1
+D910a  6
+D910b  6
 D911   0
 D1000  0
 D1000a 1
-D1001  1
+D1001  5
 D1001b 0
-D1002  1
-D1003  5
-D1004  5
-D1004b 5
+D1002  5
+D1003  1
+D1004  1
+D1004b 1
 D1005  7
 D1006  0
 D1006b 0
 D1007  0
 D1100  0
-D1101  0
-D1102  0
+D1101  1
+D1102  1
 D1102a 1
 D1103  0
-D1104  0
+D1104  6
 D1105  0
-D1106  5
-D1107  3
-D1108  6
-D1108b 0
-D1109  5
+D1106  1
+D1107  0
+D1108  7
+D1108b 7
+D1109  6
 D1110  1
 D1111  6
-D1112  0
-D1113  7
-D1114  7
-D1115  0
+D1112  6
+D1113  4
+D1114  4
+D1115  6
 D1116  3
 D1117  3
 D1117a 0
 D1118  1
-D1119  2
-D1120  4
+D1119  5
+D1120  2
 D1120b 0
-D1121  5
-D1122  3
+D1121a 5
+D1121b 0
+D1121c 6
+D1122  0
 D1123  0
-D1124  0
+D1124  7
 D1125  3
 D1126  1
-D1127  2
+D1127  5
 D1128  3
-D1129  0
+D1129  1
 D1130  0
-D1131  1
-D1132  0
-D1133  3
+D1131  6
+D1132  6
+D1133  0
 D1134  5
 D1135  6
 D1136  1
-D1137  0
+D1137  6
 D1138  0
 D1139  6
 D1140  0
 D1141  2
-D1200  7
-D1201  7
-D1202  6
-D1203  0
+D1200  0
+D1201  0
+D1202  1
+D1203  7
 D1204  7
-D1205  0
+D1205  1
 D1206  1
 D1300  0
 D1300b 0
-D1301  6
-D1301b 6
-D1302  7
+D1301  0
+D1301b 0
+D1302  0
 D1303  0
 D1304  0
-D1305  7
-D1306  6
-D1307  2
+D1305  3
+D1306  7
+D1307  4
 D1308  0
 D1309  0
-D1309b 6
+D1309b 0
 D1310  0
 D1311  1
-D1312  4
+D1312  2
 D1313  1
-D1314  7
-D1315  0
+D1314  3
+D1315  6
 D1316  6
+D1316b 6
 D1317  3
-D1319  4
+D1318  4
+D1319  5
 D1320  1
-D1320a 0
-D1321  0
-D1322  0
+D1320a 6
+D1320b 1
+D1321  1
+D1321b 1
+D1322  1
 D1323  1
-D1323a 0
-D1324  0
-D1325  2
+D1323a 6
+D1324  1
+D1325  1
 D1326  1
-D1327  0
-D1328  0
-D1329  0
-D1330  6
+D1327  1
+D1328  1
+D1329  1
+D1330  0
 D1331  6
-D1332  7
-D1333  7
-D1333b 0
-D1334  1
+D1332  0
+D1333  0
+D1333b 7
+D1334  2
 D1335  1
 D1336  5
 D1337  0
-D1338  4
-D1339  0
+D1338  3
+D1339  1
 D1340  0
-D1341  6
-D1342  5
+D1341  0
+D1342  2
 D1343a 3
 D1343b 5
 D1343c 3
 D1343d 3
 D1344  6
-D1345  7
-D1346  6
-D1347  2
+D1345  0
+D1346  0
+D1347  0
 D1348  6
-D1350  0
+D1348b 6
+D1348c 6
+D1348d 6
+D1350  1
 D1351  7
-D1352  0
+D1352  6
 D1353  6
-D1354  2
-D1355  7
-D1356  0
-D1356a 0
-D1357  1
-D1358  6
-D1359  6
-D1360  6
+D1354  4
+D1355  0
+D1356  1
+D1356a 1
+D1357  5
+D1358  0
+D1359  7
+D1360  0
 D1361  1
-D1362  6
+D1362  0
 D1363  6
 D1364  0
 D1365  7
 D1366  1
-D1367  5
-D1368  3
-D1370  7
-D1371  6
+D1367  1
+D1368  0
+D1370  3
+D1371  0
 D1372  7
 D1373  3
-D1374  3
-D1375  0
+D1374  0
+D1375  7
 D1376  7
 D1377  7
-D1378  1
-D1379  0
+D1378  2
+D1379  6
 D1380  1
-D1381  1
-D1382  3
-D1383  3
-D1384  0
-D1385  5
-D1400  4
-D1400b 4
-D1401  4
+D1381  2
+D1382  4
+D1383  0
+D1384  6
+D1385  6
+D1386a 0
+D1386b 0
+D1387  0
+D1388  0
+D1389  0
+D1400  7
+D1400b 7
+D1401  7
 D1402  0
-D1403  6
-D1404  6
-D1405  6
-D1405b 2
-D1406  6
+D1403  7
+D1404  3
+D1405  3
+D1405b 3
+D1406  3
 D1407  7
 D1408  7
-D1409  3
+D1409  7
 D1410  6
 D1411  7
 D1411b 7
 D1412  7
-D1413  6
-D1414  7
-D1415  5
-D1416  0
-D1417  5
-D1418  0
-D1419  3
-D1420  3
-D1421  0
+D1413  7
+D1414  3
+D1415  1
+D1416  1
+D1417  1
+D1418  1
+D1419  2
+D1420  2
+D1421  7
 D1422  0
 D1423  7
-D1424  3
+D1424  4
Index: patterns/owl_vital_apats.dtr
===================================================================
RCS file: /cvsroot/gnugo/gnugo/patterns/owl_vital_apats.dtr,v
retrieving revision 1.1
diff -u -p -r1.1 owl_vital_apats.dtr
--- patterns/owl_vital_apats.dtr        8 Feb 2003 15:20:28 -0000       1.1
+++ patterns/owl_vital_apats.dtr        9 Jul 2003 21:12:05 -0000
@@ -1,6 +1,6 @@
-VA1    0
-VA2    0
-VA3    3
+VA1    1
+VA2    6
+VA3    7
 VA4    0
 VA5    3
 VA6    7
@@ -10,14 +10,14 @@ VA9 1
 VA10   1
 VA11   0
 VA12   7
-VA13   0
+VA13   7
 VA14   0
 VA15   6
-VA16   2
-VA17   6
+VA16   4
+VA17   1
 VA18   3
 VA19   0
-VA20   3
+VA20   0
 VA21   0
 VA22   3
 VA23   7
@@ -26,9 +26,9 @@ VA25  7
 VA26   0
 VA26b  0
 VA27   0
-VA28   7
-VA29   6
-VA30   0
+VA28   0
+VA29   7
+VA30   6
 VA31   1
 VA32   0
 VA33   6
@@ -36,11 +36,11 @@ VA34        0
 VA35   0
 VA36   1
 VA37   0
-VA38   7
-VA39   1
+VA38   3
+VA39   6
 VA40   1
 VA41   0
-VA42   3
+VA42   7
 VA43   0
 VA44   1
 VA45   0
@@ -50,3 +50,6 @@ VA48  2
 VA49   0
 VA50   0
 VA51   0
+VA52a  0
+VA52b  0
+VA53   7




reply via email to

[Prev in Thread] Current Thread [Next in Thread]