找回密码
 欢迎注册
楼主: mathe

[转载] 一道数字操作题

[复制链接]
 楼主| 发表于 2008-6-5 19:00:06 | 显示全部楼层
结果程序验证n=7时结果时142,也就是说这个命题不成立了(假设程序已经没有BUG的话)
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-6-5 21:27:34 | 显示全部楼层
n=8时应该结果是222。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-6-5 21:43:58 | 显示全部楼层
恩,不是简单分两段搞的定的,有递归结构
mathe可否把结果贴出?
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-6-5 21:50:44 | 显示全部楼层
贴吧上链接中有n<=6的结果。
而且其实结果都不唯一
n=7的结果
0 50 95 118 131 138 142
0 50 95 118 131 138 141
0 51 95 118 131 138 140
0 53 95 118 131 138 139
0 53 95 118 131 134 138
0 53 95 118 131 134 137
0 54 95 118 131 134 136
0 56 95 118 131 134 135
0 56 95 118 121 131 134
0 56 95 118 122 131 133
0 56 95 118 124 131 132
0 56 95 118 125 127 131
0 56 95 118 125 128 130
0 58 95 118 125 128 129
0 58 95 98 118 125 128
0 58 95 99 118 125 127
0 58 95 101 118 125 126
0 58 95 101 118 121 125
0 58 95 101 118 122 124
0 58 95 103 118 122 123
0 58 95 103 106 118 122
0 58 95 106 118 120 121
0 58 95 106 109 118 120
0 58 95 106 111 118 119
0 58 95 106 113 114 118
0 58 95 106 113 116 117
0 58 61 95 106 113 116
0 58 62 95 106 113 115
0 58 64 95 106 113 114
0 58 64 95 106 109 113
0 58 64 95 106 110 112
0 58 66 95 106 110 111
0 58 68 95 106 107 110
0 58 69 95 106 108 109
0 58 70 95 97 106 108
0 58 70 95 99 106 107
0 58 70 95 99 102 106
0 58 70 95 99 103 105
0 58 72 95 99 103 104
0 58 72 75 95 99 103
0 58 75 95 99 101 102
0 58 75 78 95 99 101
0 58 75 80 95 99 100
0 58 75 80 83 95 99
0 58 75 83 95 97 98
0 58 75 84 86 95 97
0 58 75 84 88 95 96
0 58 75 84 90 91 95
0 58 75 84 90 93 94
0 3 58 75 84 90 93
0 4 58 75 84 90 92
0 6 58 75 84 90 91
0 7 58 75 84 86 90
0 7 58 75 84 87 89
0 9 58 75 84 87 88
0 11 58 75 84 85 87
0 13 58 75 84 85 86
0 14 58 75 77 84 85
0 14 58 75 78 80 84
0 14 58 75 78 81 83
0 16 58 75 78 81 82
0 16 19 58 75 78 81
0 20 58 75 78 79 80
0 20 58 61 75 78 79
0 20 58 61 64 75 78
0 20 58 65 75 76 77
0 20 58 65 68 75 76
0 20 58 65 69 71 75
0 20 58 65 69 72 74
0 22 58 65 69 72 73
0 22 25 58 65 69 72
0 26 58 65 69 70 71
0 26 29 58 65 69 70
0 26 29 32 58 65 69
0 32 58 65 66 67 68
0 32 35 58 65 66 67
0 32 35 38 58 65 66
0 32 35 38 58 61 65
0 38 58 61 62 63 64
0 38 41 58 61 62 63
0 38 41 44 58 61 62
0 38 41 44 47 58 61
0 38 41 48 58 59 60
0 38 41 48 51 58 59
0 38 41 48 51 54 58
0 38 41 48 51 54 57
0 38 41 48 51 52 56
0 38 41 48 51 52 55
0 38 41 48 51 52 54
0 38 43 48 51 52 53
0 3 38 43 48 51 52
0 3 6 38 43 48 51
0 7 38 43 48 49 50
0 7 10 38 43 48 49
0 7 12 38 43 44 48
0 12 38 43 44 45 47
0 14 38 43 44 45 46
0 14 17 38 43 44 45
0 14 17 20 38 43 44
0 14 17 22 38 39 43
0 22 38 39 40 41 42
0 22 25 38 39 40 41
0 22 25 28 38 39 40
0 22 25 28 31 38 39
0 22 25 28 31 34 38
0 22 25 28 31 34 37
0 22 25 28 31 32 36
0 22 25 28 31 32 35
0 22 25 28 31 32 34
0 0 22 25 28 32 33
0 0 0 1 22 28 32
0 0 0 1 22 28 31
0 0 0 1 22 28 30
0 0 0 3 22 28 29
0 0 0 4 22 24 28
0 4 22 24 25 26 27
0 4 7 22 24 25 26
0 4 7 10 22 24 25
0 4 7 10 13 22 24
0 4 7 10 15 22 23
0 4 7 10 15 18 22
0 4 7 10 15 18 21
0 4 7 10 15 16 20
0 4 7 10 15 16 19
0 4 7 10 15 16 18
0 0 4 7 10 16 17
0 0 0 4 7 12 16
0 0 0 4 7 12 15
0 0 0 0 4 12 14
0 0 0 0 5 12 13
0 0 0 0 5 8 12
0 0 0 0 5 8 11
0 0 0 0 5 6 10
0 0 0 0 5 6 9
0 0 0 0 5 6 8
0 0 0 0 0 6 7
0 0 0 0 1 2 6
0 0 0 0 1 2 5
0 0 0 0 1 2 4
0 0 0 0 0 2 3
0 0 0 0 0 1 2
0 0 0 0 0 0 1

