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

[讨论] 毒酒问题(加强版)

  [复制链接]
 楼主| 发表于 2018-3-26 20:17:25 | 显示全部楼层
lower bound available for A054961
10:22, 11:31, 12:46, 13:55, 14:63, 15:72, 16:91, 17:113, 18:145, 19:182, 20:230, 21:281, 22:359, 23:449, 24:571, 25:690, 26:892, 27:1078
And detail data of each optimum set in hexadecimal is available in #173

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2018-3-26 21:27:27 | 显示全部楼层
现在版本的代码看来不错,就是里面replace_num这个参数我调整了很多次,现在估计30~45左右比较好,另外代码里面应该有很多没用的函数还没有删除
另外这个程序输入参数要求第一个参数是一个额外的奇数,用于打乱数据顺序,可以直接为1就不打乱顺序了,其实这个参数是上个版本代码需要的,这个版本的不需要了,但是没有清除
  1. #include <vector>
  2. #include <set>
  3. #include <stdio.h>
  4. #include <string.h>
  5. #include <stdlib.h>
  6. #include <time.h>

  7. typedef unsigned int dtype;
  8. typedef std::vector<dtype> DataState;
  9. typedef std::set<dtype> UnionState;
  10. #ifndef K
  11. #define K 10
  12. #endif
  13. #define COUNT 100000
  14. #if K==10
  15. #define HK 5
  16. #define UPBOUND 30
  17. #define REPLACE_NUMS 5
  18. #define LARGE_REPLACE_NUMS 8
  19. #endif
  20. #if K==11
  21. #define HK 5
  22. #define UPBOUND 60
  23. #define REPLACE_NUMS 5
  24. #define LARGE_REPLACE_NUMS 10
  25. #endif
  26. #if K==12
  27. #define HK 6
  28. #define UPBOUND 70
  29. #define REPLACE_NUMS 5
  30. #define LARGE_REPLACE_NUMS 11
  31. #endif
  32. #if K==13
  33. #define HK 6
  34. #define UPBOUND 100
  35. #define REPLACE_NUMS 4
  36. #define LARGE_REPLACE_NUMS 12
  37. #endif
  38. #if K==14
  39. #define HK 7
  40. #define UPBOUND 200
  41. #define REPLACE_NUMS 6
  42. #define LARGE_REPLACE_NUMS 13
  43. #endif
  44. #if K==15
  45. #define HK 7
  46. #define UPBOUND 350
  47. #define REPLACE_NUMS 7
  48. #define LARGE_REPLACE_NUMS 15
  49. #endif
  50. #if K==16
  51. #define HK 7
  52. #define UPBOUND 400
  53. #define REPLACE_NUMS 7
  54. #define LARGE_REPLACE_NUMS 15
  55. #endif
  56. #if K==17
  57. #define HK 8
  58. #define UPBOUND 400
  59. #define REPLACE_NUMS 7
  60. #define LARGE_REPLACE_NUMS 15
  61. #endif
  62. #if K==26
  63. #define HK 12
  64. #define UPBOUND 1500
  65. #define REPLACE_NUMS 6
  66. #define LARGE_REPLACE_NUMS 8
  67. #endif
  68. #if K==27
  69. #define HK 13
  70. #define UPBOUND 1800
  71. #define REPLACE_NUMS 6
  72. #define LARGE_REPLACE_NUMS 8
  73. #endif
  74. #if K==28
  75. #define HK 13
  76. #define UPBOUND 2000
  77. #define REPLACE_NUMS 7
  78. #define LARGE_REPLACE_NUMS 9
  79. #endif
  80. #if K==29
  81. #define HK 13
  82. #define UPBOUND 2000
  83. #define REPLACE_NUMS 7
  84. #define LARGE_REPLACE_NUMS 9
  85. #endif
  86. #if K==30
  87. #define HK 13
  88. #define UPBOUND 2000
  89. #define REPLACE_NUMS 8
  90. #define LARGE_REPLACE_NUMS 16
  91. #endif
  92. #if K==31
  93. #define HK 13
  94. #define UPBOUND 2000
  95. #define REPLACE_NUMS 8
  96. #define LARGE_REPLACE_NUMS 16
  97. #endif
  98. #if K==32
  99. #define HK 14
  100. #define UPBOUND 2000
  101. #define REPLACE_NUMS 8
  102. #define LARGE_REPLACE_NUMS 16
  103. #endif
  104. #define UB UPBOUND
  105. #define MIN_EDGES (REPLACE_NUMS+LARGE_REPLACE_NUMS)

  106. unsigned gen_rand_edge()
  107. {
  108.      unsigned d = 0;
  109.      unsigned rd[K];
  110.      int i;
  111.      for(i=0;i<K;i++){
  112.         unsigned x=rand();
  113.         if(x<RAND_MAX/3){
  114.             d|=1<<i;
  115.         }
  116.      }
  117.      return d;
  118. }

  119. long update_bits(long v, long bits)
  120. {
  121.     int i;
  122.     unsigned rd[K];
  123.     for(i=bits+1;i<K;i++){
  124.        unsigned x=rand();
  125.        if(x<RAND_MAX/3){
  126.            v|=1<<i;
  127.        }
  128.     }
  129.     return v;
  130. }

  131. int should_we_change()
  132. {
  133.     unsigned d=rand();
  134.     d%=10;
  135.     if(d==0)return 1;
  136.     return 0;
  137. }

  138. UnionState tus;
  139. DataState ds;
  140. DataState best_result;
  141. #define WORD_OF(x)        ((x)>>5)
  142. #define INDEX_IN_WORD(x)  ((x)&31)
  143. #define IS_SET(mask,x)     (mask[WORD_OF(x)]&(1<<INDEX_IN_WORD(x)))
  144. #define SET(mask,x)        (mask[WORD_OF(x)]|=1<<INDEX_IN_WORD(x))
  145. #define CLEAR(mask,x)      (mask[WORD_OF(x)]&=~(1<<INDEX_IN_WORD(x)))

  146. void init()
  147. {
  148.     ds.clear();
  149.     tus.clear();
  150. }
  151. int bitcount(dtype d);
  152. int test_add(dtype d)
  153. {
  154.     UnionState ls;
  155.     if(bitcount(d)>HK)return -1;
  156. #ifdef STRICT
  157.     if(tus.find(d)!=tus.end()){
  158.          return -1;
  159.     }
  160.     ls.insert(d);
  161. #endif
  162.     int i;
  163.     for(i=0;i<ds.size();++i){
  164.         if(ds[i]==d)return -1;
  165.         dtype u=d|ds[i];
  166.         if(tus.find(u)!=tus.end()){
  167.             return -1;
  168.         }
  169.         if(ls.find(u)!=ls.end()){
  170.            return -1;
  171.         }
  172.         ls.insert(u);
  173.     }
  174.     return 0;
  175. }

  176. int bitcount(dtype d){
  177.     int i,b=0;
  178.     for(i=0;i<K;i++){
  179.        if(d&(1<<i))b++;
  180.     }
  181.     return b;
  182. }

  183. void do_add(dtype d){
  184.     int i;
  185. #ifdef STRICT
  186.     tus.insert(d);
  187. #endif
  188.     for(i=0;i<ds.size();++i){
  189.         dtype u=d|ds[i];
  190.         tus.insert(u);
  191.     }
  192.     ds.push_back(d);
  193. }

  194. void pop()
  195. {
  196.    int i;
  197.    dtype d=ds.back();
  198.    ds.pop_back();
  199. #ifdef STRICT
  200.    tus.erase(d);
  201. #endif
  202.    for(i=0;i<ds.size();++i){
  203.        dtype u=d|ds[i];
  204.        tus.erase(u);
  205.    }
  206. }

  207. int cds;
  208. unsigned long long cdc;
  209. unsigned long long cdi;
  210. void dumpg(const DataState& data)
  211. {
  212.     int i;
  213.     printf("[%d]",(int)data.size());
  214.         for(i=0;i<data.size();++i){
  215.              unsigned int d;
  216.              d=data[i];
  217.              printf(" %x",d);
  218.         }
  219.     printf("\n");
  220. }

  221. unsigned getrande(int e)
  222. {
  223.     unsigned d=rand();
  224.     d%=e;
  225.     return d;
  226. }

  227. void rsearch(int s)
  228. {
  229.     int i;
  230.     while(1){
  231.        for(i=0;i<100;i++){
  232.            unsigned d = gen_rand_edge();
  233.            if(test_add(d)==0){
  234.                do_add(d);
  235.                break;
  236.            }
  237.        }
  238.        if(i==100){
  239.           return;
  240.        }
  241.     }
  242. }
  243. DataState candset;
  244. int inc=0;
  245. bool found_larger = false;
  246. int addinorder(int c)
  247. {
  248.      int i;
  249.      for(i=c;i<candset.size();i++){
  250.             if(test_add(candset[i])==0){
  251.                  do_add(candset[i]);
  252.                  int r = addinorder(i+1);
  253.                  pop();
  254.                  return r;
  255.             }
  256.      }
  257.      if(ds.size()>best_result.size()){
  258.            best_result=ds;
  259.            dumpg(best_result);
  260.      }
  261.      return ds.size();
  262. }

  263. int search(int c, clock_t limit)
  264. {
  265.     int i,j;
  266.     if(ds.size()>best_result.size()){
  267.         found_larger=true;
  268.         inc=(ds.size()-best_result.size())*20;
  269.         best_result=ds;
  270.         dumpg(best_result);
  271.     }else if(ds.size()==best_result.size()){
  272.         int d=rand();
  273.         if(d%10==0){
  274.             best_result = ds;
  275.         }
  276.         if(inc<0&&found_larger)return -1;
  277.         if(found_larger)inc-=3;
  278.     }
  279.     if(clock()>limit)return -1;
  280.    
  281.     for(i=0;i<c;++i){
  282.        unsigned d = getrande(candset.size());
  283.        if(test_add(candset[d])==0){
  284.            do_add(candset[d]);
  285.            int r = search(c, limit);
  286.            if(r<0){pop();return r;}
  287.            pop();
  288.        }
  289.     }
  290.     return addinorder(0);
  291. }

  292. int largest_bit(long v)
  293. {
  294.     int i;
  295.     for(i=31;i>=0;i--){
  296.        if(v&(1<<i))return i;
  297.     }
  298.     return -1;
  299. }

  300. int count = 0;
  301. #if K==28
  302. #define MIN_TIME (5*CLOCKS_PER_SEC)
  303. #else
  304. #define MIN_TIME (600*CLOCKS_PER_SEC)
  305. #endif
  306. struct EC{
  307.     int eid;
  308.     int ec;
  309. };

  310. int cmp_ec(const void *p, const void *q)
  311. {
  312.     const struct EC *ep =(const struct EC *)p;
  313.     const struct EC *eq = (const struct EC *)q;
  314.     if(ep->ec<eq->ec)return -1;
  315.     if(ep->ec>eq->ec)return 1;
  316.     return (ep->eid-eq->eid);
  317. }

  318. int intersect(const UnionState &u1, const UnionState& u2)
  319. {
  320.     UnionState::const_iterator cit1, cit2;
  321.     cit1 = u1.begin(); cit2=u2.begin();
  322.     while(cit1!=u1.end()&&cit2!=u2.end()){
  323.           if(*cit1 == *cit2)return 1;
  324.           if(*cit1<*cit2)++cit1;
  325.           ++cit2;
  326.     }
  327.     return 0;
  328. }

  329. int cur_time_interval=MIN_TIME;
  330. int main(int argc, const char *argv[])
  331. {
  332.     int i;
  333.     int orbits[UPBOUND];
  334.     long long mul;
  335.     srand(time(NULL));
  336.     if(argc>1){
  337.         init();
  338.         mul = atoi(argv[1]);
  339.         for(i=2;i<argc;i++){
  340.             char *endp=NULL;
  341.             long v=strtol(argv[i],&endp, 16);
  342.             if(test_add(v)==0){
  343.                 do_add(v);
  344.             }else{
  345.                 printf("invalid input %s\n",argv[i]);
  346.                 return -1;
  347.             }
  348.         }
  349.     }else{
  350.         return 0;
  351.     }
  352.     dumpg(ds);
  353.     best_result=ds;
  354.     printf("\n\n");
  355.     do{
  356.         int replace_num = 45;
  357.         for(i=0;i<best_result.size();i++)orbits[i]=0;
  358.         for(i=0;i<replace_num;i++)orbits[i]=1;
  359.         for(i=0;i<replace_num;i++){
  360.               int j=getrande(best_result.size());
  361.               int t=orbits[i];
  362.               orbits[i]=orbits[j];
  363.               orbits[j]=t;
  364.         }
  365.         init();
  366.         for(i=0;i<best_result.size();i++){
  367.               if(orbits[i]==0){
  368.                    do_add(best_result[i]);
  369.               }
  370.         }
  371.         candset.clear();
  372.        for(i=0;i<1<<K;i++){
  373.           int j=(int)((i*mul)&((1ll<<K)-1));
  374.           if(test_add(j)==0){
  375.             candset.push_back(j);
  376.           }
  377.           if((i+1)%1000000==0)fprintf(stderr, "Total %d scanned\n",i+1);
  378.        }
  379.        fprintf(stderr, "total %d cands found\n", (int)candset.size());
  380.        UnionState *uss = new UnionState[candset.size()];
  381.        EC *ec = new EC[candset.size()];
  382.        for(i=0;i<candset.size();i++){
  383.              int j;
  384.              ec[i].eid = i;ec[i].ec=0;
  385.              for(j=0;j<ds.size();j++){
  386.                  dtype r = candset[i]|ds[j];
  387.                  uss[i].insert(r);
  388.              }
  389.        }
  390.        for(i=0;i<candset.size();i++){
  391.              int j;
  392.              for(j=i+1;j<candset.size();j++){
  393.                   if(intersect(uss[i],uss[j])){
  394.                       ec[i].ec++;ec[j].ec++;
  395.                   }
  396.              }
  397.        }
  398.        delete []uss;
  399.        qsort(ec, candset.size(), sizeof(EC), cmp_ec);
  400.        for(i=0;i<candset.size();i++){
  401.            if(test_add(candset[ec[i].eid])==0){
  402.                do_add(candset[ec[i].eid]);
  403.            }
  404.        }
  405.        if(ds.size()>best_result.size()){
  406.            best_result = ds;
  407.        }
  408.        dumpg(best_result);
  409.        delete []ec;
  410.     }while(1);
  411.     return 0;
  412. }
