User:Heiner
From Sokoban Wiki
Revision as of 23:00, 21 November 2010 by Matthias Meger (Talk | contribs)
Hello Sokoban-Fans!
Contents |
About me
While I also have written a sokoban solver program, it is not the usual kind, that tries hard to find some solution at all, but I rather restrict to brute force methods, i.e. I only generate push-optimal solutions.
Also, no graphics.
Sometime I will publish the program (written in C), but currently I do not yet feel so.
My personal home page is: http://www.drb.insel.de/~heiner
I'm living in: Berlin, Germany.
Wanted
- A reference or link to "Edelkamp's work", as mentioned in Sokoban solver "scribbles" by Brian Damgaard about the YASS solver
Answer: http://www.tzi.de/~edelkamp/publications/ - A reference or link to explicitly push-optimal move numbers (that is not the same as a world record)
I don't know if such a link exists. However, the world records at sokobano.de are push optimal for most of the (small to middle size) levels. For small levels you can use a solver like JSoko which can solve easy levels push optimal to compare the results.
Microban
Since I'm not yet sure how that will look like in the end, as an experiment I show my current results of Microban (from Skinner). All but one (153) are solved:
Level 001 from Microban : 33 moves, 8 pushes Level 002 from Microban : 16 moves, 3 pushes Level 003 from Microban : 41 moves, 13 pushes Level 004 from Microban : 31 moves, 7 pushes Level 005 from Microban : 31 moves, 6 pushes Level 006 from Microban : 107 moves, 29 pushes Level 007 from Microban : 38 moves, 6 pushes Level 008 from Microban : 113 moves, 32 pushes Level 009 from Microban : 30 moves, 10 pushes Level 010 from Microban : 91 moves, 21 pushes Level 011 from Microban : 80 moves, 16 pushes Level 012 from Microban : 49 moves, 11 pushes Level 013 from Microban : 63 moves, 21 pushes Level 014 from Microban : 55 moves, 10 pushes Level 015 from Microban : 43 moves, 12 pushes Level 016 from Microban : 110 moves, 39 pushes Level 017 from Microban : 27 moves, 9 pushes Level 018 from Microban : 73 moves, 13 pushes Level 019 from Microban : 41 moves, 20 pushes Level 020 from Microban : 50 moves, 16 pushes Level 021 from Microban : 17 moves, 5 pushes Level 022 from Microban : 47 moves, 15 pushes Level 023 from Microban : 56 moves, 10 pushes Level 024 from Microban : 35 moves, 9 pushes Level 025 from Microban : 33 moves, 7 pushes Level 026 from Microban : 42 moves, 10 pushes Level 027 from Microban : 50 moves, 10 pushes Level 028 from Microban : 33 moves, 9 pushes Level 029 from Microban : 108 moves, 22 pushes Level 030 from Microban : 21 moves, 5 pushes Level 031 from Microban : 17 moves, 6 pushes Level 032 from Microban : 35 moves, 9 pushes Level 033 from Microban : 49 moves, 10 pushes Level 034 from Microban : 39 moves, 8 pushes Level 035 from Microban : 96 moves, 31 pushes Level 036 from Microban : 200 moves, 59 pushes Level 037 from Microban : 73 moves, 23 pushes Level 038 from Microban : 37 moves, 8 pushes Level 039 from Microban : 93 moves, 27 pushes Level 040 from Microban : 22 moves, 7 pushes Level 041 from Microban : 60 moves, 13 pushes Level 042 from Microban : 70 moves, 15 pushes Level 043 from Microban : 63 moves, 22 pushes Level 044 from Microban : 1 moves, 1 pushes Level 045 from Microban : 49 moves, 11 pushes Level 046 from Microban : 47 moves, 8 pushes Level 047 from Microban : 83 moves, 22 pushes Level 048 from Microban : 67 moves, 14 pushes Level 049 from Microban : 100 moves, 21 pushes Level 050 from Microban : 80 moves, 17 pushes Level 051 from Microban : 34 moves, 8 pushes Level 052 from Microban : 29 moves, 8 pushes Level 053 from Microban : 37 moves, 12 pushes Level 054 from Microban : 94 moves, 30 pushes Level 055 from Microban : 72 moves, 27 pushes Level 056 from Microban : 23 moves, 6 pushes Level 057 from Microban : 66 moves, 23 pushes Level 058 from Microban : 44 moves, 11 pushes Level 059 from Microban : 185 moves, 50 pushes Level 060 from Microban : 169 moves, 44 pushes Level 061 from Microban : 100 moves, 21 pushes Level 062 from Microban : 68 moves, 30 pushes Level 063 from Microban : 115 moves, 50 pushes Level 064 from Microban : 99 moves, 30 pushes Level 065 from Microban : 170 moves, 41 pushes Level 066 from Microban : 95 moves, 15 pushes Level 067 from Microban : 37 moves, 8 pushes Level 068 from Microban : 98 moves, 28 pushes Level 069 from Microban : 144 moves, 37 pushes Level 070 from Microban : 78 moves, 26 pushes Level 071 from Microban : 120 moves, 21 pushes Level 072 from Microban : 115 moves, 40 pushes Level 073 from Microban : 116 moves, 25 pushes Level 074 from Microban : 123 moves, 34 pushes Level 075 from Microban : 94 moves, 34 pushes Level 076 from Microban : 201 moves, 56 pushes Level 077 from Microban : 201 moves, 55 pushes Level 078 from Microban : 147 moves, 33 pushes Level 079 from Microban : 56 moves, 18 pushes Level 080 from Microban : 135 moves, 38 pushes Level 081 from Microban : 46 moves, 12 pushes Level 082 from Microban : 52 moves, 14 pushes Level 083 from Microban : 188 moves, 47 pushes Level 084 from Microban : 243 moves, 68 pushes Level 085 from Microban : 159 moves, 51 pushes Level 086 from Microban : 119 moves, 25 pushes Level 087 from Microban : 155 moves, 53 pushes Level 088 from Microban : 217 moves, 63 pushes Level 089 from Microban : 147 moves, 35 pushes Level 090 from Microban : 71 moves, 16 pushes Level 091 from Microban : 50 moves, 14 pushes Level 092 from Microban : 152 moves, 48 pushes Level 093 from Microban : 111 moves, 34 pushes Level 094 from Microban : 87 moves, 29 pushes Level 095 from Microban : 25 moves, 8 pushes Level 096 from Microban : 102 moves, 37 pushes Level 097 from Microban : 164 moves, 41 pushes Level 098 from Microban : 281 moves, 110 pushes Level 099 from Microban : 373 moves, 131 pushes Level 100 from Microban : 183 moves, 52 pushes Level 101 from Microban : 79 moves, 15 pushes Level 102 from Microban : 170 moves, 44 pushes Level 103 from Microban : 39 moves, 12 pushes Level 104 from Microban : 101 moves, 27 pushes Level 105 from Microban : 83 moves, 24 pushes Level 106 from Microban : 259 moves, 50 pushes Level 107 from Microban : 42 moves, 10 pushes Level 108 from Microban : 256 moves, 68 pushes Level 109 from Microban : 215 moves, 42 pushes Level 110 from Microban : 99 moves, 14 pushes Level 111 from Microban : 184 moves, 61 pushes Level 112 from Microban : 287 moves, 94 pushes Level 113 from Microban : 206 moves, 51 pushes Level 114 from Microban : 323 moves, 60 pushes Level 115 from Microban : 209 moves, 29 pushes Level 116 from Microban : 78 moves, 14 pushes Level 117 from Microban : 278 moves, 47 pushes Level 118 from Microban : 196 moves, 44 pushes Level 119 from Microban : 145 moves, 18 pushes Level 120 from Microban : 217 moves, 64 pushes Level 121 from Microban : 159 moves, 47 pushes Level 122 from Microban : 287 moves, 90 pushes Level 123 from Microban : 372 moves, 101 pushes Level 124 from Microban : 245 moves, 39 pushes Level 125 from Microban : 131 moves, 38 pushes Level 126 from Microban : 120 moves, 23 pushes Level 127 from Microban : 136 moves, 32 pushes Level 128 from Microban : 94 moves, 19 pushes Level 129 from Microban : 126 moves, 22 pushes Level 130 from Microban : 114 moves, 36 pushes Level 131 from Microban : 84 moves, 31 pushes Level 132 from Microban : 165 moves, 37 pushes Level 133 from Microban : 161 moves, 39 pushes Level 134 from Microban : 340 moves, 76 pushes Level 135 from Microban : 165 moves, 36 pushes Level 136 from Microban : 146 moves, 25 pushes Level 137 from Microban : 195 moves, 46 pushes Level 138 from Microban : 215 moves, 54 pushes Level 139 from Microban : 368 moves, 106 pushes Level 140 from Microban : 330 moves, 80 pushes Level 141 from Microban : 149 moves, 52 pushes Level 142 from Microban : 84 moves, 20 pushes Level 143 from Microban : 262 moves, 65 pushes Level 144 from Microban : 166 moves, 36 pushes Level 145 from Microban : 81 moves, 18 pushes Level 146 from Microban : 51 moves, 14 pushes Level 147 from Microban : 156 moves, 50 pushes Level 148 from Microban : 208 moves, 49 pushes Level 149 from Microban : 100 moves, 35 pushes Level 150 from Microban : 179 moves, 43 pushes Level 151 from Microban : 137 moves, 50 pushes Level 152 from Microban : 297 moves, 35 pushes Level 153 from Microban : -- moves, -- pushes Level 154 from Microban : 429 moves, 2 pushes Level 155 from Microban : 282 moves, 175 pushes
Note that all push numbers are optimal (minimal).
Results for Yoshio's Handmade
Level 001 from Yoshio's Handmade : 154 moves, 48 pushes Level 002 from Yoshio's Handmade : 100 moves, 17 pushes Level 003 from Yoshio's Handmade : 115 moves, 14 pushes Level 004 from Yoshio's Handmade : 84 moves, 11 pushes Level 005 from Yoshio's Handmade : 85 moves, 16 pushes Level 006 from Yoshio's Handmade : 76 moves, 16 pushes Level 007 from Yoshio's Handmade : 59 moves, 10 pushes Level 008 from Yoshio's Handmade : -- moves, -- pushes Level 009 from Yoshio's Handmade : 142 moves, 22 pushes Level 010 from Yoshio's Handmade : 43 moves, 14 pushes Level 011 from Yoshio's Handmade : 101 moves, 12 pushes Level 012 from Yoshio's Handmade : 69 moves, 20 pushes Level 013 from Yoshio's Handmade : -- moves, -- pushes Level 014 from Yoshio's Handmade : 225 moves, 47 pushes Level 015 from Yoshio's Handmade : 51 moves, 16 pushes Level 016 from Yoshio's Handmade : 66 moves, 17 pushes Level 017 from Yoshio's Handmade : 89 moves, 25 pushes Level 018 from Yoshio's Handmade : 178 moves, 51 pushes Level 019 from Yoshio's Handmade : 155 moves, 29 pushes Level 020 from Yoshio's Handmade : 199 moves, 45 pushes Level 021 from Yoshio's Handmade : 190 moves, 45 pushes Level 022 from Yoshio's Handmade : 179 moves, 35 pushes Level 023 from Yoshio's Handmade : 95 moves, 26 pushes Level 024 from Yoshio's Handmade : 119 moves, 24 pushes Level 025 from Yoshio's Handmade : 139 moves, 30 pushes Level 026 from Yoshio's Handmade : 129 moves, 33 pushes Level 027 from Yoshio's Handmade : 176 moves, 43 pushes Level 028 from Yoshio's Handmade : 143 moves, 24 pushes Level 029 from Yoshio's Handmade : 441 moves, 84 pushes Level 030 from Yoshio's Handmade : 93 moves, 25 pushes Level 031 from Yoshio's Handmade : 263 moves, 54 pushes Level 032 from Yoshio's Handmade : 145 moves, 28 pushes Level 033 from Yoshio's Handmade : 198 moves, 37 pushes Level 035 from Yoshio's Handmade : 344 moves, 61 pushes Level 036 from Yoshio's Handmade : 182 moves, 40 pushes Level 037 from Yoshio's Handmade : 117 moves, 21 pushes Level 038 from Yoshio's Handmade : 134 moves, 21 pushes Level 039 from Yoshio's Handmade : 126 moves, 18 pushes Level 040 from Yoshio's Handmade : 69 moves, 16 pushes Level 041 from Yoshio's Handmade : 188 moves, 28 pushes Level 042 from Yoshio's Handmade : 164 moves, 34 pushes Level 043 from Yoshio's Handmade : 210 moves, 33 pushes Level 044 from Yoshio's Handmade : 132 moves, 32 pushes Level 045 from Yoshio's Handmade : 273 moves, 35 pushes Level 046 from Yoshio's Handmade : 374 moves, 60 pushes Level 047 from Yoshio's Handmade : 139 moves, 30 pushes Level 048 from Yoshio's Handmade : 141 moves, 19 pushes Level 049 from Yoshio's Handmade : 120 moves, 26 pushes Level 050 from Yoshio's Handmade : 171 moves, 17 pushes Level 051 from Yoshio's Handmade : 228 moves, 34 pushes Level 052 from Yoshio's Handmade : 88 moves, 23 pushes Level 053 from Yoshio's Handmade : 72 moves, 12 pushes
My program seems to solve 2 levels, which JSoko does not solve: 27 and 29. Ha!