n=8时结果我还没有整理出来,不过计算机分析可以的初试状态为:
222 218 211 199 176 139 76-86
222 218 211 199 176 138 77-86
222 218 211 199 176 137 78-86
222 218 211 199 176 136 79-86
222 218 211 199 176 135 80-86
222 218 211 199 176 134 81-86
222 218 211 199 176 133 82-86
222 218 211 199 176 132 83-86
222 218 211 199 175 139 77-86
222 218 211 199 175 138 78-86
222 218 211 199 175 137 79-86
222 218 211 199 175 136 80-86
222 218 211 199 175 135 81-86
222 218 211 199 175 134 82-86
222 218 211 199 175 133 83-86
222 218 211 199 174 139 78-86
222 218 211 199 174 138 79-86
222 218 211 199 174 137 80-86
222 218 211 199 174 136 81-86
222 218 211 199 174 135 82-86
222 218 211 199 174 134 83-86
222 218 211 199 173 139 79-86
222 218 211 199 173 138 80-86
222 218 211 199 173 137 81-86
222 218 211 199 173 136 82-86
222 218 211 199 173 135 83-86
222 218 211 199 172 139 80-86
222 218 211 199 172 138 81-86
222 218 211 199 172 137 82-86
222 218 211 199 172 136 83-86
222 218 211 199 171 139 81-86
222 218 211 199 171 138 82-86
222 218 211 199 171 137 83-86
222 218 211 199 170 139 82-86
222 218 211 199 170 138 83-86
222 218 211 199 169 139 83-86
222 218 211 198 176 139 77-86
222 218 211 198 176 138 78-86
222 218 211 198 176 137 79-86
222 218 211 198 176 136 80-86
222 218 211 198 176 135 81-86
222 218 211 198 176 134 82-86
222 218 211 198 176 133 83-86
222 218 211 198 175 139 78-86
222 218 211 198 175 138 75-86
222 218 211 198 175 137 76-86
222 218 211 198 175 136 77-86
222 218 211 198 175 135 78-86
222 218 211 198 175 134 79-86
222 218 211 198 175 133 80-85
222 218 211 198 175 132 81-85
222 218 211 198 175 131 82-85
222 218 211 198 175 130 83-85
222 218 211 198 174 139 79-86
222 218 211 198 174 138 76-86
222 218 211 198 174 137 77-86
222 218 211 198 174 136 78-86
222 218 211 198 174 135 79-86
222 218 211 198 174 134 80-85
222 218 211 198 174 133 81-85
222 218 211 198 174 132 82-85
222 218 211 198 174 131 83-85
222 218 211 198 173 139 80-86
222 218 211 198 173 138 77-86
222 218 211 198 173 137 78-86
222 218 211 198 173 136 79-86
222 218 211 198 173 135 80-85
222 218 211 198 173 134 81-85
222 218 211 198 173 133 82-85
222 218 211 198 173 132 83-85
222 218 211 198 172 139 81-86
222 218 211 198 172 138 78-86
222 218 211 198 172 137 79-86
222 218 211 198 172 136 80-85
222 218 211 198 172 135 81-85
222 218 211 198 172 134 82-85
222 218 211 198 172 133 83-85
222 218 211 198 171 139 82-86
222 218 211 198 171 138 79-86
222 218 211 198 171 137 80-85
222 218 211 198 171 136 81-85
222 218 211 198 171 135 82-85
222 218 211 198 171 134 83-85
222 218 211 198 170 139 83-86
222 218 211 198 170 138 80-85
222 218 211 198 170 137 81-85
222 218 211 198 170 136 82-85
222 218 211 198 170 135 83-85
222 218 211 198 169 138 81-85
222 218 211 198 169 137 82-85
222 218 211 198 169 136 83-85
222 218 211 198 168 138 82-85
222 218 211 198 168 137 83-85
222 218 211 198 167 138 83-85
222 218 211 197 176 139 78-86
222 218 211 197 176 138 79-86
222 218 211 197 176 137 80-86
222 218 211 197 176 136 81-86
222 218 211 197 176 135 82-86
222 218 211 197 176 134 83-86
222 218 211 197 175 139 79-86
222 218 211 197 175 138 76-86
222 218 211 197 175 137 77-86
222 218 211 197 175 136 78-86
222 218 211 197 175 135 79-86
222 218 211 197 175 134 80-85
222 218 211 197 175 133 81-85
222 218 211 197 175 132 82-85
222 218 211 197 175 131 83-85
222 218 211 197 174 139 80-86
222 218 211 197 174 138 77-86
222 218 211 197 174 137 78-86
222 218 211 197 174 136 79-86
222 218 211 197 174 135 80-85
222 218 211 197 174 134 81-85
222 218 211 197 174 133 82-85
222 218 211 197 174 132 83-85
222 218 211 197 173 139 81-86
222 218 211 197 173 138 78-86
222 218 211 197 173 137 79-86
222 218 211 197 173 136 80-85
222 218 211 197 173 135 81-85
222 218 211 197 173 134 82-85
222 218 211 197 173 133 83-85
222 218 211 197 172 139 82-86
222 218 211 197 172 138 79-86
222 218 211 197 172 137 80-85
222 218 211 197 172 136 81-85
222 218 211 197 172 135 82-85
222 218 211 197 172 134 83-85
222 218 211 197 171 139 83-86
222 218 211 197 171 138 80-85
222 218 211 197 171 137 81-85
222 218 211 197 171 136 82-85
222 218 211 197 171 135 83-85
222 218 211 197 170 138 81-85
222 218 211 197 170 137 82-85
222 218 211 197 170 136 83-85
222 218 211 197 169 138 82-85
222 218 211 197 169 137 83-85
222 218 211 197 168 138 83-85
222 218 211 196 176 139 79-86
222 218 211 196 176 138 80-86
222 218 211 196 176 137 81-86
222 218 211 196 176 136 82-86
222 218 211 196 176 135 83-86
222 218 211 196 175 139 80-86
222 218 211 196 175 138 77-86
222 218 211 196 175 137 78-86
222 218 211 196 175 136 79-86
222 218 211 196 175 135 80-85
222 218 211 196 175 134 81-85
222 218 211 196 175 133 82-85
222 218 211 196 175 132 83-85
222 218 211 196 174 139 81-86
222 218 211 196 174 138 78-86
222 218 211 196 174 137 79-86
222 218 211 196 174 136 80-85
222 218 211 196 174 135 81-85
222 218 211 196 174 134 82-85
222 218 211 196 174 133 83-85
222 218 211 196 173 139 82-86
222 218 211 196 173 138 79-86
222 218 211 196 173 137 80-85
222 218 211 196 173 136 81-85
222 218 211 196 173 135 82-85
222 218 211 196 173 134 83-85
222 218 211 196 172 139 83-86
222 218 211 196 172 138 80-85
222 218 211 196 172 137 81-85
222 218 211 196 172 136 82-85
222 218 211 196 172 135 83-85
222 218 211 196 171 138 81-85
222 218 211 196 171 137 82-85
222 218 211 196 171 136 83-85
222 218 211 196 170 138 82-85
222 218 211 196 170 137 83-85
222 218 211 196 169 138 83-85
222 218 211 195 176 139 80-86
222 218 211 195 176 138 81-86
222 218 211 195 176 137 82-86
222 218 211 195 176 136 83-86
222 218 211 195 175 139 81-86
222 218 211 195 175 138 78-86
222 218 211 195 175 137 79-86
222 218 211 195 175 136 80-85
222 218 211 195 175 135 81-85
222 218 211 195 175 134 82-85
222 218 211 195 175 133 83-85
222 218 211 195 174 139 82-86
222 218 211 195 174 138 79-86
222 218 211 195 174 137 80-85
222 218 211 195 174 136 81-85
222 218 211 195 174 135 82-85
222 218 211 195 174 134 83-85
222 218 211 195 173 139 83-86
222 218 211 195 173 138 80-85
222 218 211 195 173 137 81-85
222 218 211 195 173 136 82-85
222 218 211 195 173 135 83-85
222 218 211 195 172 138 81-85
222 218 211 195 172 137 82-85
222 218 211 195 172 136 83-85
222 218 211 195 171 138 82-85
222 218 211 195 171 137 83-85
222 218 211 195 170 138 83-85
222 218 211 194 176 139 81-86
222 218 211 194 176 138 82-86
222 218 211 194 176 137 83-86
222 218 211 194 175 139 82-86
222 218 211 194 175 138 79-86
222 218 211 194 175 137 80-85
222 218 211 194 175 136 81-85
222 218 211 194 175 135 82-85
222 218 211 194 175 134 83-85
222 218 211 194 174 139 83-86
222 218 211 194 174 138 80-85
222 218 211 194 174 137 81-85
222 218 211 194 174 136 82-85
222 218 211 194 174 135 83-85
222 218 211 194 173 138 81-85
222 218 211 194 173 137 82-85
222 218 211 194 173 136 83-85
222 218 211 194 172 138 82-85
222 218 211 194 172 137 83-85
222 218 211 194 171 138 83-85
222 218 211 193 176 139 82-86
222 218 211 193 176 138 83-86
222 218 211 193 175 139 83-86
222 218 211 193 175 138 80-85
222 218 211 193 175 137 81-85
222 218 211 193 175 136 82-85
222 218 211 193 175 135 83-85
222 218 211 193 174 138 81-85
222 218 211 193 174 137 82-85
222 218 211 193 174 136 83-85
222 218 211 193 173 138 82-85
222 218 211 193 173 137 83-85
222 218 211 193 172 138 83-85
222 218 211 192 176 139 83-86
222 218 211 192 175 138 81-85
222 218 211 192 175 137 82-85
222 218 211 192 175 136 83-85
222 218 211 192 174 138 82-85
222 218 211 192 174 137 83-85
222 218 211 192 173 138 83-85
222 218 210 199 176 139 77-86
222 218 210 199 176 138 78-86
222 218 210 199 176 137 79-86
222 218 210 199 176 136 80-86
222 218 210 199 176 135 81-86
222 218 210 199 176 134 82-86
222 218 210 199 176 133 83-86
222 218 210 199 175 139 78-86
222 218 210 199 175 138 79-86
222 218 210 199 175 137 80-86
222 218 210 199 175 136 81-86
222 218 210 199 175 135 82-86
222 218 210 199 175 134 83-86
222 218 210 199 174 139 79-86
222 218 210 199 174 138 80-86
222 218 210 199 174 137 81-86
222 218 210 199 174 136 82-86
222 218 210 199 174 135 83-86
222 218 210 199 173 139 80-86
222 218 210 199 173 138 81-86
222 218 210 199 173 137 82-86
222 218 210 199 173 136 83-86
222 218 210 199 172 139 81-86
222 218 210 199 172 138 82-86
222 218 210 199 172 137 83-86
222 218 210 199 171 139 82-86
222 218 210 199 171 138 83-86
222 218 210 199 170 139 83-86
222 218 210 198 176 139 78-86
222 218 210 198 176 138 79-86
222 218 210 198 176 137 80-86
222 218 210 198 176 136 81-86
222 218 210 198 176 135 82-86
222 218 210 198 176 134 83-86
222 218 210 198 175 139 79-86
222 218 210 198 175 138 76-86
222 218 210 198 175 137 77-86
222 218 210 198 175 136 78-86
222 218 210 198 175 135 79-86
222 218 210 198 175 134 80-85
222 218 210 198 175 133 81-85
222 218 210 198 175 132 82-85
222 218 210 198 175 131 83-85
222 218 210 198 174 139 80-86
222 218 210 198 174 138 77-86
222 218 210 198 174 137 78-86
222 218 210 198 174 136 79-86
222 218 210 198 174 135 80-85
222 218 210 198 174 134 81-85
222 218 210 198 174 133 82-85
222 218 210 198 174 132 83-85
222 218 210 198 173 139 81-86
222 218 210 198 173 138 78-86
222 218 210 198 173 137 79-86
222 218 210 198 173 136 80-85
222 218 210 198 173 135 81-85
222 218 210 198 173 134 82-85
222 218 210 198 173 133 83-85
222 218 210 198 172 139 82-86
222 218 210 198 172 138 79-86
222 218 210 198 172 137 80-85
222 218 210 198 172 136 81-85
222 218 210 198 172 135 82-85
222 218 210 198 172 134 83-85
222 218 210 198 171 139 83-86
222 218 210 198 171 138 80-85
222 218 210 198 171 137 81-85
222 218 210 198 171 136 82-85
222 218 210 198 171 135 83-85
222 218 210 198 170 138 81-85
222 218 210 198 170 137 82-85
222 218 210 198 170 136 83-85
222 218 210 198 169 138 82-85
222 218 210 198 169 137 83-85
222 218 210 198 168 138 83-85
222 218 210 197 176 139 79-86
222 218 210 197 176 138 80-86
222 218 210 197 176 137 81-86
222 218 210 197 176 136 82-86
222 218 210 197 176 135 83-86
222 218 210 197 175 139 80-86
222 218 210 197 175 138 77-86
222 218 210 197 175 137 78-86
222 218 210 197 175 136 79-86
222 218 210 197 175 135 80-85
222 218 210 197 175 134 81-85
222 218 210 197 175 133 82-85
222 218 210 197 175 132 83-85
222 218 210 197 174 139 81-86
222 218 210 197 174 138 78-86
222 218 210 197 174 137 79-86
222 218 210 197 174 136 80-85
222 218 210 197 174 135 81-85
222 218 210 197 174 134 82-85
222 218 210 197 174 133 83-85
222 218 210 197 173 139 82-86
222 218 210 197 173 138 79-86
222 218 210 197 173 137 80-85
222 218 210 197 173 136 81-85
222 218 210 197 173 135 82-85
222 218 210 197 173 134 83-85
222 218 210 197 172 139 83-86
222 218 210 197 172 138 80-85
222 218 210 197 172 137 81-85
222 218 210 197 172 136 82-85
222 218 210 197 172 135 83-85
222 218 210 197 171 138 81-85
222 218 210 197 171 137 82-85
222 218 210 197 171 136 83-85
222 218 210 197 170 138 82-85
222 218 210 197 170 137 83-85
222 218 210 197 169 138 83-85
222 218 210 196 176 139 80-86
222 218 210 196 176 138 81-86
222 218 210 196 176 137 82-86
222 218 210 196 176 136 83-86
222 218 210 196 175 139 81-86
222 218 210 196 175 138 78-86
222 218 210 196 175 137 79-86
222 218 210 196 175 136 80-85
222 218 210 196 175 135 81-85
222 218 210 196 175 134 82-85
222 218 210 196 175 133 83-85
222 218 210 196 174 139 82-86
222 218 210 196 174 138 79-86
222 218 210 196 174 137 80-85
222 218 210 196 174 136 81-85
222 218 210 196 174 135 82-85
222 218 210 196 174 134 83-85
222 218 210 196 173 139 83-86
222 218 210 196 173 138 80-85
222 218 210 196 173 137 81-85
222 218 210 196 173 136 82-85
222 218 210 196 173 135 83-85
222 218 210 196 172 138 81-85
222 218 210 196 172 137 82-85
222 218 210 196 172 136 83-85
222 218 210 196 171 138 82-85
222 218 210 196 171 137 83-85
222 218 210 196 170 138 83-85
222 218 210 195 176 139 81-86
222 218 210 195 176 138 82-86
222 218 210 195 176 137 83-86
222 218 210 195 175 139 82-86
222 218 210 195 175 138 79-86
222 218 210 195 175 137 80-85
222 218 210 195 175 136 81-85
222 218 210 195 175 135 82-85
222 218 210 195 175 134 83-85
222 218 210 195 174 139 83-86
222 218 210 195 174 138 80-85
222 218 210 195 174 137 81-85
222 218 210 195 174 136 82-85
222 218 210 195 174 135 83-85
222 218 210 195 173 138 81-85
222 218 210 195 173 137 82-85
222 218 210 195 173 136 83-85
222 218 210 195 172 138 82-85
222 218 210 195 172 137 83-85
222 218 210 195 171 138 83-85
222 218 210 194 176 139 82-86
222 218 210 194 176 138 83-86
222 218 210 194 175 139 83-86
222 218 210 194 175 138 80-85
222 218 210 194 175 137 81-85
222 218 210 194 175 136 82-85
222 218 210 194 175 135 83-85
222 218 210 194 174 138 81-85
222 218 210 194 174 137 82-85
222 218 210 194 174 136 83-85
222 218 210 194 173 138 82-85
222 218 210 194 173 137 83-85
222 218 210 194 172 138 83-85
222 218 210 193 176 139 83-86
222 218 210 193 175 138 81-85
222 218 210 193 175 137 82-85
222 218 210 193 175 136 83-85
222 218 210 193 174 138 82-85
222 218 210 193 174 137 83-85
222 218 210 193 173 138 83-85
222 218 209 199 176 139 78-86
222 218 209 199 176 138 79-86
222 218 209 199 176 137 80-86
222 218 209 199 176 136 81-86
222 218 209 199 176 135 82-86
222 218 209 199 176 134 83-86
222 218 209 199 175 139 79-86
222 218 209 199 175 138 80-86
222 218 209 199 175 137 81-86
222 218 209 199 175 136 82-86
222 218 209 199 175 135 83-86
222 218 209 199 174 139 80-86
222 218 209 199 174 138 81-86
222 218 209 199 174 137 82-86
222 218 209 199 174 136 83-86
222 218 209 199 173 139 81-86
222 218 209 199 173 138 82-86
222 218 209 199 173 137 83-86
222 218 209 199 172 139 82-86
222 218 209 199 172 138 83-86
222 218 209 199 171 139 83-86
222 218 209 198 176 139 79-86
222 218 209 198 176 138 80-86
222 218 209 198 176 137 81-86
222 218 209 198 176 136 82-86
222 218 209 198 176 135 83-86
222 218 209 198 175 139 80-86
222 218 209 198 175 138 77-86
222 218 209 198 175 137 78-86
222 218 209 198 175 136 79-86
222 218 209 198 175 135 80-85
222 218 209 198 175 134 81-85
222 218 209 198 175 133 82-85
222 218 209 198 175 132 83-85
222 218 209 198 174 139 81-86
222 218 209 198 174 138 78-86
222 218 209 198 174 137 79-86
222 218 209 198 174 136 80-85
222 218 209 198 174 135 81-85
222 218 209 198 174 134 82-85
222 218 209 198 174 133 83-85
222 218 209 198 173 139 82-86
222 218 209 198 173 138 79-86
222 218 209 198 173 137 80-85
222 218 209 198 173 136 81-85
222 218 209 198 173 135 82-85
222 218 209 198 173 134 83-85
222 218 209 198 172 139 83-86
222 218 209 198 172 138 80-85
222 218 209 198 172 137 81-85
222 218 209 198 172 136 82-85
222 218 209 198 172 135 83-85
222 218 209 198 171 138 81-85
222 218 209 198 171 137 82-85
222 218 209 198 171 136 83-85
222 218 209 198 170 138 82-85
222 218 209 198 170 137 83-85
222 218 209 198 169 138 83-85
222 218 209 197 176 139 80-86
222 218 209 197 176 138 81-86
222 218 209 197 176 137 82-86
222 218 209 197 176 136 83-86
222 218 209 197 175 139 81-86
222 218 209 197 175 138 78-86
222 218 209 197 175 137 79-86
222 218 209 197 175 136 80-85
222 218 209 197 175 135 81-85
222 218 209 197 175 134 82-85
222 218 209 197 175 133 83-85
222 218 209 197 174 139 82-86
222 218 209 197 174 138 79-86
222 218 209 197 174 137 80-85
222 218 209 197 174 136 81-85
222 218 209 197 174 135 82-85
222 218 209 197 174 134 83-85
222 218 209 197 173 139 83-86
222 218 209 197 173 138 80-85
222 218 209 197 173 137 81-85
222 218 209 197 173 136 82-85
222 218 209 197 173 135 83-85
222 218 209 197 172 138 81-85
222 218 209 197 172 137 82-85
222 218 209 197 172 136 83-85
222 218 209 197 171 138 82-85
222 218 209 197 171 137 83-85
222 218 209 197 170 138 83-85
222 218 209 196 176 139 81-86
222 218 209 196 176 138 82-86
222 218 209 196 176 137 83-86
222 218 209 196 175 139 82-86
222 218 209 196 175 138 79-86
222 218 209 196 175 137 80-85
222 218 209 196 175 136 81-85
222 218 209 196 175 135 82-85
222 218 209 196 175 134 83-85
222 218 209 196 174 139 83-86
222 218 209 196 174 138 80-85
222 218 209 196 174 137 81-85
222 218 209 196 174 136 82-85
222 218 209 196 174 135 83-85
222 218 209 196 173 138 81-85
222 218 209 196 173 137 82-85
222 218 209 196 173 136 83-85
222 218 209 196 172 138 82-85
222 218 209 196 172 137 83-85
222 218 209 196 171 138 83-85
222 218 209 195 176 139 82-86
222 218 209 195 176 138 83-86
222 218 209 195 175 139 83-86
222 218 209 195 175 138 80-85
222 218 209 195 175 137 81-85
222 218 209 195 175 136 82-85
222 218 209 195 175 135 83-85
222 218 209 195 174 138 81-85
222 218 209 195 174 137 82-85
222 218 209 195 174 136 83-85
222 218 209 195 173 138 82-85
222 218 209 195 173 137 83-85
222 218 209 195 172 138 83-85
222 218 209 194 176 139 83-86
222 218 209 194 175 138 81-85
222 218 209 194 175 137 82-85
222 218 209 194 175 136 83-85
222 218 209 194 174 138 82-85
222 218 209 194 174 137 83-85
222 218 209 194 173 138 83-85
222 218 208 199 176 139 79-86
222 218 208 199 176 138 80-86
222 218 208 199 176 137 81-86
222 218 208 199 176 136 82-86
222 218 208 199 176 135 83-86
222 218 208 199 175 139 80-86
222 218 208 199 175 138 81-86
222 218 208 199 175 137 82-86
222 218 208 199 175 136 83-86
222 218 208 199 174 139 81-86
222 218 208 199 174 138 82-86
222 218 208 199 174 137 83-86
222 218 208 199 173 139 82-86
222 218 208 199 173 138 83-86
222 218 208 199 172 139 83-86
222 218 208 198 176 139 80-86
222 218 208 198 176 138 81-86
222 218 208 198 176 137 82-86
222 218 208 198 176 136 83-86
222 218 208 198 175 139 81-86
222 218 208 198 175 138 78-86
222 218 208 198 175 137 79-86
222 218 208 198 175 136 80-85
222 218 208 198 175 135 81-85
222 218 208 198 175 134 82-85
222 218 208 198 175 133 83-85
222 218 208 198 174 139 82-86
222 218 208 198 174 138 79-86
222 218 208 198 174 137 80-85
222 218 208 198 174 136 81-85
222 218 208 198 174 135 82-85
222 218 208 198 174 134 83-85
222 218 208 198 173 139 83-86
222 218 208 198 173 138 80-85
222 218 208 198 173 137 81-85
222 218 208 198 173 136 82-85
222 218 208 198 173 135 83-85
222 218 208 198 172 138 81-85
222 218 208 198 172 137 82-85
222 218 208 198 172 136 83-85
222 218 208 198 171 138 82-85
222 218 208 198 171 137 83-85
222 218 208 198 170 138 83-85
222 218 208 197 176 139 81-86
222 218 208 197 176 138 82-86
222 218 208 197 176 137 83-86
222 218 208 197 175 139 82-86
222 218 208 197 175 138 79-86
222 218 208 197 175 137 80-85
222 218 208 197 175 136 81-85
222 218 208 197 175 135 82-85
222 218 208 197 175 134 83-85
222 218 208 197 174 139 83-86
222 218 208 197 174 138 80-85
222 218 208 197 174 137 81-85
222 218 208 197 174 136 82-85
222 218 208 197 174 135 83-85
222 218 208 197 173 138 81-85
222 218 208 197 173 137 82-85
222 218 208 197 173 136 83-85
222 218 208 197 172 138 82-85
222 218 208 197 172 137 83-85
222 218 208 197 171 138 83-85
222 218 208 196 176 139 82-86
222 218 208 196 176 138 83-86
222 218 208 196 175 139 83-86
222 218 208 196 175 138 80-85
222 218 208 196 175 137 81-85
222 218 208 196 175 136 82-85
222 218 208 196 175 135 83-85
222 218 208 196 174 138 81-85
222 218 208 196 174 137 82-85
222 218 208 196 174 136 83-85
222 218 208 196 173 138 82-85
222 218 208 196 173 137 83-85
222 218 208 196 172 138 83-85
222 218 208 195 176 139 83-86
222 218 208 195 175 138 81-85
222 218 208 195 175 137 82-85
222 218 208 195 175 136 83-85
222 218 208 195 174 138 82-85
222 218 208 195 174 137 83-85
222 218 208 195 173 138 83-85
(其中最小的0没有列出来,而且最后一个数给出的是一个范围,也就是通常不唯一)
n=9还没有结果
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-6-6 07:04:12 | 显示全部楼层
n=9的情况现在估计了一下,发现现在的算法内存使用正好有一点点问题,估计在内存使用顶峰时,大概需要2.4G的内存,这是一个大问题。程序里面使用了树结构,其中每个Node里面的parent指针应该可以抛弃掉,如果这样,可以节省1/4的内存,但是这样内存使用量在顶峰时也会达到1.8G,如果估计的内存不是很准,也可能会超越2G内存的限制。看来这个还有问题。今天有时间的话慢慢将我想到的方法已经代码整理出来,看看大家能否一起优化一下。对于这种边缘情况的优化,我向来不是很喜欢去做。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-6-6 07:42:52 | 显示全部楼层
这么看来,内存访问确实是32bitOS的瓶颈了。