复制代码
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2018-3-27 15:16:16 来自手机 | 显示全部楼层
现在为止 10:22, 11:31, 12:46, 13:55, 14:63, 15:72, 16:91, 17:113, 18:145, 19:182, 20:230, 21:281, 22:359, 23:449, 24:571, 25:696, 26:893, 27:1090
两瓶毒酒.png

13:[55] 491 229 870 b04 1080 348 6a0 9a0 a22 c05 1230 8 146 151 264 426 461 702 120a 1908 2c2 509 584 650 a41 c42 1015 33 b4 d8 11c 125 12a 381 48a 886 e08 1062 1540 4b c5 192 28c 438 44c 81a 82c 889 903 a90 d10 1412 1604 1821 1844
14: [63] 10a6 8b1 528 2500 622 10cc 3422 1141 1504 8ac 845 2e8 2924 30e1 3a1 880 790 63 413 c18 3a 40 10d2 2085 1015 1029 c06 449 3910 5c2 2016 a09 11b0 1e4 994 140a 246 221c a12 425 1a04 1d8 2203 234 b40 208a 2070 9a2 60c 214c 3c40 2019 1681 2d1 1883 d81 2e88 2311 1382 1298 2a20 454 1988
15: [72] 5211 4720 4aa0 2486 1d04 4d1 414b 1410 ec 6131 1062 220d 10d8 649 77 2870 5024 6680 3168 215c 1851 403a c60 30a6 2e01 454c 2043 1894 5488 7040 80f 393 115 2188 13a4 a5a 3107 28a 20 7900 81 ca2 4494 4150 4442 5308 2912 624a 2425 5882 926 2540 2f0 a23 612 338 3281 d18 2a44 3018 42b 1a00 104d 4261 41a2 6085 140e 382a b09 4a14 48c8 42c4
16:[91] 0 c3 192 216 2141 82c 1421 4608 80a9 8328 888a c068 c0d0 88c4 a062 c405 940c a224 9602 9814 ac40 ca04 127 7a 48e 34c 711 625 6a2 41a1 4154 10a6 4066 1309 4285 241c 22c8 4432 2286 1262 300b 4891 6118 1858 501a 290a 18b0 2854 31a0 4960 4a30 2ca0 3504 6442 4d02 5841 3882 8271 8598 8546 8649 c303 8c52 93c0 8da0 d111 b085 d106 aa11 dc80 dd 51b 20e5 41ca 1495 d85 2568 1570 ed0 f44 60ac 3251 5483 2b21 1c07 1aa8 1c64 6780 680d 7034 7e00
17:[113] 10000 19 19020 a240 8083 268 11380 148a0 16204 10a09 10521 18098 14814 14064 1641 9a02 ac10 f004 48c8 3884 4720 21c4 8909 2a22 962 640a 10e2 a118 84a4 853 e5 1234 18ac0 1e440 1b500 17801 12948 11c88 10f04 13091 1070a 14486 102d2 11146 1c10c 17028 15218 12618 104cc 10354 1c029 18415 1820e 11832 10472 1200f 2f80 98c1 d481 64c1 cd02 c1c2 d850 e1a0 32d0 2983 3303 c245 6c21 2549 5511 785 6846 a294 3170 904b a407 38b 4c0d ab1 995 3425 8c2a 8332 119a 885c 2934 609c 42ac 4117 145d0 152e0 12646 1a864 18163 110ad e053 5263 134d 3c38 1c1b 4479 c03e 1454 5b8 8631 1b28 6309 c690 24b2 95c0 26 960c
18: [145] 24a81 2a840 80cd 432c 9018 2284 7e 28520 2062c 5700 38208 1316 12234 1933 14861 4485 6614 18501 2049a 120a9 2182c 64c8 3040f 26124 3425 2d241 22069 1e300 208b4 240f2 11051 a148 a2a8 20295 3040 1c61 30a04 8043 182d2 a883 28184 1a2a 26301 c05a 3456 20b2 11d00 c9a8 25106 10726 1012d fa80 cc32 189c0 d060 218c4 25d0 21644 21a10 1a085 c20d 5950 1c618 b904 20b42 318a0 20921 28119 340a4 201d 328a 240e 13818 12c92 264 2107 36010 25028 9381 6021 a922 568 c07 4b0b 14232 9cb0 38142 16160 31601 45a2 2b0a0 12544 26682 9624 1c116 8233 1361 4651 10683 103a0 32086 24013 1504c 2258 1e044 2643 33502 710a 7094 28415 22188 16802 10b18 2e00a c89 9a42 22e20 1110b 20718 6c18 35190 10a3 12e05 18470 100 c191 21089 205c1 955 2184b 102c9 101d8 9816 18c48 18824 190a8 9cc 35801 42b8 30022 c282 b510 24c40 22910 612
19:[182] 24d4 410ca 84e1 815c 8626 40322 9c90 52848 104a9 2d32 28c28 41504 ec04 18415 50780 c131 5010f 24841 4a710 1402c 26548 2702a 66c1 6895 3406 14314 544d 41b40 64a08 5b408 42660 230c 7182 1ca2 20833 961c 28ac0 1260a 8097 54a4 12340 20684 44605 44d20 8d25 15501 3a206 4c488 233a0 26224 12259 50855 6942 429a 31a48 7600 2f800 14161 1d0c0 8768 4003d 14188 126b 28814 681d0 4984 3400b 23430 4037 4348 12510 26016 25242 2104c 460b0 4181c 50990 2987 383 40427 40496 24018 2ce 4a940 b11a 15c44 41ea 45006 a2b8 220c2 4ad0 20d51 3b100 42813 74620 38330 78410 15291 31092 640c4 48364 10a88 9a9 23805 701c2 62089 9025 1a121 31702 15b8 18384 48185 8c42 2051c 4483 29078 40c70 20365 13c81 11d4 800 c450 10446 25189 20b18 9903 30449 45229 889a 11207 49849 1210 2808d 4c39 6800a 88ec 49930 70a1 120f0 29601 2c302 402d1 5860 731 61452 40e0b 71060 1c801 51441 aa21 70901 52834 1190a ab4 16122 20120 61c81 14052 5a002 8252 203b 62210 1309c 28063 780a4 4b0a2 6a28 2a488 a50b 60d06 47041 43e02 43128 1d830 30aa1 d00a 3858 a045 34c80 4d380 1166 11274
20:[230] 50130 5cc01 44350 d2888 2515 944a0 2405e c583 1252c 4d0c0 9822 108b8 818f e0b0 e0442 1132a 6985 a0082 812a4 34d40 1121e 30915 680d2 41245 310ac c00cd a4328 44291 2ac40 834a 95094 200bb 12074 18c84 40 98340 d00e2 9c224 c0f01 43984 107c4 60c05 88a83 e0438 82132 6d400 22c6 51450 b9440 16086 a3040 54904 4460a 210f0 a5015 b006 62610 484b4 2c622 5466 e0348 8b408 8918 14629 4b44 52203 d5820 86a60 8271 20d84 e10c 3400d 5114c 8e07 c9011 49861 84072 87502 a852 89252 30502 81790 a40a1 42839 8031c b0908 240b 648c4 2a780 24c19 c20d0 1a089 4a508 2a24c 5809 49330 52142 90825 81892 27880 400a8 24832 4e054 901a9 32212 5c308 40c64 48384 94107 c42a2 26110 40aca a2606 18043 34c4 28949 83301 28326 58068 1a35 8a023 92141 5082e 947 a0524 c180a ac301 29e0 3a822 7202a 8602d 325 5551 25c06 2111a caa10 a03e 5e005 d81c 65d d70 a0191 8204e a9980 5b018 e900c 4196 80859 11844 3169 95048 109d 8c444 15a10 21423 29068 d8012 66048 95a8 c8944 a8409 68660 46121 9209 130a5 91c30 426c c45a 20a50 8a085 ac802 d0404 1c870 1d140 2e22 51289 99901 15485 10a49 2c088 7618 c0512 c4119 80636 c6002 620a5 80762 38021 43220 1d0d 20287 20a8c f4100 6641 a2818 3024a 10433 90e02 10b81 7851 c1e2 44883 61301 11c2 b0054 3c42 3293 22103 5202 88e48 3a094 32360 78204 638a 85c28 c4588 405a2 4c026 41416 96c10 18618 a62c0 35020 31680 70a20 19424 19190 904c3 40c90 1a982
21: [281] 2e186 4 11c4a8 83c3 104c9 5690 1c2601 140464 32016 42823 98232 103483 201da 80654 10a902 185209 26a90 81427 112213 e4604 189092 185624 5c842 50170 1064a0 550d0 64132 492a0 121488 1c8d80 11e824 18b418 3b820 291c4 90144 d441c 61492 a1311 81f6 95a10 800bb 85b21 b1d8 146320 82924 e8282 11088a 6206a 18402a afa0 d22a a0506 240c5 e0221 1d10a2 45106 1f2800 15a040 160104 53841 160437 41287 868e 10d880 55422 119026 206a2 111435 12481f 48629 10a063 82c52 38604 21661 1c0185 150d20 a6015 e9103 bc108 14344a e89 13111 ba42 13270 6850d 2c491 14551 11f00 c0538 64d6 c9e01 64149 8e0a5 8508e 1c7840 62d44 34c02 62c95 f1608 825c1 c4489 122a44 25603 120619 11893 190123 5c5c0 126043 5079 101632 aa34 4e70 61990 11411a 180954 40602 70d88 20d21 ca404 a43a0 a291 492f 6b054 1281a0 911b 85b 108515 106206 11c46 120396 89740 c104c 30341 8a45 58c2a 1e5c 15ae c4013 c18a4 82c87 88cb0 a8047 19a184 85942 2647 421c2 67024 202bc e0b2 12418 10c148 12e018 130268 2011d 1a0a30 4ec08 22710 58b10 96620 522a2 3800b be0 1105d0 54225 124070 400f1 19681 4709 782d0 180861 ce061 f0451 ce100 4d211 2a40a 1c254 34e4 8307a 29a8c 34829 4628c 105c48 1a5280 92a08 1a3182 1206e 28c68 1a4342 62b09 102c3a 100b52 9f201 91098 60276 4b38 c0909 10114f 14ca3 133188 4b904 860e8 1880c9 1002e5 8912c 131501 1d8015 562 1e00d0 10b220 d4820 188c46 8c899 10ac90 108f4 1038c aa901 49443 150029 b09a2 116b01 ad050 1a8424 1c1251 1690e 76081 1282ca b7120 65540 a0b04 1019c1 906c2 688c1 906b1 12e84 145805 82e68 14c02c 24c84 c281e 143010 c816 10250c 23208 141398 169600 1a880a 130865 43521 129011 150246 5303c 52814 190708 11d304 8e24c 116648 18821c 1c101 180a83 150881 194010 1310c2 2424e d0182 1134a 41cc0 7588 144486 10603d 99980 48058 b20b0 1f404 148a28 45a1a 46c30 388d 6cb00 1a3005 9880d 182998
22:[359] a4910 111e1 4b0d8 204a34 110c0e 240f10 58990 2217 170641 1911d0 343450 212143 6b500 106124 1a0c89 134413 1182f 34129 251034 20ae6 132099 229124 2a8221 105282 3a00b4 49c16 14042e 350382 4a538 3d4080 1ca44 1b4004 48690 165111 124680 12e460 b48d 308506 111844 2c5802 20a40a 80d93 28c180 52720 3880ca 48249 2408ba 6c2a8 100085 2448e0 245701 129021 2401cb 385140 8a914 c4814 10847c b20a8 224cb 151e02 550a8 29206 200e82 23d804 324128 31115 5484a c6141 208833 257801 2f0160 2402c5 a9140 2d0055 90388 330514 24a015 202c41 2860a3 382462 28880e 4c03 44f2 140135 14c211 20a30c 110455 223c20 a203b 184319 6a8b 102169 206268 a4622 62c12 1443a0 101748 21a850 4620c 94071 199811 106c3 b8681 103501 93840 281514 d3205 211309 2902e0 112911 8cc8 8c44e c05c1 1e54 86558 14388c c3488 19c820 294604 1e0246 1809a4 38022a 5e818 308118 138841 c448d 61864 1e409 5cc6 1804b8 52229 31a10 2e1b00 994c 2e38 22c921 1007a3 61dc0 63660 1903a 291092 1a1460 2a0d48 38750 8c530 31148c d8126 3494a0 69809 55291 302858 a11b0 59440 20303 301027 9289c 2ea80 304621 8b402 11a480 2a18c4 e8282 209b41 5e0c0 7ad0 171208 b034 209069 214ac 150518 98d01 81aaa 3398 126043 22520a 9ba0 a2056 284153 1c8d10 2d8284 a781 d5510 2343c0 22035a 1518b a6c4 5c303 292881 2c03d0 85304 29a008 110232 73013 182b4 10d888 22c089 116860 17414 398a8 3050b0 308cd 330980 82a25 270d01 121394 128a22 aa211 24a0a6 100877 c801a 24104c 88d2 c3ca 319200 300de0 209a18 201991 10742a 47612 c5238 228e12 1dc 2a1e0 220531 944b4 a4868 20b203 5b902 8027c 126b08 60958 11c1c1 9628 192122 19106a 4fc4 1210d1 141043 8812d 12a814 52144 2c582 322092 226844 20690d ea980 64027 f111 231062 68c45 28ca42 133024 34e08 30c740 1032e0 215451 1c08e 50e84 810c9 c1c21 3e2800 274230 1c1492 1c3083 290c29 164348 624a1 1d8044 c260b 26095 12181a 841c6 197200 41986 1e8028 201d42 40928 4c871 3c000d 10ba05 78031 30403e 10a883 262201 b0458 9905c 2e4440 3020ec d0a19 200000 5244a 2b0a0a c2822 124906 18d085 a2505 198203 1532 109652 1b2620 caa08 27221 344c04 1ae00a 12427 6008e a01a7 12058c 1640c4 104c18 12500d 382301 b1003 85e41 10e146 1c0848 f1404 242484 2c0522 36264 200456 88424 244019 6e602 468a5 a7409 3f0012 346002 380a84 3863 184892 348070 2574 141a90 2a3180 2294c0 211106 2100ad 20619 100b52 332204 105ea 890b 208e25 12b48 2bc010 2c058 2312a 502d2 139b0 114542 212312 220c87 148304 42072 348b0 20f604 69a2 1e222
23: [449] c5 3a 20d20 4740 40390 209012 402224 89d00 6b080 16a40 103a02 c5102 12909 9305 1a222 146003 b0212 118812 8a244 134048 a84a0 108624 5815 a1d0 984c 10994 81468 18024a 6059 428e 8800f 14001d 10206c 4ac100 519200 453010 244580 230604 4c1808 421111 222228 500581 320442 20240b 220849 2050a1 40284a 480192 4880c8 127900 d1b00 15a801 8d602 ba410 115680 148b40 b8a04 19c808 1d4220 13321 1c611 6070a 8f12 71422 55806 4b160 2c330 122305 88e09 164405 148c0a 8b118 ca828 d410c ec048 98544 18c211 1a0360 1b10c0 1b0830 74083 454c1 c951 32186 4e016 3694 1c42c 5901c 31238 681a4 41aa4 90583 94823 82661 c2185 91251 84a85 138091 80ba2 128246 119086 d2064 1160e0 110538 12068c 1184c8 a411c 10c1a8 182283 1c10d0 12247 4506a 16e2 18866 10442b 140171 8141e 2102f 110cb 30b9 1040d6 274300 33e000 3c3100 5f0100 416c02 42d410 513401 2a6202 4a0e02 550602 2b1802 352408 546108 490780 30d420 382610 586810 3e4010 422a11 448541 250a0a 240d0c 434818 205c84 4486c0 430944 418360 310303 301922 323050 52880c 300d50 305114 4c4130 500b84 298290 3510a0 394041 58c082 58110c 222183 208c07 438043 20a289 260189 450129 44c089 430285 21212a 20a4c2 40850e 461052 4602a2 4414a8 4211c8 248868 2085b0 20c454 450434 2109e0 4019b0 2112c4 41c094 2c0451 2e0025 32010e 514026 302134 304238 500654 350054 4a4064 204227 4028d1 200a35 5002a9 4801e1 400467 201097 718500 611510 619880 710c20 7a1020 604a50 720290 610813 6420c4 60011d 10f700 6ad04 163510 9f280 f4c04 39c21 15d82 4da82 76288 6f24 36930 1e314 a3303 ae805 12d209 e1681 14d121 e6842 9c30a 16c142 117890 160e18 1e2881 1a1c14 1c5824 43c23 56192 3a8a2 21726 f498 62654 266b0 4aab0 2564c 30b2c cdc4 58ce0 103c89 112691 163045 c4c29 c9191 95125 111ac1 aa44a 142546 92c70 a38a4 104ec8 b09c8 c9238 1c9043 18290d 1c0329 1a908a 188552 186454 4541b 5a04d 15269 30cd1 cae1 438d2 15156 1bcc 41574 10154b a0947 109869 82a3a 106272 e089a e0436 1604e8 501ce 181ba 248ea 86f8 10289e 910f2 1808e6 408af a5f 46ea00 36d800 24ba08 21b504 227380 528701 487c08 31a340 371208 5d4840 42b403 41f081 455205 468982 42a318 21780c 407344 238c18 23d060 30e105 531809 284721 360a21 483522 293206 4a7006 549806 492548 4d820c 524660 2e0384 2c8914 28c350 3c8421 3a4806 5a2184 38920c 40e123 213843 462807 202751 4264c1 2522a1 254819 228661 441661 458115 24c12a 23508a 20ca4a 458492 433068 4425e0 204b1c 464258 244964 4e040b 328113 4c4491 504961 344285 498825 50262a 30a11a 5013c2 3092a2 489226 4a242c 34308c 3248b0 581813 58a019 5a2031 3805c4 588494 424433 254063 22a066 201c36 4241a6 2068d4 40459c 200e6c 28814d 50816a 2c80c6 2c04b8 5090e4 444057 42045e 3020b3 4900d5 67a004 792880 606506 60aa06 625242 662150 624528 629124 722405 689409 694442 6c2288 708a28 60511a 648234 702458 701898 78048a 60304d 6010ae 6400f2 e9445 9a952 56835 150cc5 2d9821 387409 222dc1 401f51 241333 5700c6 63d011 6c2c12 68d844 630c86 6a8831 68e0a4 7800f8 471e00 409a19 198120 20f041 263830 125216 6a2900 2c0622 1b0119 293480 28402c 26552 54a980 79908 261490 4ca400 600000 645608 904ad 288880 69251 8618b 69022a 40dc22 11238c 261844
24: [571] 20000 f00000 10002d 300103 41e ad0 188205 584210 520411 10b060 124842 510244 128680 c41005 63c000 414016 f1040 894801 250043 c50088 806029 a10038 602026 218809 c0011a a01094 19058 6c0880 82a14 4400b2 5505 22145 810251 30314 d882 821244 13290 a1620 88541 280e1 28c9 602d00 40661 382019 b80016 d1c004 1c402a 9c8801 7a0022 18a109 78c100 193802 1ba040 560085 368042 152412 508033 115038 b0c022 305045 11d081 d09041 510819 327200 503212 903818 322094 138814 984064 1a2828 9a0142 b40282 b03120 534060 312424 908291 10248b 531900 113188 10830e 138502 114a06 d08a08 922608 d12480 581320 390a20 184582 560640 350c80 3081a4 106622 122270 d00462 500945 3041c8 508982 1823c0 140d48 1403e0 4e6002 ac100a 87800a 17013 a16005 609007 62200d 2f014 60b018 43101a 8c0033 e9101 4c1043 c304c 8c2206 4e020c 2d8410 d080e b802c 89813 e80809 4b0106 c84812 aa4048 28409a a9086 688214 68240a 245031 a42111 46a201 458403 4a04b 864114 665400 5f800 246218 4c05c 469810 a62802 660058 25a084 24a80c 827022 c13024 43a030 234109 401117 42408b a20093 60510c 3d208 e12810 c40a5 c50d0 281232 2810ac 860c3 b00d1 a81144 a8a300 8b2180 28e880 aa1480 881c06 491848 48b480 2b0288 892442 4a2444 aac10 490a3 a48061 46126 271820 53428 47181 8610c1 860a09 842c05 59302 45614 411229 c010b1 80182b 12075 429122 2140a6 21106a 830832 8200bc 20283a 405251 205489 23885 40ac11 e312 a14502 806198 1c146 82118a 423148 c0a144 83050c 25292 c2c600 20c60c e040c2 26c0a 80b602 211c06 c22290 a32240 a10a0a 432a04 d2e00 6801a1 828b1 ac520 81938 c82860 82703 480691 8438c 280358 a8390 648920 6a1a0 482ac 48c34 54590 61584 40b1c 41a4a 4508c2 42c98 601861 202629 30631 204334 80c1b0 226160 a00926 12178 4050e8 34b4 2011d1 800d13 212541 6002c9 406704 a01d08 20a1c2 281cc 21c2c0 21e0c 821c50 4014d2 210694 c0728 8c0b40 988e0 84cc8 88e44 50b84 64e80 104e9 801362 808968 204a62 211b40 9788 222b80 8107c0 5d3001 58600d 9b0007 b4000f dd0030 1d0115 9d5100 d85021 9b1404 3b040a 369401 970811 162059 565088 94920c 74009c 11441d 113087 b22043 127106 b34410 319212 5c2150 7c1600 1d1890 1e048c 1a013c 38a230 394601 1ad140 59014a 196488 581c14 1a2612 7a20c0 546121 748221 166824 541426 341832 d62420 941611 34c508 942194 354250 b41c04 b42244 96a0c0 338128 705224 50023e 136901 911509 322c05 916310 30314c 52a308 715440 70460a d09484 b29840 9c8700 9a8260 990c28 9804a6 981a48 140e07 364980 742380 300a39 108875 11492a 1094aa 1252c1 905950 3111c2 908554 516e00 120c9a 1c0564 182962 580f02 104571 109721 112aa1 1101f4 1304e2 b006c1 920b88 906cc0 320e50 4cd009 8ee004 a8801d 2b2016 247007 7e018 e1900c ec4201 8d2209 89f020 a421d b3205 88d218 4b5084 48e098 9c40e 6a9804 59035 4c097 c62083 a65808 c5404c c46414 468216 878094 1c03b e29030 3d805 60e051 82805b 81a419 4c4834 8f0501 2c8851 d0487 2cc302 8e4602 ac6440 8cbc00 d8252 28c423 293421 8a8429 694130 284c15 881455 83499 c8a241 9828b 487904 2a3190 83516 a87a00 49da00 485246 c88492 64133 464425 a58124 459062 268305 6890b 8560c1 e48481 a50449 44c318 474910 44b304 252918 85c482 c51a10 271602 2320a3 2c82e a28226 e0043c c34141 80c88d c20447 2f508 624906 613302 41b510 80784c 20f442 205856 60688c c0128e 80a896 4320d2 2d40e0 e2a81 84167 890323 488863 482538 684c28 c912a0 890f4 4822aa ca00f0 a02c7 88434a 97640 2a4644 6a0a42 5c321 8601a5 2408ab 251264 2622a8 468468 551c8 84eb00 460598 240556 7c8c0 249a90 858e08 20432b c21921 618521 210935 7a25 33328 8111b2 20e2a2 4238a2 408c3a 23a460 cd19 3b0b 34643 e645 20a691 24b1a e01710 80b1d0 31552 16a52 80cc52 6032c4 e18a40 428658 a024d8 3ac82 e0970 e0ca2 c06ca a4b21 915a8 888aa4 289740 90d54 8408f8 4445c1 c406c4 a005a9 402563 67b c00b34 4183a8 a309a0 805e30 1cab0 811c64 202a6c c08b81 800787 265d0 6089c4 400d8e 9ccc 208e86 401ea4 220ce8 8f4a 92da01 10a927 b04869 143ac4 a44895 a3085c 451d0a a80f90 410682 44016c d20826 c0622a 303450 54c430 18c85 1084d9 1b4049 161016 c60320 650211 4e0d00 444a60 3c9088 9e0210 90542c c02449 6414a0 910882 298982
25: [696] 1000000 4b 35 c182 c040a 20a6 11304 20a90 1023003 10e0021 1090222 10401a8 1222120 12a0808 1445080 1802424 1428480 110489 16010a 204342 88c012 484144 2e104 304e0 d22020 1085403 1440119 1404521 1008455 1214085 1e12001 1d80041 1502085 1380805 1090a81 110902a 10012d2 1080496 1c44802 19c0012 1690006 1150806 10c6108 1820988 100b340 1308130 1180990 100909c 11240a8 1054038 1432808 1525400 1219404 1189280 110b810 11c0e00 199c000 141a0c0 103a210 8c9003 164803 4820c3 268203 4a0509 109921 4005d1 63a1 960301 420931 8340d 25099 2044c9 212429 a0c209 414289 2c069 88a809 500a19 981421 683011 3a85 d04481 234601 a4451 116045 72205 149502 51162 40d46 28712 810926 352102 4303a 43401a 8b002a 40b406 515202 6662 488462 88e06 c48a2 440a16 138052 aa882 d11108 29388 320548 8dc8 81490c aa2108 11a188 110338 80f500 125b00 4a3120 1231c0 53910 e00d10 8005e4 82d30 29c104 500954 30a904 105618 90700c 303818 59218 c18c08 860498 20e0a8 40825c 191444 a87200 4a5204 85834 d3220 884c84 a28444 d04250 c44034 106a14 c42260 b500c0 872880 2e00c4 1102523 10141c3 1108307 1a00c0b 190201b 184008f 102828b 1046413 1280683 108e803 1360013 1043909 1a01581 100cb41 1c00985 18a8105 1460145 1220915 11b2101 1068981 1832409 1806829 1641601 1491c01 1009e11 1065a01 1941805 1201a61 1164405 10a2415 1a10071 13b0081 1142831 102c50a 141230a 1819112 1201326 1402d82 1280552 18a4302 1806192 1424912 1548142 100544e 14c100e 14104aa 125041a 101c84a 1040a6a 1405432 1e010c2 1940642 101ac22 10a4066 1922a02 170a802 14a2092 160190c 114111c 1088728 120438c 10b012c 1315500 1061550 18c1310 1849940 1018744 12a4190 11441c4 1106350 1cd8100 1c30190 1650940 15109a0 14a03c0 1811c48 1a05068 140d828 1611228 1170608 10024f8 190e208 1878048 130222c 1262248 1198248 10c5640 10158b0 1ca1810 12d3080 1864460 1614450 14cc404 1246c20 102c624 1f08600 1682c40 1422e20 11b0430 1070c44 1814ac0 1514284 1496820 14842b0 131c880 10e6810 1e80a04 1c00874 1b30014 18ca204 18288e0 1642290 1258260 11ca060 1148a24 c40307 9009c3 650123 530303 202173 4ab03 11102f 30041f 60601b 18c00f e408b c6080b 81809b 3026b 509c03 34e3 215823 d263 1c1207 a26403 4c0427 41a483 382c03 a90207 a02887 492807 418a43 3100d3 a2853 2a247 55509 8d129 80914d 940529 4c8309 31014d 200ba9 188949 1099d 43711 481b81 820f05 260721 856141 690191 292941 6304d 426c09 428619 50c039 1e01d b38009 74a009 602a49 4d0059 298829 a20b9 121495 545061 a50e1 c21215 b030c1 8d10c1 639005 469091 412f1 1b825 846485 480cc5 448c31 2c84a1 160c51 a640a1 8a6a01 604865 326281 186861 11c225 dc881 44a55 c300c5 a2a811 87a021 158095 cc012a 42a12a 1801ea 62d102 65186 2a1116 29b102 2419a2 6c4502 b00706 8107c2 212b12 1d0b02 e09c2 c2392 50344a 8210ce 48129a 98460a 41460e 822c1a 808c6a c04a8a a0405e 3c404a 1340ca a9280a 61204e 4d088a 38809a 27800e 18225a 9085e 28a3a 181e22 b5812 c83026 c33042 9c3042 929806 531822 361026 309246 e20432 d10492 c90446 300e92 2226a2 916062 276022 618832 5c8812 5002e6 220876 112ac2 291708 6011e8 b32c 4456c 348708 24251c 12252c 32788 c24328 94368 50892c 20df00 a25920 135114 5374 8c9184 861164 1d1190 834d10 466700 d4550 a58580 710780 827c4 8f4180 714910 28c1e0 d82380 a081b4 81a170 44a384 2503d0 1c0b84 f4c8 e89408 441e0c 295058 9e1028 923248 62320c 790a8 e44448 5844a8 284638 22cc18 46c58 a0268c 1426a8 a86c8 c2484c 78401c 354828 c429c ac88c d90068 c18238 b208c8 7082a8 6200bc 538888 46a818 36021c 2c8a48 16a0c8 a1d420 227c80 15e84 c11624 b33400 4534a0 d0d044 9150d0 6858c0 60f240 42d850 32d060 217224 4f844 c61a80 859814 631070 629a20 2f1210 2230d4 a54610 924c24 496640 10ccb0 3ce40 ce0604 cd0c20 720ca0 60a630 558640 530c14 21ae80 210c74 c0e890 89c860 7d4200 666804 24ca90 1d6024 126074 da8210 b82844 992a10 8c8aa0 772040 5700a4 2aa224 d8234 1504193 1b10303 10b108b 1403233 140e189 1485151 1047125 1406315 1194921 1a81219 1c8440d 1900669 14620a9 10a9c21 11512a1 160cc05 1144631 1106cc1 18106b1 1a442c1 124e051 1452a11 1483942 1a60382 160708a 1a010ba 102382e 12808ae 1835032 1087a82 13098c2 1283832 13084a6 1048e52 1e4a022 1230a52 1006978 18f1500 1788d00 1452d04 14e8124 10e29a0 1817228 1407a48 133104c 124185c 1886688 18d240c 1500ccc 1f02098 1843cc0 1597010 1c89034 1a0b0a4 15a1844 156b200 1848c94 13a2640 18a02d4 162a244 4c15b 924513 14d63 c90513 3aa103 20066f 106a8b 2408cf 805c17 249417 51c93 9290a3 8d0683 e8a203 285ad 952119 1d515 a03515 111dc1 c97101 9051a5 911361 2c1325 484f11 154705 5b0125 1ca115 881c99 a9a0d b14039 c03651 a8d085 a81075 5a12c1 2da405 85a2c1 453ca c0193a e0270a a6016a 68815a 905562 4a1d82 140736 b44912 e08b82 89f6 85520e 15047a ea408a 4262ca ce24a e402ca 5120ba 3b024a d7482 147292 2e8c22 14a4c6 c24296 40e236 31c036 fc00a2 c480f2 8c2836 862256 58a708 a04b38 526198 e5018c 4981cc d01f40 103da4 b49150 bc6500 5805b4 742b20 741438 4d0ec a1b848 19e418 6c04d8 4e206c 15286c 383614 63670 8bb090 d6e400 40e4e4 4748e0 9e294 d8a094 bf8800 1930a45 113b00e 1d640b0 8af118 ab9130 8439f0 a31281 4c6130 3a9e0 311894 8491a 8128d8 201b2 98003c c03963 1451031 1c28023 251441 84065d 41053c 187e804 949222 154024c b0c141 12c80d0 63c02 401c68 98701 109471 606494 869432 149c011
26: [893] 100000 1001860 800125 80020b 40041c 1090821 3020083 3140804 3050108 1006910 1422280 100ac80 1008262 482421 68045 110489 52901 19103 808851 208100e 184424 488128 890888 181038 390140 2880c10 a804a0 600b04 150c4 c38004 560204 130308 a0c048 62c8 523008 100668 2048122 2012320 940142 228130 122122 103380 31150 416202 16490 28082a0 e20402 852030 218460 12c0205 1081027 11a0121 11cc001 3282081 14c2011 10806c1 1020a0d 3000907 1221105 3004815 3100285 1830045 1500445 1002255 3100509 1500119 100310b 1604209 104401b 3210809 1908809 1430089 140a029 3000171 1c00183 1840511 300c441 1804c81 1046061 3840821 3150041 3021211 3012601 1d12001 1410a03 12090a1 1010433 108015c 1cc000c 1a80184 1491104 308c084 30c0046 1880264 1480606 10a3084 128600a 1898208 1480c48 10c00aa 10a0498 3098500 14a0910 3095020 1a94800 18e4400 10c4a02 1096240 3580030 30d0090 1990012 18a2202 18a9040 14c9002 1283420 11c08c0 10828b0 113800c 10200ce 101202e 1054114 1812904 1108194 3304404 1464084 122c804 1900486 1820834 1602016 1060416 1010a94 3201128 161010a 1240918 1020568 1804a48 110488a 380900a 3240488 3042068 1a03048 122022a 114a018 1111218 1002638 3129100 3100342 1c02540 1700940 1300720 1061700 1032502 101b140 3454002 34048c0 3134200 3024430 1855200 184c030 1326010 131c080 12440c2 110d050 3a01c00 3a000a2 3060c40 30120c2 1e60800 1b41020 1a30090 1900a22 1860250 1828422 1568020 1540490 1530042 1509600 1451810 1458240 1370002 1308812 a00ad 2480885 20c0035 980055 8c0407 b2405 a80909 184819 24a0049 3a8009 a4b01 3c0111 a01d1 805a3 f4003 8c261 2281a01 d88201 8880c3 2a0243 c8823 10410f c0408d a44d 600147 2054085 1c415 7017 2521005 2203045 920807 401c07 4012c5 258805 160095 119085 22287 825109 4339 c1c9 30519 2801059 2122089 210003b b000a9 802499 50204b 44108b 212059 3006b 2024941 2006503 22e101 2209a1 421c3 48721 2406051 201e021 c15401 a46011 934011 6240c1 3048c1 245403 165021 124641 66481 14e21 2b00803 2801423 2500c21 2448a01 20404e1 2029c01 2008691 e02a01 c63001 c20261 a31201 941601 911061 84b801 4180e1 303083 260e01 13a201 110253 314c1 ab3 88610c 9420e 58804c 84714 20c3104 5c0106 2f0104 82166 20a6204 892086 2a0c14 191a04 c22a4 a8486 980d4 2085508 8a011a 921c8 1c6088 25d0008 2382208 2281098 983408 690608 2d2028 280a38 28884a ea808 b9408 4c4340 c5130 2ac8100 9c01a0 680590 19a110 181702 91982 24b4400 2186012 3b4020 2a7040 a4832 856a0 26c0c00 2581802 2282822 20f0820 20d9040 208a070 f80820 db0080 cca400 cc0842 ac02c0 8e1220 888e02 3c8a00 2c2442 1a8890 c9c10 b8230 aa640 a0ae0 210032c a0054c 41094c 403cc 40702c 40ca0c 20403e 10468c 6601c 2b1000c 28008cc 224802c 206140c 201a08c 2002c2c a6008c 84204e 201e0c 12085c 2b20c 2805114 244164 2808704 2420524 2038904 2010594 42a184 212314 4ab04 28316 8d26 2606804 210c064 a24224 90c884 8440a6 64c014 34446 dc44 2c42204 2410826 2241814 220a206 2020076 d00294 c0a016 a11414 929014 851844 650086 502e04 322484 240256 221464 118606 10a2c4 306a4 2624108 114d08 284018a 2440318 200055a 840b28 4405a8 209518 6114a 1152a 2445048 203480a d14048 424898 325088 6c428 5c218 2e02028 2802a18 240260a 2228a08 214840a 2021838 2018438 c40648 c0182a a4801a 9010ca 908458 858c08 81b018 708218 669008 6024c8 341248 24a608 112a0a 6029a 500f8 2044d10 d04320 446920 44c182 34d100 254b00 205740 174180 125910 2d380 14962 2910520 2500780 24301c0 2421112 2270500 220ad00 2201942 20411d0 2001da0 f08180 e50120 b11900 a00932 8211a2 803350 5021e0 500b12 408d50 2489c0 223b00 2c0c802 260c480 242c240 21064c0 20070a2 a26802 81d022 814c12 60e042 504870 40c622 344222 1268a0 ea30 2a090c0 290a820 2838012 2618050 2520222 2319020 2300a50 2142610 2131840 2042a42 c12860 c18610 b50480 b28600 a0b220 900ec0 801e30 720430 603830 55a800 551202 470c02 441462 273080 2428e0 2222b0 21a0a2 171410 152260 140c32 58892 4b482 1180b05 1481845 10a5049 10b4091 3698001 30c1481 1282261 341040d 120060f 1c04425 180b205 11400a7 104a415 1105909 100095b 1608c09 14089a1 1c26041 1704023 1908461 1268013 1240871 1222c41 1210e11 1148283 1111891 1053221 10b012c 14ac014 10a44c4 1094c06 1085834 16c0824 3980448 1688098 11a180a 128c160 118c502 1882710 13a2180 3b84200 16940a0 3892802 38800f0 318b200 1e91002 15e1010 1281a42 10d30c0 143500c 344022c 18012ac 3103124 1441314 1432114 1310306 12101e4 1c14284 150e006 1216444 390a404 3411244 3003c14 1c03034 1162424 1a04528 184c188 102c318 1c11308 1810598 302e808 3017018 1454828 140d418 1126068 1025a28 34002d8 13108a8 11190c8 3526100 3862102 1e02122 1c49900 1810172 1238380 1212530 3945002 102c0f0 1005c92 3a202c0 3918880 326a020 3252880 3148250 3038842 192a042 1600ea0 1448452 1313402 12016d0 1031a82 9490d 8838d 8a21d 2a89005 8c6049 2c88409 20a2229 2098059 c81219 c0699 91c0b 584701 28c2501 208a113 883321 6811c1 498911 183941 ca4013 c96081 185063 bd201 2380443 ae0441 4a2883 392c01 1a0c51 220811d 648f 74002d 46280d 45020f 102535 8f45 845a05 2e00095 2810235 81a407 428607 2068309 90290b 404c4b 2901889 223040b 2008c8b c40899 420c39 249489 961b 2205511 454541 434183 2810991 2632101 23081c1 421b41 71381 2f44001 50ca81 44d0a1 444613 10c493 1e843 2609203 24102a3 2062053 202b091 8400f3 8294a1 413033 2c73 8c881c 58148c 18241e 802de 20ac124 2198304 8a1544 281526 29a4006 21c4214 2ca2804 20e0816 380cc4 2a9244 228414a 6c3108 48134a c2d48 20c4c28 c840e8 7c400a 28d288 194458 24920a8 22b0288 9a02c8 98a02a 192868 2e86100 8a4d20 28a8150 24a03a0 c81d80 a8b102 4a1530 282f80 1f8500 d0570 2d84042 288d202 2595080 22a4620 208e8c0 ccc050 8b4250 897a00 395012 386070 c7890 28c8882 26a0860 24c0a30 21894a0 20b10a2 f90050 a90642 7e2020 6e1880 5aa410 493290 48b460 8a2b2 12990c 2d2040c 281844c e0880e c2023c 23809c 2018ec 14007e 5143c d44504 424926 2811164 2200786 2051306 c00366 830386 402974 268506 149524 b0d006 26c0a4 1162a4 5f006 37c04 26a54 2c41444 2a42806 2821a44 24420c6 2400e46 2110ca4 e10834 840a36 81a254 713044 632884 549026 3014b4 20a8b4 298a6 2807908 210e118 d94a 284a148 2822588 750118 30816a 10a70a 185ca 2a6400a 280423a e36008 81e608 31f008 260103a 2300c98 20630c8 2011e88 c0bc08 830c58 6282a8 422a2a 2604aa 143c28 688e8 4ba88 201d580 d07140 90c382 87e100 846780 614350 41c1b0 217182 2059d0 2320550 21101b2 c18b02 b62300 820dc2 112552 109b60 6b910 294c440 2446290 2214aa0 2056422 c24690 a4d820 806662 515422 306682 20c652 174212 145e40 2f062 2d09210 2c23082 2751800 25480b0 2409852 2369002 2101e12 c79080 c134a0 c01ad0 960a82 932c20 612c42 5584c0 50b890 46a032 123252 1328215 3921221 1605a24 11704c8 1841b90 1078e20 9d8105 69c013 2109835 286006b 2403869 3502b1 2887064 a61318 680760 601329 15402b 3c00000 205064a 1141170 122145 1004381 221819 1586820 848494 d8424 19241c0 690132 1804454 4084a4 3401482 a18501 1a00453 1841c4 2813442 3830028 15858 303826 4000d2 2113b0
27: [1090] 2b 55 8a6001 888809 4c40101 4012290 210232 238104 a4580 500c220 508422 2205044 1a0160 3414008 2009053 120c85 6028241 1401611 4208883 2208485 2090905 4044e01 4206141 c1491 6043005 e10441 2448061 21a000d 2314801 34b0001 2640409 c0d6 28b0a 85cc 8002f2 20029a2 2022452 402023c 10ce08 6f020 500f8 8b460 1404416 30001c6 5010e02 6004d04 4428184 14250c0 4814308 c09310 4411c10 4a1106 4046092 1111482 514904 611284 110f100 9106a0 2100698 622890 22210c8 404a610 1061340 1060c18 862448 ca406 24440c8 4928050 48b0048 a42482 a83102 58011a 4325008 9a1880 962120 1d05002 3840424 5a00380 5244050 6c002c 4380490 b80308 2348220 2380448 4f04004 68d0200 3a82400 221cb 809507 81c885 1034145 802c35 43102d 414aa1 1012781 100537 21481b 210e83 4418093 1803a03 502050d 1804c89 c05449 2420b81 48094a1 240ac81 205040f 4044463 110680b 1070423 465015 872205 1129025 53c081 1084d21 120c909 1128291 10881a9 2071601 148465 259281 6404851 3806061 5820099 2840187 450800f c71003 1910125 5084a11 1854411 32000f1 4502621 18a0609 5131011 5108149 1508921 4c0383 4281213 4186025 430a209 1320641 a41a21 40d2019 1182131 125a101 b28409 582451 20c2541 3c08015 2c81881 6480611 3908a01 2e02209 1e20031 4644203 4b08805 298c101 cda001 b49003 58c0083 5980241 6a80031 4c7c 1a43c 27498 1023816 201206e 202e282 40634a 416c0a 819a82 4020d92 100acc2 4004b34 202612c 1010cb4 4002e2c 404738 403e030 2003558 203d06 a5292 6c4c2 21f042 2023d4 1094b4 127260 57700 20ec30 827b0 2814642 1801d42 2430512 180624c 243b004 48049d0 441ea00 4403740 6011a60 6009a18 c20e50 502ad00 3029520 4224426 1220296 104160e a28606 2058846 a24c0a 50a252 4069842 122284a 40844ac 4096244 92460c 40ac844 10a08cc 4091624 1232a04 84823c 8b2424 4114ac0 20642e0 85ca10 a16260 841398 4a02d8 42314a0 10720a8 20985a0 1218660 a31b00 488e18 1053850 1213510 891438 20b0870 15600e 1412a6 28320e 280176 32c302 19a142 24d184 1431c4 32a08c f0c44 310598 172e00 298138 2c04c82 3800a92 2c0248c 5420854 7012124 1c19404 5401468 4450a06 30a8026 48450a2 612c402 320501a 50810b2 3232082 e09092 320222a 445102a 193002a c48942 260086a 5206884 19048a4 30450a4 322c084 30a6204 e04344 448a124 6121814 146a804 3043414 24ac210 60a6808 188c450 1a1cc00 3114510 293c008 6050b80 14502b0 c50a88 1a0a0a8 d30188 2842258 4a30828 4a20550 4443848 6128128 1918818 1872110 3238810 2511150 a7000e 20e1046 22540a2 1186052 419208a 64a0a2 2178082 1162212 10d8822 4311884 42a2304 b0a114 2142c24 12860e0 1295240 2284708 2264218 40c6920 2192a80 42601b0 550650 650708 1332420 8c1950 2182d10 2311828 385086 3b4042 2c0ac2 1d8c10 4e10412 3920214 548201c 5504218 360c600 71080b0 5459200 1c91120 3620508 1b0800e 2988046 4a95002 d44442 24e4402 28e008a 3240462 1644224 cc0494 4a41c04 4944290 19a5200 1964c00 30c02a8 6141c80 24d0890 1703a00 2980330 6270840 1541070 30c8130 22e0094 21d2014 7880940 7610050 6c89020 7168004 3a49004 2e50024 2e80a40 6a61010 19e0102 52c0504 17a0088 15c0700 51e1020 43c0850 be0410 5d42080 21277 a31f 1a2ad 2919d 2a939 80708f 83c063 42e123 4030743 829613 10260b5 400561d 200e645 418f05 813155 102d891 40313a1 8318c9 821369 1018571 136047 10d04f 620e7 a6623 44b33 42e53 87989 207a19 225931 489e9 113a49 18044c7 4819017 14160c3 480426b 30202cb 442320b 6008f03 1810353 483a00b 1421163 1424a0d 2825c05 500b0d1 2810e29 2422271 1431c41 a1028f 22208a7 607483 204d20b 22082b3 11230a3 8a1c43 630923 40b0195 481cc5 600cad a0254d 2071115 1054269 2126a11 4095911 205dc01 40887c1 21016e1 4724c1 4101f11 4200e71 523311 613071 306607 284a27 d110f 2904d3 18183b 16a503 16092b 2a8853 242a8d c98a5 1560d1 14b891 241569 5823403 2c2081b 700403d 3405321 5411981 5428621 14804a7 1490247 c8202f 6114223 5215023 3051093 288a093 28608c3 e08323 4902863 446041b 184a813 3209823 2890c13 510c185 4a0412d 1487045 6082a85 484049d 306021d 2881345 5201945 620806d 4a2d201 244c511 60604b1 16015a1 44a9811 2489119 428404f 4183807 119c203 4ce00b 129014b 2151823 4c488d 944a45 115808d 98221d 4290c0d 1242835 41a42a1 704389 4155089 10f6081 9944c1 1247301 2187209 416e801 9ac031 20c5071 21a8681 43029a1 21401f1 4142d09 4249151 1143429 68a151 2ea031 2e1d01 7402113 5c0c049 7801309 3c22901 6487003 3884113 4d20283 650140b 1d10843 5441095 7105441 2c95011 39005c1 3849181 2d020b1 5a12049 6460829 2711203 4988443 1b010c5 e800e5 6250215 3320305 52b8005 170202d ce0825 1a4c281 30c4341 f01a81 4941251 6262109 14d8421 41f0803 ad0063 750503 ac024d 6d4211 41c8311 2745101 47404c1 59c0405 1b364 3d1d0 100cd26 4021be 4031c46 400d94a 4019472 1009c3a 402615c 825534 8307c4 402c2d8 41c7c0 200ebc0 10312f0 b6906 9829e 41d96 1151e2 9d0aa 9b192 74b84 11dc24 118b94 2131ac 49e68 71938 28160a6 1812986 143048e 1805b12 600f032 c3e402 281d122 1400eaa 480389a 2409b22 2808d1a 4815464 c1e114 14234a4 242845c 3034ca0 24058b8 6025628 4827c20 5022ae0 30038d8 183a340 1432660 501b828 108588e 8541c6 1104666 1064a46 406c816 220ab06 410e982 4086cc2 10ae882 10444ba 105c50a 41092ca 8708b2 21300f2 892a4a 53121a 2112b42 4105784 1205694 111584c 89416c a34854 5130e4 1089f04 107824c 2223234 122146c 121095c 92382c 91ac44 522d0c 405c8a8 445da0 221d490 89e608 2116078 2087960 122b680 1093ca0 a28cb0 1102758 10a1e60 2ac22a 18d512 26606a 151b12 f3032 d1c4a 2b091a 304dc4 ec154 267444 254564 308e54 31e290 287c48 1b9288 1606e8 161a58 32b920 4c0c066 4c08686 6404392 700d0c2 5426822 5828132 5410962 64102cc 58014d4 2c02f04 703240c 6812434 38006e8 2c2aa20 2c12318 382b018 5120b06 488064e 4843246 6042946 620281e 160890e 310112e 5074902 462c01a c682a2 144258a 28810ea 621824a 320035a 485015a 147005a 286a02a 2512522 2453442 44a6094 d140b4 1a0c314 c64624 1484174 48b0a84 3089294 28902d4 189a0c4 2901994 26088d4 250036c 5048c64 6070164 253003c c97280 150c8c8 310e4a0 18a5828 c46470 2a37020 4522388 608b380 51321c0 c981d0 2900da8 2a2a980 2a034e0 1a02e18 144a360 d08748 5203138 484a528 44ab408 1529418 30a9148 d19068 2921470 2184e06 1303446 70045e 20c4592 a4524a 115098a 12601aa 5415c2 2298982 10f220a 4319112 8c8532 21a3c02 54524c 229c224 11b4414 128e40c 40c90cc 114249c 9a20cc 40c851c 425045c 1251c24 999904 691944 2281c34 70d1a0 21841d8 22561c0 94c720 645e40 8e5058 a5c058 726c40 4dd108 21ad820 215d030 232c450 1281ba0 415a0c8 12814d8 993490 7188a8 6a1720 430bc40 720d30 22b3018 361826 1c309a 399a02 3701a4 391614 347128 1d3320 5c00236 740e140 6c34c00 3c04078 7428888 4d22016 5a0c092 2e0418a 4ca4902 6515802 64a08a2 6481262 588910a 5502c12 6910162 3909062 344a412 58a4064 586600c 685480c 4d008cc 5a2a024 3530844 54441e0 3846098 2d160c0 584d110 5604d10 2c67100 1d012a8 70604c8 590b220 4d18320 4c41a30 1ca8b00 2d18610 6893440 3a03908 2c4b808 2641886 18c0326 1558106 d9040e 6248492 530122a 468032a 24c0a32 4723022 1641912 269840a 44c5304 454d404 3240e84 268828c 48ca884 1982584 315030c d80664 498806c 4689054 1688c14 2662054 6245488 60d4450 624f800 16ad020 e66820 2a44960 2726110 49813a0 48c82e0 d8a288 62801e8 5182b08 4a88f00 1950a60 28e3a00 5282470 6322418 1aa1150 d8a860 f01858 e68118 2b02870 2a41530 43a00c6 4348126 13a0832 12d4184 744894 acc80c 434221c 234884c 1354c80 41c4268 42c4c18 ac6130 76c048 6e8c80 22ca188 21ea048 22d9440 3cb204 3e6280 3d2940 7c02828 789a002 5d0110c 6e01114 5c82a10 7a01610 7520640 5c70440 3c78008 7314006 3540622 5a8042a 5678002 3700542 728082c 34c1904 4e844c0 6b24a00 54d4808 7196400 6b06048 1e56008 5b19080 4f01488 1e411c0 5640838 6b12500 65b2040 638a022 51d0884 61cd200 25e1180 26d2240 475a400 4749018 63b1100 338a050 2ae8500 7588802 3f24080 3ccc080 7aa0880 7702120 71c010a 35d0042 fc8202 53c8408 10032ed 41037d 47527 4e4d9 1800977 481298d 44218e5 3023925 60067a1 109601f 1048c8f 2044d4b 4080dab 4232859 330479 2c23681 4858383 4864171 c54919 1498a89 49180b9 6202cc9 a9c503 426860d 8ceb01 22899c1 1151e09 4e2b41 388635 390ab1 7825803 6a01463 2e04a15 1d0045d 4d0a511 1720a13 28c42a5 30c8d09 5f3401 3660027 5682243 33440c3 27900e1 f43061 4245e6 2015a5a 2013e8c 83b494 c320ea 2419a4c 4809974 104439e 4069782 a067a8 1224378 4b15e0 a1a968 5831688 250c2a6 488de02 2528a92 249138a 45009f2 147b082 c43ca2 2a144ac 30aa628 b08a9a 2243332 431432c 11883e4 41674a0 41a88b8 2270e28 2f2688 648185a 6624348 1e34320 549a490 2644316 1721982 cd1612 49a091c 296114c 24da02c 50c23c8 18e94a0 2590e48 45b8130 4571508 5c7602 42e2542 71a0682 2ea0152 4742942 15c380a 3375400 2b40f10 43d0642 6e402d0 34110dd 432306d 7c3c011 7fc0060 4104431 828e61 205a831 3582049 201c13e 5098218 8022c1 6220b10 2486528 da0501 1709144 6b8049 3c02046 150a284 4a2c29 641a222 10405d0 2016810 a24491 604268a 74d51 148fc00 3580825 4611109 4c82072 514006e 1911256


