毒酒问题(加强版)

mathe

百度贴巴中的tannis_jin关于这个题目找到了一种挺好的构造方法(虽然这个方法对于大规模数据的结果还是不够好),这里我来整理一下他的思路:
假设h(m)表示m坛酒中如果有1坛或2坛毒酒的情况下,需要囚犯的最少数目.
那么对于一个m*m方阵坛酒,
首先,我们可以将每一行的酒混合,得到m坛混合酒,其中有1坛或2坛有毒,所以需要h(m)个囚犯可以确定在哪一航.
同样在使用h(m)个囚犯可以确定在哪一列.
在确定行和列以外,在任意一条对角线方向,除了对角线顶点,以及紧挨着顶点的酒坛,余下的酒按桶对角线垂直方向的直线分类可以分成2m-5类,我们最多使用h(2m-5)个囚犯可以确定在那条对角线上.
于是采用这个方案有
$h(m*m)<=2h(m)+h(2m-5)$
而对于1000坛酒,我们可以取m=32,于是$h(1024)<=2h(32)+h(59)$
我们看65#的结果,其中每个结果中都包含一个全0的结果,去掉那个全0的方案就正好对应h(.)的方案
也就是说包含1到2坛毒酒的38坛只需要13个人识别,所以h(32)<=13.而看上面序列的趋势,h(59)应该不会超过16,也就是用这个方法需要2*13+16=42个人就可以了.
而如果我们继续结合7#的方案,那么一个边长为19的六边形里面包含1027桶酒.其中三组对边方向,每个方向有37条直线,所以我们只需要3h(37)=3*13=39个人酒可以确定了.
而将方法推广到m非常大的情况,
tannis_jin的方法相当于使用递推式
$h(m*m)<=2h(m)+h(2m-5)$
于是这个方法得到的h(m)的复杂度也为$h(m)=O(log^2(m))$
而结合7#的方案当中,其递推式为
$h(3*m*(m-1)+1)=3h(m)$,
这个方案的复杂度为$h(m)=O(log^{log_2 3}(m))$,比上面的方法要好一些.
但是无论比起24#的集合方法(其中1000坛酒可以得到41人的结果),47#4n个人解决$2^n$坛酒的$F_{2^n}$上的构造方法(1000坛酒40人的结果),还是39#半随机方法(1000坛酒33人的结果59#)(它们的复杂度都是$O(log(n))$)都还是要差一些.可能这是构造方法本身的缺陷了

mathe

如果按照上面的方案,那么使用32*32的正方形.
利用计算机搜索出12个人识别33坛酒的方案(其中有一坛酒没有任何人喝)
也就是12人可以识别32坛包含1到2坛毒酒的情况
        0C4
        10A
        110
        181
        231
        254
        28A
        2C1
        30C
        322
        428
        485
        4C2
        521
        540
        600
        000
        003
        00D
        016
        024
        038
        048
        062
        098
        819
        852
        882
        920
        941
        A10
        C04
        C0A
于是两组边共24人可以了.而对角线tannis_jin分成了16种情况,而这个可以用9个人识别(余下4个人总可以找到两个人分在不同组),也就是这个方案也可以达到33人了.

mathe

如果是A(4),A(5)有毒,那么死亡组合应该是{2,3,4,6}而不是{3,4,5,6}
其实从第2个囚犯没有死就可以淘汰A(4),A(5)

mathe

兄弟们，这个问题其实很简单，没有你们想的复杂，原题是只有一桶毒酒，现加一桶，其实方法一样，人数也一样。具体解法是：把1000桶摆成一个立方体，每边长为10，找30个人，分为3组分别编上1-10的编号，每组按如下方法 ...
fork33 发表于 2010-3-15 11:05

再好好想想这个问题,看看自己错在哪里吧.可以弄个小一点的数据自己摆放一下.
或者看看百度链接里面其他人的回复,有不少人犯同样的想当然的错误.

mathe

942
现在找到了33个囚犯的方案.
附件中分别给出了33~35个囚犯的解决方案.
其中文件中每一行两个整数,前面整数18比特,后面的15~17比特.合起来是33~35比特的数
mathe 发表于 2009-6-9 15:30

重新查看了那个概率算法，发现代码里面还有bug,然后再代码后面添加了对结果的验证代码，重新计算，很容易就可以找到34个囚犯的方案，但是还是没有找到33个囚犯的方案。所以现在这个方案也只能达到34个囚徒。
verify.zip (16.76 KB, 下载次数: 4)

2011-8-12 18:18 上传

点击文件名下载附件

附件给出了源代码和两个34个人和一个35个人的方案。
数据文件中最后报告了酒桶的数目，前面每一行两个数据用比特位来表达每桶酒分别有哪些囚徒喝过。每行：后面16个人，前面18或19个人

mathe