到64bitOS后,如果用户物理内存足够大,
就不必要将大的临时结果缓存到硬盘了,程序设计起来就单纯多了。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-6-6 08:14:12 | 显示全部楼层

回复 15# mathe 的帖子

问题是物理内存不足够大呀
一般2G的机器,可用的也就1.5G,超过这个,即使os不限制,也慢的没法用了
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2008-6-6 11:25:59 | 显示全部楼层


2G的完全可以利用到2000M
只要光用linux的字符界面
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-6-6 15:04:16 | 显示全部楼层
n=8时结果是221而不是222,前面程序有一步错了,所以只给了个上界.
221时对应结果为:
0 78 137 174 197 210 217 221
0 78 137 174 197 210 217 220
0 78 137 174 197 210 217 219
0 78 137 174 197 210 217 218
0 78 137 174 197 210 213 217
0 78 137 174 197 210 213 216
0 78 137 174 197 210 213 215
0 79 137 174 197 210 213 214
0 79 137 174 197 200 210 213
0 79 137 174 197 201 210 212
0 79 137 174 197 203 210 211
0 79 137 174 197 204 206 210
0 79 137 174 197 204 207 209
0 81 137 174 197 204 207 208
0 81 137 174 177 197 204 207
0 81 137 174 178 197 204 206
0 81 137 174 180 197 204 205
0 81 137 174 180 197 200 204
0 81 137 174 180 197 201 203
0 81 137 174 182 197 201 202
0 81 137 174 182 185 197 201
0 81 137 174 185 197 199 200
0 81 137 174 185 188 197 199
0 81 137 174 185 190 197 198
0 81 137 174 185 192 193 197
0 81 137 174 185 192 195 196
0 81 137 140 174 185 192 195
0 81 137 141 174 185 192 194
0 81 137 143 174 185 192 193
0 81 137 143 174 185 188 192
0 81 137 143 174 185 189 191
0 81 137 145 174 185 189 190
0 81 137 145 148 174 185 189
0 81 137 148 174 185 187 188
0 81 137 149 174 176 185 187
0 81 137 149 174 178 185 186
0 81 137 149 174 178 181 185
0 81 137 149 174 178 182 184
0 81 137 151 174 178 182 183
0 81 137 151 154 174 178 182
0 81 137 154 174 178 180 181
0 81 137 154 157 174 178 180
0 81 137 154 159 174 178 179
0 81 137 154 159 162 174 178
0 81 137 154 162 174 176 177
0 81 137 154 163 165 174 176
0 81 137 154 163 167 174 175
0 81 137 154 163 169 170 174
0 81 137 154 163 169 172 173
0 81 84 137 154 163 169 172
0 81 85 137 154 163 169 171
0 81 87 137 154 163 169 170
0 81 88 137 154 163 165 169
0 81 88 137 154 163 166 168
0 81 90 137 154 163 166 167
0 81 90 93 137 154 163 166
0 81 94 137 154 163 164 165
0 81 95 137 154 156 163 164
0 81 95 137 154 157 159 163
0 81 95 137 154 157 160 162
0 81 97 137 154 157 160 161
0 81 97 100 137 154 157 160
0 81 101 137 154 157 158 159
0 81 101 137 140 154 157 158
0 81 101 137 140 143 154 157
0 81 101 137 144 154 155 156
0 81 101 137 144 147 154 155
0 81 101 137 144 147 150 154
0 81 101 137 144 147 151 153
0 81 103 137 144 147 151 152
0 81 103 106 137 144 147 151
0 81 106 137 144 147 149 150
0 81 106 109 137 144 147 149
0 81 106 111 137 144 147 148
0 81 106 111 114 137 144 147
0 81 106 115 137 144 145 146
0 81 106 115 118 137 144 145
0 81 106 115 118 137 140 144
0 81 106 118 137 140 141 143
0 81 106 120 137 140 141 142
0 81 106 120 123 137 140 141
0 81 106 120 123 126 137 140
0 81 106 120 127 137 138 139
0 81 106 120 127 130 137 138
0 81 106 120 127 130 133 137
0 81 106 120 127 133 135 136
0 3 81 106 120 127 133 135
0 5 81 106 120 127 133 134
0 6 81 106 120 127 129 133
0 6 81 106 120 127 130 132
0 8 81 106 120 127 130 131
0 8 11 81 106 120 127 130
0 12 81 106 120 127 128 129
0 12 15 81 106 120 127 128
0 12 15 81 106 120 123 127
0 15 81 106 120 123 124 126
0 17 81 106 120 123 124 125
0 17 20 81 106 120 123 124
0 17 20 81 106 109 120 123
0 20 81 106 110 120 121 122
0 20 81 106 111 113 120 121
0 20 81 106 111 114 116 120
0 20 81 106 111 114 117 119
0 22 81 106 111 114 117 118
0 22 25 81 106 111 114 117
0 26 81 106 111 114 115 116
0 28 81 82 106 111 114 115
0 28 81 82 85 106 111 114
0 28 81 86 106 111 112 113
0 28 81 86 89 106 111 112
0 28 81 86 91 106 107 111
0 28 81 91 106 107 109 110
0 28 81 91 94 106 107 109
0 28 81 91 96 106 107 108
0 28 81 91 96 99 106 107
0 28 81 91 96 100 102 106
0 28 81 91 96 100 103 105
0 30 81 91 96 100 103 104
0 30 33 81 91 96 100 103
0 34 81 91 96 100 101 102
0 34 37 81 91 96 100 101
0 34 37 40 81 91 96 100
0 40 81 91 96 97 98 99
0 40 43 81 91 96 97 98
0 40 43 46 81 91 96 97
0 40 43 48 81 91 92 96
0 48 81 91 92 93 94 95
0 48 51 81 91 92 93 94
0 48 51 54 81 91 92 93
0 48 51 54 81 84 91 92
0 48 51 54 81 84 87 91
0 54 81 84 87 88 89 90
0 54 57 81 84 87 88 89
0 54 57 60 81 84 87 88
0 54 57 60 63 81 84 87
0 54 57 64 81 84 85 86
0 54 57 64 67 81 84 85
0 54 57 64 67 70 81 84
0 54 57 64 71 81 82 83
0 54 57 64 71 74 81 82
0 54 57 64 71 74 77 81
0 54 57 64 71 74 77 80
0 1 54 64 71 74 77 79
0 3 54 64 71 74 77 78
0 3 6 54 64 71 74 77
0 7 54 64 71 74 75 76
0 7 10 54 64 71 74 75
0 7 10 13 54 64 71 74
0 7 14 54 64 71 72 73
0 7 14 17 54 64 71 72
0 7 14 17 54 64 67 71
0 17 54 64 67 68 69 70
0 17 20 54 64 67 68 69
0 17 20 23 54 64 67 68
0 17 20 23 26 54 64 67
0 17 20 27 54 64 65 66
0 17 20 27 54 57 64 65
0 17 20 27 54 57 60 64
0 27 54 57 60 61 62 63
0 27 30 54 57 60 61 62
0 27 30 33 54 57 60 61
0 27 30 33 36 54 57 60
0 27 30 37 54 57 58 59
0 27 30 37 40 54 57 58
0 27 30 37 40 43 54 57
0 27 30 37 44 54 55 56
0 27 30 37 44 47 54 55
0 27 30 37 44 47 50 54
0 27 30 37 44 47 50 53
0 27 30 37 44 47 48 52
0 27 30 37 44 47 48 51
0 27 30 37 44 47 48 50
0 0 27 30 37 44 48 49
0 0 0 1 27 31 44 48
0 0 0 31 44 45 46 47
0 0 0 31 34 44 45 46
0 0 0 31 34 37 44 45
0 0 0 31 34 37 40 44
0 0 0 31 34 37 40 43
0 0 1 31 34 37 40 42
0 0 3 31 34 37 40 41
0 0 3 6 31 34 37 40
0 0 7 31 34 37 38 39
0 0 7 10 31 34 37 38
0 0 7 10 13 31 34 37
0 0 7 14 31 34 35 36
0 0 7 14 17 31 34 35
0 0 7 14 17 20 31 34
0 0 7 14 21 31 32 33
0 0 7 14 21 24 31 32
0 0 7 14 21 24 27 31
0 0 7 14 21 24 27 30
0 0 7 14 21 24 25 29
0 0 7 14 21 24 25 28
0 0 7 14 21 24 25 27
0 0 0 7 14 21 25 26
0 0 0 0 1 8 21 25
0 0 0 8 21 22 23 24
0 0 0 8 11 21 22 23
0 0 0 8 11 14 21 22
0 0 0 8 11 14 17 21
0 0 0 8 11 14 17 20
0 0 0 8 11 14 15 19
0 0 0 8 11 14 15 18
0 0 0 8 11 14 15 17
0 0 0 0 8 11 15 16
0 0 0 0 0 1 11 15
0 0 0 0 0 1 11 14
0 0 0 0 0 2 11 13
0 0 0 0 0 4 11 12
0 0 0 0 0 4 7 11
0 0 0 0 0 4 7 10
0 0 0 0 0 4 5 9
0 0 0 0 0 4 5 8
0 0 0 0 0 4 5 7
0 0 0 0 0 0 5 6
0 0 0 0 0 0 1 5
0 0 0 0 0 0 0 4
0 0 0 0 0 0 0 3
0 0 0 0 0 0 0 2
0 0 0 0 0 0 0 1
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2008-6-6 15:16:17 | 显示全部楼层
现在介绍一下我的思路以及整个计算过程.
第一个版本是非常简单的穷举代码,这个版本只能计算n=4的情况.
我们假设所有数据按增序排列,由于第一个数据只能是0,所以我们可以枚举后面三个数都在某个范围内的.
为此我们可以定义一个三位数组

  1. #define LIM 100
  2. #define N 4
  3. int rch[LIM][LIM][LIM];

  4. #define SET(x,y,z,v) rch[x][y][z]=rch[x][z][y]=rch[y][x][z]=\
  5.                                   rch[y][z][x]=rch[z][x][y]=\
  6.                                   rch[z][y][x]=(v)

  7. #define TARGET(x,y,z)    (((x)<<16)|((y)<<8)|(z))
  8. void init()
  9. {
  10.     memset(rch,-1,sizeof(rch));
  11.     rch[0][0][0]=TARGET(0,0,0);
  12. }