以下是来自KeyTo9_Fans的十进制格式方案:
21:[273] out21.txt (1.9 KB, 下载次数: 2)
22:[344] out22.txt (2.49 KB, 下载次数: 0)
24:[547] out2.txt (4.22 KB, 下载次数: 11)
26:[879] out3.txt (7.2 KB, 下载次数: 9)

点评

更新得好频繁呀~  发表于 2018-3-29 13:58

评分

参与人数 1威望 +6 金币 +6 贡献 +6 经验 +6 鲜花 +6 收起 理由
KeyTo9_Fans + 6 + 6 + 6 + 6 + 6 爆我好几条街了:O 真是神一般的存在!

查看全部评分

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-3-27 17:33:49 | 显示全部楼层
本帖最后由 小铃铛 于 2018-3-27 18:54 编辑

C(1024,2)=1024*1023/2=512*1023=523776-->19位-->27-[1028]
C(512,2) =512*511/2=256*511=130816      -->17位-->24-[?]
C(256,2) =256*255/2=128*255=32640        -->15位-->21-[262]
C(128,2) =128*127/2=64*127=8128           -->13位-->18-[135]
C(64,2)   =64*63/2=32*63=2016                -->11位-->15-[70]
C(32,2)  =32*31/2=16*31=496                   -->09位-->12-[46]
C(16,2)  =16*15/2=8*15=120                    -->07位-->09-[17]
C(8,2)   =8*7/2=4*7=28                            -->05位-->06-[8]
C(4,2)   =4*3/2=2*3=6                              -->03位-->03-[4]
--------------------------------------------------------------------------------
看来,2048桶混有2桶毒酒会需要30个囚徒。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-3-28 06:50:18 | 显示全部楼层
C(4,2)      =6           -->03位(B)--> 3-[4]
C(8,2)      =28         -->05位(B)--> 6-[8]
C(16,2)    =120       -->07位(B)--> 9-[17]
C(32,2)    =496       -->09位(B)-->12-[46]
C(64,2)    =2016     -->11位(B)-->15-[70]
C(128,2)  =8128     -->13位(B)-->18-[140]
C(256,2)  =32640    -->15位(B)-->21-[271]
C(512,2)  =130816  -->17位(B)-->24-[547]
C(1024,2)=523776  -->19位(B)-->27-[1052]
C(2048,2)=2096128-->21位(B)-->30-[?]???