将一个34个囚徒，1052桶酒的结果直接贴出，便于未登录用户查看:
0924F0071
0924F20CB
0924F1E55
212578A54
21257A3E0
212576292
212572526
21257000B
112670110
112673C08
112674085
2128F4840
2128FA5E3
2128F3232
2128F104E
112970442
11297A260
092A75C30
092A7B184
092A70103
1130F3124
1130F4080
09317C757
093170804
213276408
213270240
2144F0019
2144F8804
2144F06F2
114572088
11457C014
11457874A
094670EA4
094671042
094678920
1148FA90A
1148F0891
09497018A
214A75148
214A70096
214A7B02C
0950F0C00
0950F92A2
215170058
115270022
1184F1C04
1184FC0B0
098574024
098576DC2
098571388
218670100
2186726BC
0988F3038
0988F0A93
0988F8246
218978880
21897180F
118A71042
118A7030B
2190FB843
2190F0AA4
2190F8740
11917502E
119171050
099278400
09927980B
2224F2814
122577161
12257018B
0A2670A04
1228F0624
1228F7402
0A2976AA4
0A2974011
0A297224E
222A71021
222A70A43
0A30F1422
0A30F7846
223174009
22317295D
12327A100
123274D80
123273425
1244F8412
1244F3200
0A4571330
0A4578086
0A457A23F
224678A20
0A48FC1D2
0A48F807D
0A48F3506
224972530
224970892
124A79D4A
124A71088
124A70B8B
124A78A90
2250FC824
2250F6582
1251700E8
125172456
0A5278141
0A84F04C8
0A84F6C24
0A84FB004
228574092
22857F506
1286700B0
128671A44
12867C84A
2288F580C
2288F8821
2288F276B
2288F4210
1289712B0
12897D7AA
12897A04D
12897A393
0A8A7C28C
0A8A78156
1290F016D
1290F831A
1290FC6B6
0A9172CC0
0A9175121
229274301
22927280C
229270D60
22927A090
1424FF105
1424F0472
1424F0BE4
0C2576C34
0C2575081
24267C201
2426701BA
24267F3B0
0C28F0046
0C28F831A
0C28F1D80
24297200C
242970780
142A71078
142A72344
142A708C1
2430FA854
2430F8089
2430F0026
2430F4992
143175FD8
14317F86A
0C3275003
0C3270B80
0C44F4010
0C44F448F
2445760AE
244570005
144674028
144670311
144679418
2448F0853
2448F2200
2448F471C
1449715D9
14497803A
0C4A7028D
0C4A7F822
1450F0008
0C5178C45
0C517100C
0C51760E1
24527004A
2484FCC08
2484F1600
2484FA034
14857ED11
14857861A
148574227
0C86784A4
0C867E2C4
0C867C892
1488FF402
1488F082C
1488F50CA
0C8971218
0C8978782
248A70002
248A70E8C
0C90F82A3
0C90FC14C
249172081
149275080
1492712E7
2127A284A
2127A142E
1127C0203
1127C20B4
212B93403
112BA6119
112BA0481
112BA9E02
092BC8402
113392543
113391058
0933A82A3
0933A2006
2133C20F8
2133C0D03
2133C9128
21479C88E
214794110
214796221
1147A5624
1147A0100
1147A6462
0947C1282
114B90240
114B950A1
094BA8599
094BA5C05
094BA0041
214BC0087
214BC6625
214BC411E
095394110
0953992A8
095398B01
2153AD485
2153A0012
1153C3822
118794727
118790885
0987A500B
0987AD280
0987A0055
2187C4418
098B98300
218BA44D2
218BA3C10
218BA1124
118BC9812
118BC00E5
219392264
21939F0C0
219390D00
1193A2860
1193A8282
1193A10D0
0993CD815
0993C2E94
0993C0181
22279450A
222793208
222798481
222798B02
1227A20CA
0A27C2442
0A27C0804
122B90410
122B91382
0A2BA8508
222BC2C30
222BCA0A2
222BC550C
222BCBC81
0A339291F
0A3395000
0A3391599
2233AA545
2233A8000
2233A7C0A
1233C001A
1247920A8
12479F101
1247906F5
0A47A9846
0A47A200A
0A47A04A0
0A47AC6D4
2247C2C08
2247C80CD
0A4B9188C
0A4B90308
0A4B9C092
224BAA182
224BA1168
224BA604C
124BC0A81
124BC62D6
225392020
1253A61C0
1253A0600
0A53C5A80
0A53C89C7
0A53C4E1C
0A8790408
2287A4899
2287A2540
2287A8C14
1287C0004
1287C0C83
228B98419
228B92C80
228B9221A
128BA21A0
128BA24C6
0A8BC3840
0A8BC24E6
0A8BC42B1
129394A82
129393090
0A93A0C00
0A93A9513
2293C10D1
2293C8DA8
2293C6E00
142791184
0C27A000E
0C27A91DE
0C27AC280
2427C0121
2427C2880
0C2B90088
242BA3041
242BAC270
242BA54CE
142BC50D0
142BCA20A
243390500
243398292
243394E2D
1433A0512
1433A2087
0C33C4AAA
0C33C3114
0C4798C51
0C4790020
0C479E742
2447AB000
1447C9204
1447C6080
1447CC928
1447CA445
244B90426
244B9616B
144BA9418
144BA4300
144BA046A
144BA2890
144BA7407
0C4BC8405
0C4BC501D
145394001
145390795
0C53A8D20
2453C10A9
2453C6425
2487900F0
248792288
1487A0500
0C87C4122
0C87C3080
148B90214
148B915C0
0C8BA0841
0C8BA502C
248BC8449
248BC4072
248BCBB00
0C9393000
0C9390359
0C939A183
2493A0B81
2493A6602
2493A085E
1493C0800
1493C9594
093C90600
213CAA0D6
213CA8600
113CC04A8
213D11109
213D1E245
113D200D8
113D2A016
113D23621
093D43412
093D4739C
093D48006
113E1D090
093E24491
093E22128
213E4CEE4
213E48C02
213E400C1
215C9C1A1
215C91186
215C97541
115CA001A
115CAB291
095CC4403
095CCCC3C
095D20362
095D2912C
215D40900
095E1D408
095E1E2D3
095E16134
215E28030
215E28D91
115E40408
099CA2F40
099CA288B
219CC2100
219CC90A8
099D10C10
099D1C986
219D2C260
219D220C8
119D40F48
119D43201
219E10121
219E1AA11
119E24B08
119E28403
119E21020
099E4024C
099E4D113
223C90EC0
223C95630
223C94B7C
123CA5131
123CA6C04
0A3CC1B20
0A3CC80DA
0A3CCF243
123D10713
0A3D22800
0A3D2D081
223D49003
0A3E18C00
0A3E11290
0A3E17007
223E200C4
223E2A201
223E25422
123E40708
125C99301
125C96208
125C9A592
0A5CA10C9
0A5CA2012
0A5CA81B4
225CC0120
0A5D11080
0A5D1C926
0A5D10075
225D20430
125D48C65
125D4C007
125D4A1B8
225E14108
125E21006
125E2680D
0A5E42830
0A5E40044
0A9C92496
0A9C94C11
0A9C90F0A
229CA0401
129CC9062
129CCA080
229D1400E
229D18198
229D11A97
229D117A1
229D12BC2
129D2A004
129D20438
0A9D4A238
0A9D44401
0A9D445CA
129E1B011
129E1C482
129E111E8
0A9E20B44
0A9E200A2
229E4C018
143C9042A
143C9C094
143C9E248
143C91541
0C3CA0184
0C3CA9B09
243CC0560
243CC2893
0C3D10416
0C3D10758
0C3D1A109
243D24686
243D21B04
143D45404
143D46800
143D40721
243E12D99
243E1A094
143E22004
143E25049
0C3E45888
0C3E4900B
0C3E40833
0C5C92609
0C5C95410
0C5C939D8
0C5C98020
245CA0421
245CA9099
245CA316A
245CA6210
145CC0E08
145CC04E4
245D14805
245D1A002
145D20C44
145D2E149
145D231D0
0C5D4014B
145E10187
145E16504
145E1A2F0
145E10828
0C5E20A80
0C5E2B60A
245E4A61C
245E410D2
249C90014
249C984FA
249C92561
149CA15B3
149CAC1C0
0C9CC0001
149D1B588
149D10822
0C9D20D8A
0C9D2E4D2
0C9D25080
249D40201
249D44478
249D4E990
249D4DF41
0C9E11422
0C9E12108
0C9E18B51
249E292E2
249E2CC16
249E2001C
149E46500
149E4D210
149E4860D
149E41EB2
21E4A2C2A
21E4AC1C0
21E4A20F6
11E4C4240
11E4C3F50
21E518C00
21E51401B
11E522103
11E521894
09E5402CE
09E544095
09E542270
11E610550
09E629008
09E624150
21E648404
21E892121
11E8A1028
11E8AA280
09E8C20C6
09E8CE4A4
09E8C3B48
11E918016
11E9189F8
11E910722
11E913464
09E929D64
09E928402
21E948800
09EA102E0
21EA2173F
21EA22052
11EA4A051
11EA40238
11F0980C0
09F0A658C
09F0A02B0
09F0AA116
21F0C4280
09F11C241
09F114918
21F120902
21F12D079
11F14820A
21F212405
21F211108
11F220000
09F244030
09F242208
09F2429D1
22E491050
22E490C96
22E493AA4
12E4A001C
12E4A7291
0AE4CF131
0AE4CA8E8
12E51240C
0AE521122
0AE524238
22E546018
22E5450C4
0AE614E25
0AE61A4F7
22E627210
12E649047
12E642100
0AE8AACE0
22E8C8010
0AE914028
0AE918A44
22E926740
22E920421
12E943162
12E94CCC9
12E942818
22EA1301C
22EA10002
12EA200E0
12EA28A49
0AEA40938
0AEA40046
0AEA42449
0AF098100
22F0A2E80
22F0A050E
12F0C5C08
12F0C8486
22F114068
12F124438
12F124941
12F122852
0AF142000
0AF14F368
0AF1411A6
12F210009
12F215620
0AF221D41
0AF22A0A1
0AF2210D6
22F248924
22F2440D6
14E490EA8
14E498404
14E49741A
0CE4AA044
0CE4AA682
0CE4A0190
0CE4A7A08
24E4C4410
0CE514004
0CE512853
0CE51E349
0CE512828
24E520E30
24E52D210
24E522504
14E541B60
14E54C041
24E61A035
24E61A8C1
24E615080
14E621221
14E6291A8
0CE64438A
0CE642045
0CE649911
0CE899841
24E8A4400
14E8C0146
24E916240
24E9104AA
24E91080C
24E91D975
14E92C060
14E920682
0CE940140
0CE949610
14EA11B92
14EA141FA
14EA1C01C
14EA10E48
0CEA22C10
0CEA22224
0CEA2044A
0CEA27781
24EA4B579
24EA4185C
24F0902AD
24F091513
14F0A6128
14F0A2890
14F0A0265
0CF0C6BA0
0CF0C8A74
0CF0C5441
14F112100
0CF1200D4
24F143228
24F148818
24F14C0C4
0CF212011
0CF218088
0CF215461
24F221E81
24F224444
14F248E19
14F241010
0F2499547
0F2491234
2724A945B
1724C38AD
1724C0564
1724C2B0E
27251E6C2
27251020E
2725191B0
172520007
0F2540598
172610709
1726126BC
0F2620500
0F262881A
27264400D
272641020
272899440
272897A2A
272896474
0F28CC020
0F28C3423
17291C82E
172910504
0F292BB2D
0F29282FE
0F2920040
272940827
0F2A10B41
0F2A16440
272A210F4
272A2E802
172A448A2
17309D550
0F30A7002
2730C4842
2730C2001
2730C8788
0F3111880
0F3110934
27312405A
273122A09
273128B1E
2731206E4
1731428A0
173149204
273219800
273210310
173220108
173229AC0
17322C494
2744974A4
274490111
1744A3A20
0F44C0440
0F44C4834
1745113A6
0F452E326
0F4522295
0F4525B00
274542200
0F4610482
0F461C415
0F4614976
0F4618269
274620813
2746202A9
27462C8A4
17464D408
174642018
174895901
0F48A1402
2748C6042
0F491A9C2
0F491144E
27492400C
174940255
174941020
274A10513
274A1F80C
174A20038
0F4A48248
0F5094201
0F5093900
2750A0000
2750A93C2
1750C008A
1750C3190
275110125
175124088
0F5140509
0F514559A
0F514CA16
0F51469B0
17521007A
175216A88
175218110
0F5222944
0F5220582
275240644
275243082
178492084
178491435
0F84A6191
2784C800D
2784C0280
0F8511028
0F8514110
278525040
278523C83
17854C0F9
178542232
178549060
278610400
27861066F
178622035
178621803
178627C38
0F8648488
0F8640134
0F864D06E
0F88901C0
0F8899B0C
2788A0B45
1788CAAD4
1788C401B
1788C0204
1788C89E1
278919190
2789138E0
27891A345
178924C86
17892178C
0F8940109
178A10688
178A1CB0E
0F8A22B24
278A4C240
278A41444
278A48C1A
279094830
1790A6071
1790A0084
0F90CA082
0F90C3065
179118A31
179118388
17911A0D0
279140112
0F9210423
0F9215372
279224149
27922ED23
179246907
392490094
3924960EE
3C24A6010
3C24A14F2
3A24C0235
3A24C90C8
3A24C5887
3C2512610
3C2516C8E
3A2528050
3A25289CC
3A2524421
392541084
392544028
3A2610202
3A2613534
3A261B205
392620F00
392620887
3C2640100
3C264EB14
3C289200E
3A28A4882
3A28A125C
3A28A7695
3928C60B2
3928C8A1C
3928CD512
3A291F3E0
3A2912144
3A2918059
392924A44
3C2949B26
3C2943188
3C2944D1C
392A162C4
392A11ACB
392A150A9
392A1CD47
3C2A22472
3C2A20581
3A2A4036C
3A2A48299
3A2A404C0
3A2A418A3
3A3090340
3A3091089
3C30C0838
3C30CF00E
3C30C99E5
393111206
3931140A0
3C3121783
3C3126750
3C312C840
3A31400A1
3C3217020
3C321A0C1
3C3212C12
3A32254D1
3A3221042
3A3220031
393248220
393240B73
3C44916B2
3C4496A37
3C44901C0
3A44A9032
3A44A7489
3A4511C2A
3A4510781
394520042
3C4548B22
3C4543383
3946152C8
394618801
3C46208B9
3C4626272
3A4641200
3A464092A
3A489E10C
3948A0A00
3C48C2670
3C48C0800
3C48CD348
3C48C842B
394910268
394912846
3C4921164
3C4922080
3C49288B4
3A4943404
3A494C469
3A494392F
3C4A185D2
3C4A18981
3A4A20A83
3A4A28000
3A4A24318
394A41404
394A42162
395094405
3C50A5411
3C50A984B
3C50A6950
3A50C0486
3A50C017C
3C5112036
3A512C202
3A5121071
395140005
3A5217181
39522E609
395220AC7
3C5242202
3C524B0ED
3C5240564
3A84981A0
3984A0204
3C84C9210
3C84C204C
398512400
3985190C3
398511811
3C8520160
3C852A6E1
3C8525092
3A8542008
3A854CC43
3C8612018
3C8614E02
3C861547C
3A862534A
398894016
3C88A028D
3C88A5508
3A88CE000
3C8917C60
3C891423B
3A8928000
3A8923245
398947568
398948310
3A8A1C81A
3A8A11460
398A2AB00
398A280C1
3C8A47000
3C8A48681
3C909B400
3C909C287
3A90A7501
3A90AA90A
3990C5066
3A9118661
3A91108C8
3A91155CD
399120819
39912052C
3C9140040
3C914700D
3992102C0
39921DE40
3C922089C
3C9226D84
3C922144A
3C9228129
3A9240040