复制代码
其中数组rch[x][y][z]被初始化为-1,
然后如果序列0 x y z最后能够成功到达0 0 0 0,我们将rch[x][y][z]设置为TARGET(x1,y1,z1)
其中0 x y z可以直接到达0 x1 y1 z1而且0 x1 y1 z1也可以到达0 0 0 0
然后我们只需要从小的序列开始计算到大的序列就可以了.
其中最麻烦的就是我们需要计算对于某个序列0 x y z,它可以直接到达的序列有那些
下面的函数int pass(x,y,z)实现了这样的功能,对于给定序列0 x y z,它返回TARGET(x1,y1,z1)或-1(如果无法成功)

  1. int set_reach(int x, int y, int z, int t)
  2. {
  3.     if(x>t||y>t||z>t)return -1;
  4.     if(x<t&&y<t&&z<t)return -1;
  5.     if(rch[x][y][z]>=0){
  6.         return TARGET(x,y,z);
  7.     }else
  8.         return -1;
  9. }

  10. #define set_reach_0(a,b,c,d) set_reach(a,b,c,d)
  11. int set_reach_1(int x, int y, int z, int t)
  12. {
  13.     int r;
  14.     if(set_reach(x,y,z,t)>=0)
  15.         return TARGET(x,y,z);
  16.     if((r=set_reach_0(x+1,y,z,t))>=0)
  17.         return r;
  18.     if((r=set_reach_0(x,y+1,z,t))>=0)
  19.         return r;
  20.     if((r=set_reach_0(x,y,z+1,t))>=0)
  21.         return r;
  22.     if((r=set_reach_0(x,x+1,z,t))>=0)
  23.         return r;
  24.     if((r=set_reach_0(x,y,x+1,t))>=0)
  25.         return r;
  26.     if((r=set_reach_0(x,y,y+1,t))>=0)
  27.         return r;
  28.     if((r=set_reach_0(y+1,y,z,t))>=0)
  29.         return r;
  30.     if((r=set_reach_0(z+1,y,z,t))>=0)
  31.         return r;
  32.     if((r=set_reach_0(x,z+1,z,t))>=0)
  33.         return r;
  34.     return -1;
  35. }

  36. int set_reach_2(int x, int y, int z, int t)
  37. {
  38.     int r;
  39.     if(set_reach(x,y,z,t)>=0)
  40.         return TARGET(x,y,z);
  41.     if((r=set_reach_1(x+1,y,z,t))>=0)
  42.         return r;
  43.     if((r=set_reach_1(x,y+1,z,t))>=0)
  44.         return r;
  45.     if((r=set_reach_1(x,y,z+1,t))>=0)
  46.         return r;
  47.     if((r=set_reach_1(x,x+1,z,t))>=0)
  48.         return r;
  49.     if((r=set_reach_1(x,y,x+1,t))>=0)
  50.         return r;
  51.     if((r=set_reach_1(x,y,y+1,t))>=0)
  52.         return r;
  53.     if((r=set_reach_1(y+1,y,z,t))>=0)
  54.         return r;
  55.     if((r=set_reach_1(z+1,y,z,t))>=0)
  56.         return r;
  57.     if((r=set_reach_1(x,z+1,z,t))>=0)
  58.         return r;
  59.     return -1;
  60. }

  61. int set_reach_3(int x, int y, int z, int t)
  62. {
  63.     int r;
  64.     if(set_reach(x,y,z,t)>=0)
  65.         return TARGET(x,y,z);
  66.     if((r=set_reach_2(x+1,y,z,t))>=0)
  67.         return r;
  68.     if((r=set_reach_2(x,y+1,z,t))>=0)
  69.         return r;
  70.     if((r=set_reach_2(x,y,z+1,t))>=0)
  71.         return r;
  72.     if((r=set_reach_2(x,x+1,z,t))>=0)
  73.         return r;
  74.     if((r=set_reach_2(x,y,x+1,t))>=0)
  75.         return r;
  76.     if((r=set_reach_2(x,y,y+1,t))>=0)
  77.         return r;
  78.     if((r=set_reach_2(y+1,y,z,t))>=0)
  79.         return r;
  80.     if((r=set_reach_2(z+1,y,z,t))>=0)
  81.         return r;
  82.     if((r=set_reach_2(x,z+1,z,t))>=0)
  83.         return r;
  84.     return -1;
  85. }

  86. int pass(int x, int y, int z)
  87. {
  88.     return set_reach_3(x,y,0,z-1);
  89. }
复制代码
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-4-20 19:38 , Processed in 0.064908 second(s), 15 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表