27检测到[1028]通过,C(2048,2)-->30-[>2048]系推测
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-3-28 09:59:51 | 显示全部楼层
小铃铛 发表于 2018-3-28 06:50
C(4,2)      =6           -->03位(B)--> 3-[4]
C(8,2)      =28         -->05位(B)--> 6-[8]
C(16,2)   ...

对不起!问一个与主帖好像无关的问题。
A + B = C,A,B,C都是二进制中的正整数, A > B,
“+” 表示 “or” 运算, “or” 运算规则:0 + 0 = 0, 0 + 1 = 1 + 0 = 1 + 1 = 1。
问:当 C 是由 8 个 1 组成的数时,A + B = C 可以有几个不同的算式?

点评

太好了!我怎么就没敢去想:0位是死位,无法变化,所以可忽略!!!  发表于 2018-3-28 19:31
0位是死位,无法变化,所以可忽略,有意思  发表于 2018-3-28 16:52
妙就妙在答案只与 “1” 的个数有关,与 “0” 的个数无关。”or“ 真是个好东西!是这样吗?  发表于 2018-3-28 16:37
真实见多识广啊,a(n) = (3^n - 1)/2,3280,对吧  发表于 2018-3-28 16:28
谢谢!答案只与 “1” 的个数有关,与 “0” 的个数无关。是这样吗?  发表于 2018-3-28 16:21
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-3-29 12:24:45 | 显示全部楼层
本帖最后由 王守恩 于 2018-3-29 16:14 编辑
王守恩 发表于 2018-3-18 18:36
确认一下。
一,66#的方法应该是最好的。
二,124#的解法也是没有问题!