mathe

33个囚徒1037桶酒:
012049249
0a8789249
13020924a
071cc924c
125e0924c
032609251
0a1149251
000909252
018509254
020a49254
000749261
001289262
142109262
0ada09262
0001c9264
041a09264
009409289
062209289
0a110928a
1aa20928a
00058928c
160009291
004809292
1c0cc9292
07a009292
082809294
10a4092a1
1613092a1
1500892a2
00c2092a2
0bd5492a4
0806092a4
0658092a4
01a049309
05ddc9309
18140930a
08c14930a
15430930c
001389311
08a409311
002809312
049489312
020709314
161489314
000209321
129789321
1f6009321
1c6009322
000889322
000d49324
002949449
0e52c9449
037589449
00300944a
0c938944a
09088944c
08740944c
071309451
0c0449451
106c09452
1c9709452
18e049454
019589454
067c09454
080409461
003149462
011009464
1a7d89464
0ca149464
0806c9489
1e0009489
081d8948a
05f84948a
09208948c
108d4948c
0fc509491
184009492
060c09494
011149494
00b5094a1
1448894a2
0097494a2
013d894a4
0041494a4
099a094a4
000289509
18308950a
10a08950c
190b0950c
114189511
140a09511
040209512
088809514
081449521
001549522
0686c9522
18cac9522
010489524
0412c9524
102309849
088809849
08234984a
0cac0984a
10504984c
01690984c
0c9ac984c
0a4c89851
005209852
0971c9852
008089854
003149854
0f4409854
082a09861
101049862
060409862
086749862
015509864
0ac149889
119189889
00100988a
01124988c
02048988c
02c049891
080389891
12ac49892
081009894
0ad389894
1e6409894
1030498a1
1cee498a2
0425c98a2
0b2a098a2
0802898a4
005d098a4
02c809909
101089909
02e80990a
1103c990c
1c0c0990c
118789911
1c9989911
040209911
086089912
142549912
001489914
11f509914
028889921
038109922
007009922
153089924
0e0c09924
18c60a249
02834a249
0c414a24a
00000a24c
00140a251
0042ca252
0409ca254
14b08a254
10910a262
0e888a262
10a00a264
0588ca289
000e0a28a
1a32ca28a
00910a28a
06580a28c
1c024a28c
04420a291
00080a292
08d00a294
10a04a294
00230a2a2
08aaca2a2
0bc10a2a4
14404a2a4
09600a309
10860a309
02830a30a
1c108a30a
10210a30c
0c420a30c
06080a311
0a184a312
00620a312
14384a314
00490a321
03140a321
17084a322
00600a322
1c0e4a324
0c310a449
069b0a449
00000a44a
05844a44c
0b480a44c
08118a44c
12244a451
116c8a452
1650ca452
0a010a452
18730a454
1b8c0a454
078a8a461
1a220a461
03008a462
02ad0a464
095eca464
10b54a489
04d20a489
110b0a48a
15844a48a
0c088a491
19c44a492
09298a492
11000a494
06230a494
018b0a4a1
00a24a4a2
03414a4a2
07d30a4a4
19180a4a4
1e4b4a509
01014a50a
12020a50a
1200ca50c
03994a50c
003a8a511
02000a512
1ca28a514
102fca514
060d8a521
19640a521
08828a521
020c0a522
09d60a524
04078a524
0222ca524
14e08a849
01350a849
050d0a84a
0106ca84a
14584a84c
05c08a84c
14890a851
12910a852
00824a854
19280a861
00d18a861
0b204a862
1d9c4a862
14000a864
10d58a889
00120a889
18148a88a
04370a88a
1a11ca88c
0c884a891
07448a892
19a20a892
1149ca894
0dd00a894
098d0a8a1
00620a8a1
1c208a8a2
09874a8a2
01190a8a4
0c404a8a4
0f288a909
01020a909
09040a90a
04040a90c
069a0a90c
042a0a911
10410a912
01b30a912
19260a914
14010a914
0a078a921
05390a921
03f44a921
0e614a921
09248a922
13e20a922
04130a922
00400a924
15140c249
10a1cc249
06054c24c
02c28c24c
19000c251
09020c252
01ce0c254
01870c261
0a0a0c261
0f900c262
18700c262
1348cc264
18484c289
1110cc28a
19c50c28c
00a00c28c
102c0c291
09140c291
1815cc292
1c490c294
00988c294
19e00c2a1
002fcc2a1
0053cc2a2
04b04c2a4
120c0c2a4
0c120c309
04944c30a
0c4b0c30a
01230c30a
1064cc30c
185c0c311
11414c312
00e4cc312
151a0c314
02004c314
04e80c321
0a704c321
007b0c322
01508c324
1d4c4c449
03210c449
0ce80c449
00204c44a
06044c44c
02298c44c
16004c451
082c0c451
091d0c452
1421cc452
10008c454
02100c461
04ac0c461
04a08c462
1a368c462
01ca0c464
08e0cc489
1c0c0c489
0c240c48a
0a828c48a
0c400c48c
0f014c491
0a5acc491
11088c492
120e0c494
0e094c494
01a04c4a1
14060c4a1
1801cc4a1
15154c4a2
00008c4a2
05868c4a4
10210c4a4
1d404c4a4
1d440c509
0d18cc50a
10634c50a
05980c50c
14104c511
11300c512
028dcc514
0b140c514
03314c521
09000c521
05160c522
020d0c522
0256cc524
00c30c524
1204cc849
19b04c849
04418c849
08b74c84a
08628c84c
10dd0c851
02464c851
06068c852
02d88c852
00454c854
000f0c861
03444c861
18b00c862
0a298c862
0d210c864
03108c889
086c8c889
01e8cc88a
18050c88a
13ad0c88a
15504c88a
08524c88c
0e018c891
10390c891
00000c892
0dba4c892
01014c894
18248c894
10420c8a1
0c218c8a2
11440c8a2
00200c8a4
06c34c8a4
06108c909
010e8c909
01880c90a
00800c90c
0eac4c90c
00080c911
0e210c911
05c24c911
08200c912
01d40c914
0941cc921
160b8c921
11040c922
008a4c922
00ca0c924
006411249
02bb51249
060c5124a
10101124a
059811251
132151262
084091262
01e811289
020411291
153891292
064491292
0984112a1
0000112a2
0070112a4
086a51309
15c491309
001011309
05125130a
1091d130c
06091130c
04ea5130c
064a11311
01a111311
023011312
001411314
06e211314
046d91322
01039144a
090a1144c
14181144c
119211451
086011451
192111452
081851452
002b91454
018011454
060451461
16ef11461
08c211462
1210d1462
108551489
166311489
08321148a
1c831148a
01001148c
050d11491
004511492
0c24914a1
0210d14a1
08f5114a2
1150114a2
121a514a4
052f514a4
06c411509
00229150c
046851511
104ad1512
0c6a11514
058991521
198451521
128451849
10005184a
00f29184c
16211184c
038051851
041591851
0c4a11851
080f11852
0858d1852
022691854
01c5d1854
0d0011854
004051862
09d41188a
04011188c
040611891
07cf11891
1301918a1
041c118a1
0c10518a2
114a118a4
0a0111909
1f811190a
08225190a
04301190c
18249190c
005591912
040111914
10c111921
0d9c11921
004111922
094c51922
018151924
050012249
184cd2249
0a091224a
14f61224a
05811224c
064212251
002092252
109312252
08a192254
090012261
0eb112261
0924d2262
0c2552264
05b71228c
001c1228c
0b8592291
0cac52291
141d92292
17a152292
052212294
061452294
0a48522a2
0084922a2
1524522a2
1731922a4
006dd22a4
094d12309
068992309
000c1230a
020412311
000852312
0426d2314
0b90d2314
046992321
0c8492322
064c52322
141612324
06a312324
020212449
10505244c
0a001244c
0b1012451
034712452
009512454
115652461
024852461
001252464
081852489
02215248c
109012491
001712492
000292494
014552494
1b18524a1
0141124a1
030e924a1
1910524a2
00b9924a2
06c1124a2
0808124a4
14e6924a4
01c112509
0e001250a
054d9250a
0a8a1250c
00411250c
1c6412511
0c8412512
181c12514
020a52514
0f4452514
006e12522
1f8c92522
0521d2524
000092849
0c515284a
02301284c
061012851
10c392852
0286d2852
0401d2854
130a12862
002192862
158052862
164212864
0b29d2864
1c0252889
1ea4d288a
08501288a
11681288a
00401288c
084052891
10f4d2891
14c612892
1c6612894
050d528a1
09b1128a4
0ca45290a
08b85290c
0c091290c
071192911
085292912
040652914
0c1612921
02c812921
102e92922
010c92924
050b1424a
0ef19424c
1110d4251
101654254
126854254
0c0014261
0b9394261
0b3f94262
190194262
185914264
0092d4264
13a214289
11091428a
0a129428a
02c95428c
08e494291
008354291
090894292
0ac414292
017814294
03a254294
000a142a2
10d4d42a4
024a542a4
021094309
04a81430a
04b05430c
0a959430c
051154311
004a14314
1c2414321
00cf94321
098254322
0540d4324
130f14324
024694449
09229444a
0aa15444c
09aa14451
141094451
06c014452
110094452
000814462
0c0294464
006054489
075c94489
00269448a
19311448a
00139448c
014f14491
042014492
09fe14492
081914494
19c414494
00a9144a1
0108944a2
0006144a4
1c8a14509
0804d4509
10071450a
06b45450a
012b1450c
08a01450c
0d8594511
002094512
120454514
12c514521
0ca014521
046614522
118014522
0c6454524
14da94524
044614849
04029484a
00005484c
15691484c
019094851
1c0214851
1c0194852
027bd4852
017014854
048514854
006054861
11f894862
060914862
08e614864
108d94864
055214889
12a514889
00305488a
10385488c
08619488c
1000d4891
025014892
0005d4892
00c214894
155b14894
0841148a1
0755148a1
10a0148a1
0241548a4
130c94909
1405d490a
01a0d490a
18509490a
068414911
199014911
002854912
120394912
0e0c14914
110ad4914
082094921
1510d4921
001494922
18a0d4924
050e14924
153ca1249
0c45a124a
18226124a
1b102124c
19b161252
120221252
182021254
1238e1261
0104a1262
1a5721264
0a4861289
0f53e128c
10f0e1292
1582e1294
0a4e21294
1d1d21294
0210212a1
1320212a4
1a9c2130a
02252130a
0010a130c
10632130c
1422a1311
04d321312
028ca1312
142561314
060321321
00a0a1321
108261322
0e3521322
1304a1324
008c2144a
12282144c
00d821451
049021452
080821461
100da1462
19dea1489
0090a148c
0c016148c
054021491
06e0e1492
029a21492
00b9214a2
0902e150a
0010e150c
0200a1511
082021512
0ac161512
01c2a1521
021aa1521
067c61521
0c2c61524
132b21524
002461849
1803e1849
0b172184a
07082184c
02a221851
096421852
000021854
16ba21861
008021861
0428a1862
1a0021864
01a6e1889
0448e1889
10252188a
0032a188c
188d6188c
040361891
023021891
192861892
1200218a1
0448218a4
000161909
00002190a
02212190c
1a30a1911
0c0861911
01aca1911
009921912
095c21914
083121914
089221921
0421a1921
09e461922
004021922
009121924
112821924
011ce2249
00946224c
1259e224c
000062251
0310e2254
00d822261
1b31a2261
01ea62262
010322264
002522289
04626228c
18bc2228c
0a08a228c
0c62e2291
198022291
125b22291
080622294
0dc5a2294
159c222a1
1730e22a2
12e0a22a4
0a91622a4
090322309
1aa0a2309
11426230a
005da230c
01e02230c
0504a2311
183ca2312
104862312
013222314
0088a2321
074822322
1880a2324
08d5a2449
016262449
01452244a
07866244c
160062452
0c2222454
016022461
082222462
050022464
0061a248a
08862248a
18086248c
103522491
0c43a2491
0114a2492
0a2422494
118522494
08d0a2494
1820624a1
0254224a1
1485224a2
0053624a4
18b0a24a4
0ea322509
0181a250c
1a002250c
0800e2512
000da2514
0777a2514
004122521
0c8462521
059562522
05caa2522
0c2022522
018022524
184b62524
0c0122849
03a0a284a
16d1a284a
104422851
012862852
0047a2852
180022854
061962854
184422861
0000a2862
004622864
0340a2889
0896a288a
0d00e288c
012a62892
185f22894
068662894
0008a28a2
07d2228a4
099022909
1d31a2909
160f6290a
18686290a
04d02290c
13122290c
1143a2911
000922912
0122a2914
121422922
006062924
1ea662924
0f2822924
037b24249
02c024249
0700a424a
109d6424a
145124252
08aa24254
057464254
0246e4261
0c0024261
073124262
1b9024262
0a0124264
044024289
19042428a
13266428c
105024291
192d24292
0808a4294
12bc64294
02c0242a1
1510242a1
1244242a2
0d04242a4
040f642a4
052a24309
02b024309
10242430a
1124a430c
1c012430c
188824311
031224311
0402e4312
0565a4312
0060a4314
095164321
002264322
100424324
0b4224449
0b492444a
11016444c
008c2444c
041ce4451
183a24451
001824452
0b0424454
0e0124461
008064461
1207a4462
02e4e4462
190924464
048624464
1eb2e4464
093024489
0c4164489
0890a448a
1b1a6448a
02536448c
09d424492
0358244a1
0100644a2
060ba44a2
0365244a4
074264509
0aa82450a
04276450c
084ca4511
0a0464512
06a024514
152064521
0042e4521
0125a4522
0176a4524
092424849
001064849
0a002484a
11862484a
00102484c
018124851
0624a4852
000564854
021024861
0292e4862
0004e4864
067124864
1140a4889
0038a488c
10862488c
000a24891
006624892
140ae4892
0e1124894
0005248a1
0320e48a1
09d2648a2
0668a48a4
102de4909
0480e490a
06422490c
018264911
182024912
080324914
070da4921
009864921
0c8424922
02ab24922
004ae4924
053624924

mathe

计算机用随机算法，长期计算竟然找到了32个囚徒1000桶酒的解：
83411249
5a91124a
8041124a
4331124c
00811251
09411252
f0411254
35811261
20811262
51211264
3e511264
a4011289
03611289
b0e1128a
0a01128a
1c71128c
8341128c
40a1128c
00111291
0a811292
04111294
19811294
060112a1
4e0112a2
980112a4
d4111309
8411130a
a001130c
1f61130c
40811311
22411312
11111314
91311321
a0211322
01311324
00011449
4501144a
9ca1144c
4e01144c
3ee11451
08011451
05411452
b6211454
41211454
29511461
08011462
0c911464
c2011464
a1c11489
94b11489
8021148a
b081148c
80211491
15011492
12811494
190114a1
429114a1
100114a2
880114a4
350114a4
42a114a4
76611509
81011509
2001150a
0a81150c
11111511
63411511
90011512
c2411514
34111514
0a811521
07211522
f0811522
21a11524
1c111849
01211849
8421184a
0841184c
c5211851
12611851
39811852
80b11852
43811854
a4211854
02011861
6c911861
d2411864
04111864
51911889
1881188a
4e31188c
d5011891
0c011892
b0a11892
21511894
880118a1
339118a1
280118a2
a00118a4
02011909
0211190a
1021190c
40011911
8c111912
0a411914
40411921
40411922
20111924
07012249
0581224a
8291224c
16c12251
81012252
82112254
90012262
68512262
00012264
c9c12289
1301228a
9451228c
42c1228c
c0012292
4db12294
206122a2
040122a4
20012309
a501230a
4831230c
2081230c
00b12311
20412312
39212314
37212321
01012322
11212324
40812449
1401244a
9101244c
10212451
e4012452
b2a12454
00312462
c0312489
0801248a
03a1248c
2d11248c
85012491
04312492
59412492
59412494
b4212494
070124a1
92c124a1
8d8124a2
405124a4
81b12509
1001250a
2001250c
05812511
66012512
00112514
8a112521
00112522
91112849
8261284a
0a91284a
2681284c
4811284c
15512851
00012852
24312854
81a12861
9d012862
63212862
80012864
c2112889
d391288a
0001288c
11b12891
20012892
50012894
0e412894
ca0128a1
406128a2
480128a4
a31128a4
82a12909
0421290a
0301290c
a0a1290c
05012911
e5712912
01a12914
80012921
42512922
21412924
0241424a
6831424a
1d21424c
0e014252
9cd14261
6f214261
94014262
a0214264
9291428a
10a14292
0e014294
454142a1
cb2142a2
0c4142a4
85014309
0481430a
0951430c
08114311
63814312
10114312
31214321
c1c14324
ec014449
f081444a
0201444a
2081444c
00f14451
02214452
08814462
b8014464
44814489
7001448c
0d81448c
45014491
00414492
c9414494
6c1144a1
338144a2
482144a4
82014509
6c01450a
a391450a
10a1450a
0c014511
81814512
5a014514
b8d14514
8a114521
13414521
8c014522
48014524
00214849
6601484a
18b1484a
d611484c
c0014851
cce14852
80a14854
00c14864
71414889
0001488a
2051488c
2d314891
80114891
09814892
8a514894
17014894
022148a1
0b0148a4
1a814909
37414909
2811490a
1201490c
02114911
1d614912
a2814912
48814914
24814921
08114922
28014924
71614924
06918249
60618249
c2018251
08e18251
40118252
01318254
02a18261
90018262
0401828c
a9a18291
71018292
89918292
02318294
00a182a1
418182a2
2191830a
0951830c
f0218311
51018312
4a518312
34118314
98c18314
c8018321
40918322
04e18324
19118324
f0118449
06018449
0911844a
01c1844c
90118451
3e018452
8c518461
57418461
29b18461
03c1848a
0261848c
01518491
04118494
400184a1
430184a4
4b118509
0081850c
11818512
0a118512
0c018514
d2918514
30018521
04718521
24418849
0a41884c
30f18851
31018852
02818854
35e18861
c1118861
81018862
68318864
0f818864
04418889
b211888a
c6d1888c
20c18891
08018892
4a618894
870188a2
10c188a4
21518909
6621890a
1861890a
0111890c
89218911
6a118912
27318914
00018914
01018921
e0018922
1f118922
a0e18924
2112124a
2422124c
02021251
00021252
a7921292
c0521294
2cc21294
c08212a2
1a021309
22021311
00021322
60521324
25121449
44021451
ac021452
42621452
28421454
c0321454
31221461
00a21464
89821489
d442148a
2ab2148a
00c21492
041214a2
00021509
2c52150c
49821514
85421524
b402184a
8ab2184a
1102184c
28021852
40a21864
10021892
a21218a1
232218a2
97021909
7142190a
09021912
e0821914
16821922
08422249
1002224a
00322252
25222254
02422261
48222262
23022264
54222264
1a02228a
98222291
261222a2
13122309
c042230a
ac82230a
c202230c
21322311
01222312
3c022312
02c22321
00122324
00d22449
86222449
08422451
41422452
05422454
10a22461
74b22462
40422464
a122248a
c2e2248c
48822491
16422491
08622492
84022494
004224a2
2282250a
56022512
00022514
25922521
14a22524
de822849
7c22284a
5502284c
00822851
55e22854
09022862
3a222864
4002288a
1092288c
c2c22891
2a722891
10122892
13022894
8c422894
429228a1
845228a2
452228a4
985228a4
00422909
6142290c
40c22911
08422912
5d522921
a1822922
00e22924
40d24249
04024251
08924254
c0624254
36024261
20924262
49024262
8b024264
b6124289
00024289
0022428c
24424291
55124292
494242a1
475242a2
9a9242a2
12d242a4
8542430a
2a02430c
a3c24311
20424321
40024322
1122444c
9c024451
16124452
5aa24454
80824454
11024461
d5024462
01924464
0e424464
32e24489
7c12448c
06124491
30524494
8b4244a1
d43244a2
d1524509
82a2450a
1902450c
00424512
bc924521
02c24522
24a24524
0222484a
18024854
10424861
80024864
3a624889
3092488a
8e32488c
00a2488c
81024891
15824892
22024892
11624894
a8024894
012248a2
2e8248a2
98624909
8002490a
4402490c
13b2490c
68c24911
0d024912
04224914
41124921
00424922
00824924
80028249
20a2824a
cf428251
91828252
79528252
8a028261
a4028264
0a028291
03228292
30428292
78828294
080282a1
102282a2
010282a4
21028309
40a2830a
05228311
c4628312
43828321
00028324
dce28449
00728452
6e028454
28128461
18128464
50c28489
2102848a
d232848a
a012848c
89128491
c4928492
8f028492
29028494
12228494
209284a2
576284a2
720284a4
41b28509
2022850a
6212850c
70a28511
08228512
d5528512
02428514
4c428524
00428849
0292884a
a042884c
09028851
0da28852
22028854
d8028854
e6628862
09328864
01c28889
1ac2888a
5002888c
03a2888c
00628892
60028894
22f28894
001288a1
500288a2
814288a4
9c028909
20c2890a
e6b2890c
82028911
55b28912
a4828914
05028921
39428922
0b228924
4014124c
0a441251
98941254
85141262
67d41262
40d41294
8a441314
99241324
19041449
04a4144c
e0941451
70741452
68841452
84341462
d0641464
ab741489
90441489
23241492
06841494
502414a1
0de4150a
66341511
a8241514
00841521
83141522
2a141849
c0641849
23341864
34441864
03a4188a
3004188a
2e04188c
88141892
80841894
612418a1
0fc418a1
404418a4
29a4190c
c4441911
40941912
11241914
41841922
99141924
1264224a
cf64224a
1014224c
44142254
03242264
12242289
45142289
5014228c
d8142291
836422a4
5c24230a
89142314
c0042321
61a42322
0b942324
04042324
0e842449
22e4244a
b0042452
e8842454
608424a4
18842509
0464250a
1a34250c
91042514
13542521
12a42522
20042849
19c4284a
20042851
00c42861
d9242861
40042862
0064288a
0034288c
20042892
a5042894
178428a1
000428a4
05342909
0904290a
d424290a
10a4290c
51942921
85242924
6004424c
08044251
04244252
00c44254
29c44261
01044264
f544428c
30044291
690442a2
01044309
0054430a
0004430c
80444311
54844312
15044321
a6c44449
73044449
5a144451
40044454
7a044461
30c44462
44044464
0a044489
0014448a
0614448c
80c444a1
4044450a
2d14450c
03a44511
08044512
28244514
b3044521
14444522
c9844522
a4444524
59044849
46b4484a
4504484c
20c44851
c8144852
a0144854
5c544854
21044862
00244864
34644889
d044488a
a8244891
08544894
87944894
64c448a1
2cb448a2
948448a4
42644909
2b84490a
0294490c
a0a44911
d1244912
00044922
10644924
c8144924
d204824a
8644824c
ca048252
85a48254
02148262
00848291
53448291
025482a2
080482a4
e4948309
02848311
c5c48314
41448321
40048322
0e248324
2d748451
48a48454
20748454
38248461
01448462
62b48462
50848464
00b48489
6114848a
9904848a
48048491
821484a2
87448509
0004850a
92048511
88748511
21048512
2e048521
46248522
94148524
32048849
9844884a
5004884c
00848852
30a48861
9b048861
80548862
c4048864
80648889
66c4888a
0604888c
68c4888c
40448892
00d48894
84b488a1
828488a2
b35488a4
00e488a4
12948909
8a14890a
0804890c
e0048912
51848914
39148921
12048922
68048924
64081249
c008124c
2878124c
05581289
1248128a
785812a4
00881309
5028130c
a1281311
28481321
00981449
9008144a
00e81452
8668148c
08181491
4c8814a4
00c81509
25b8150a
00381511
19481511
00481514
78481521
52181524
06181851
c0c8188c
01881891
99981892
63481892
402818a4
64b81909
4098190c
99081914
0a481924
a0182251
00382254
88082262
03082264
14982264
00082289
02082294
546822a2
8a98230a
84482314
5eb82321
14082324
e4f8244a
1928244a
90182451
c2982452
24982491
26482494
008824a4
1f082509
2a282511
b8082512
91c82514
00082521
30382524
40082851
65882852
c8182864
3c882864
2818288c
01082891
00282892
094828a4
11882909
4118290a
0188290c
10882911
2a082922
c2d82922
ac182924
08884249
10484251
2388428c
80c84291
821842a2
c00842a4
00384309
0058430a
07384311
8c184312
b8584314
82284322
04084449
2458444c
0a384452
20684454
22484462
61484464
08484494
49f844a1
025844a2
790844a4
41984509
af48450a
d808450a
f5384511
52184511
44184512
88a84512
0eb84514
17484514
00084524
0088484c
58c84851
50284852
8aa84854
d0084861
82284864
88084889
4028488a
8028488c
0c684891
2a084892
00084894
445848a1
1a9848a4
01e84909
1108490a
82f8490c
1488490c
04184914
1c184921
e2084921
18284922
88288249
2928824a
2288824c
7848824c
04488254
1c888261
0dc88289
19088291
36188292
31288294
9c5882a2
611882a2
0b1882a4
c0288311
98688312
04088314
f1f88322
1a088324
a0c8844c
4a08844c
20088462
02488464
03088489
11e8848a
0888848c
74d88491
02c88494
69388494
406884a1
1c2884a4
9028850c
a6588511
28888512
de088512
21088514
85188524
a0088849
0148884a
09e8884c
01288861
ec488862
02788864
84288889
1c28888a
e228888c
14588894
a3288894
822888a1
35b888a2
030888a2
121888a4
50f8890a
0218890a
0508890c
10488912
8c288914
08388921
09c88922
44888924

mathe

你需要的是4桶有一桶或俩桶有毒情况的分析，三人不够，需4人

mathe

现在感觉73#的方案有问题，以110#中例子，如果是第一行第三行，第二列和最后一列，得到四个交点有三个分在同一组，所以无法区分，有问题