烦请小铃铛验算:
000000000001
000001001011
000001110001
000010000111
000010011001
000011010100
000011100010
000100010101
000100101001
000100110010
000101001100
000110001010
000110100100
001000001101
001000100011
001000111000
001001100100
001010010010
001011001000
001100000110
001101010000
010000010011
010000100110
010001000101
010001101000
010010001100
010010110000
010100011000
010101000010
011000001010
011000010100
100000100101
100010101000
100011000001
100100000011
100101100000
100110010000
101000010001
101001000010
101010000100
101100001000
110000001001
110001010000
110010000010
110100000100
111000100000
1,12人对应12列,从右到左依次称为第1列,第2列......第12列。
46瓶对应46行,从上到下依次称为第1行,第2行......第46行。
2,去掉第1列:去掉第1列”1“对应的行,剩下11列×30行。
剩下的11列×30行仍是11人30瓶的正确答案?
3,去掉第(2-12)中的1列:去掉第(2-12)中的1列”1“对应的行,剩下11列×31行。
剩下的11列×31行仍是11人31瓶的正确答案?
这里的12列×46行与134#本质是一样的,
当然可以直接拿134#来去掉1列,结论应该是一样的。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-3-29 12:48:59 | 显示全部楼层
本帖最后由 小铃铛 于 2018-3-29 12:59 编辑
王守恩 发表于 2018-3-29 12:24
烦请小铃铛验算:
000000000001
000001001011


你这段数字和66#的不同!

可以很确定地说:
按照这个方法提取出来的肯定是符合要求的解.
但是,会出现删去过多行的问题,从而导致行数不足,不足31行。尽管可用,但不是最优解。
66#的“”oeis-A05496112“的12-【46】就存在着这个问题。不过可以有补救手段。

另:你选中你的那段数字,你会发现每行数字末尾都有一个不可见字符,我早前问你的问题就是想知道这个不可见字符是怎么产生的,你是通过什么编辑这些二进制数字的?

点评

没骗你!是134#!列与列交换位置,答案不变!行与行交换位置,答案不变!  发表于 2018-3-29 16:12
呵呵,也不是134#  发表于 2018-3-29 15:18
你这段数字和66#的不同!经仔细复核:是134#。语法有问题,”好“应该是结果不重复。  发表于 2018-3-29 14:58
不确定你说的”好“代表什么,如果说是最优解,不一定。如果说指相或结果不重复,看上去是的。  发表于 2018-3-29 14:36
1,也就是说:只要是好的答案去掉任意1列仍是好的答案。2,我是1个1,或1个0,1个1个1个敲出来的。  发表于 2018-3-29 13:05
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2018-3-29 16:06:35 来自手机 | 显示全部楼层
10人22瓶酒情况我的程序总是搜索出包含两个只包含一个元素的集合,而找不到66楼中给出的解,说明程序还是有缺陷的。KeyTo9_Fans可以试一试10人情况,把各种10人最优解都输出看看
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2018-3-30 09:55:26 | 显示全部楼层
mathe 发表于 2018-3-29 16:06
10人22瓶酒情况我的程序总是搜索出包含两个只包含一个元素的集合,而找不到66楼中给出的解,说明程序还是有 ...

算到这个份上,停了真是有点可惜。
要不再来几个3(4,5)瓶毒酒的数据,也许答案会更精细些。
3瓶毒酒=每次取3瓶酒按二进制的 Or 运算求和:
0+0+0=0,
0+0+1=0+1+0=0+1+1=1+0+0=1+0+1=1+1+0=1+1+1=1
具体操作:
第1次取第3行+第2行+第1行的和。
第2次取第4行+第2行+第1行的和。
第3次取第4行+第3行+第1行的和。
第4次取第4行+第3行+第2行的和。
第5次取第5行+第2行+第1行的和。
第6次取第5行+第3行+第1行的和。
第7次取第5行+第3行+第2行的和。
第8次取第5行+第4行+第1行的和。
第9次取第5行+第4行+第2行的和。
第10次取第5行+第4行+第3行的和。
第11次取第6行+第2行+第1行的和。
.......
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

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

GMT+8, 2024-12-4 01:22 , Processed in 0.036312 second(s), 18 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

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