1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
|
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template <class UIntType, size_t w, size_t n, size_t m, size_t r,
// UIntType a, size_t u, UIntType d, size_t s,
// UIntType b, size_t t, UIntType c, size_t l, UIntType f>
// class mersenne_twister_engine;
// explicit mersenne_twister_engine(result_type s = default_seed);
#include <random>
#include <sstream>
#include <cassert>
void
test1()
{
const char* a = "0 1 1812433255 1900727105 1208447044 2481403966 4042607538 337614300 "
"3232553940 1018809052 3202401494 1775180719 3192392114 594215549 184016991 "
"829906058 610491522 3879932251 3139825610 297902587 4075895579 2943625357 "
"3530655617 1423771745 2135928312 2891506774 1066338622 135451537 933040465 "
"2759011858 2273819758 3545703099 2516396728 1272276355 3172048492 "
"3267256201 2332199830 1975469449 392443598 1132453229 2900699076 "
"1998300999 3847713992 512669506 1227792182 1629110240 112303347 2142631694 "
"3647635483 1715036585 2508091258 1355887243 1884998310 3906360088 "
"952450269 3647883368 3962623343 3077504981 2023096077 3791588343 "
"3937487744 3455116780 1218485897 1374508007 2815569918 1367263917 "
"472908318 2263147545 1461547499 4126813079 2383504810 64750479 2963140275 "
"1709368606 4143643781 835933993 1881494649 674663333 2076403047 858036109 "
"1667579889 1706666497 607785554 1995775149 1941986352 3448871082 "
"2109910019 1474883361 1623095288 1831376534 2612738285 81681830 2204289242 "
"1365038485 251164610 4268495337 1805601714 1262528768 1442526919 "
"1675006593 965627108 646339161 499795587 840887574 380522518 3023789847 "
"1457635507 1947093157 2600365344 2729853143 1550618999 1390905853 "
"3021294812 882647559 838872117 1663880796 4222103589 2754172275 3844026123 "
"3199260319 4176064873 3591027019 2690294242 2978135515 3172796441 "
"3263669796 1451257057 1427035359 4174826006 2171992010 1537002090 "
"3122405306 4162452508 3271954368 3794310005 3240514581 1270412086 "
"3030475836 2281945856 2644171349 3109139423 4253563838 1289926431 "
"1396919653 733220100 2753316645 1196225013 3699575255 3569440056 "
"2675979228 2624079148 3463113149 863430286 623703199 2113837653 2656425919 "
"175981357 4271478366 4238022735 1665483419 86880610 2963435083 1830392943 "
"847801865 3237296945 332143967 3973606945 2671879697 2236330279 2360127810 "
"3283955434 203240344 4048139172 13189264 2263058814 247241371 1566765783 "
"3084408095 3719371299 1958375251 1985924622 1712739232 1861691451 "
"2644502937 2337807839 784993770 2962208780 2190810177 1523122731 "
"714888527 578678761 3698481324 1801168075 534650483 3390213921 3923356461 "
"3586009066 2059432114 52511333 1969897376 3630122061 524661135 3513619765 "
"563070233 501359785 477489274 658768624 938973567 1548584683 1345287459 "
"2488691004 3441144905 3849305094 2430000078 855172178 614463281 2092744749 "
"176381493 1655802051 2273888101 2474494847 3471978030 2138918303 575352373 "
"1658230985 1675972553 2946663114 915579339 284981499 53939948 3022598146 "
"1861218535 3403620774 4203516930 2360471119 3134536268 1383448498 "
"1307602316 3847663247 3027225131 3597251613 3186237127 725127595 "
"1928526954 1843386923 3560410503 54688266 1791983849 2519860352 4256389699 "
"2328812602 486464275 3578698363 301279829 1303654791 4181868765 971794070 "
"1933885487 3996807464 2144053754 4079903755 3775774765 3481760044 "
"1212862354 1067356423 3764189132 1609862325 2209601551 2565747501 "
"161962392 4045451782 2605574664 2520953090 3490240017 1082791980 44474324 "
"101811128 4268650669 4171338684 772375154 3920460306 2319139534 599033750 "
"2950874441 3373922995 1496848525 4095253594 1271943484 1498723121 "
"3097453329 3698082465 281869581 3148270661 3591477288 747441437 2809508504 "
"3896107498 303747862 2368081624 1844217645 886825352 287949781 1444561207 "
"2512101757 2062331723 741720931 1383797313 3876746355 2041045348 "
"2627599118 1124169970 200524822 3484820454 55883666 1135054804 669498692 "
"2677215504 3097911127 1509628615 617580381 2229022193 85601568 3243896546 "
"3715672328 912168347 2359163500 1180347564 4243175048 2092067103 880183327 "
"4000664709 2045044777 3500474644 1515175520 1862207123 186628841 "
"3337252925 708933575 4015964629 3136815297 3314919747 2891909013 "
"3316567785 3944275369 3608506218 2884839110 3054055598 2707439927 "
"1381111877 3275487281 4292456216 2639563270 3327301876 3576924628 "
"721056309 2002808140 748967365 52380958 2200261692 763456477 1708381337 "
"2038446433 2682979402 1526413779 2211263302 3879771969 75966584 3645059271 "
"2985763524 4085690255 82390958 1883631385 1647521260 1598026998 3038041577 "
"2501913134 3279302868 1738888524 805035483 756399074 3863810982 1097797270 "
"1505792529 898904527 583561003 717152376 3333867738 1099456544 1663473545 "
"1242141229 3828627682 1966201676 1713552361 3852160017 1584965284 21695908 "
"1013262144 145341901 3995441263 3462066219 2239637848 1214086163 "
"2428868268 1650037305 1545513388 1621198806 4232947817 1823092073 "
"256414624 1745018809 1357102386 2055139770 3280958307 2482431613 "
"1664870585 859130423 4097751123 3079768369 2470211009 2984880786 "
"2808568948 2877071923 1984903163 302768457 1866396789 869566317 3746415787 "
"4169433075 3025005404 3980733379 3539207278 3953071536 876960847 "
"2548872156 800507464 1865466907 1273317878 3754712872 1757188269 "
"3229950355 3731640200 2283390608 2204990292 411873449 447423849 1852437802 "
"472825525 3044219944 2913114194 1859709265 4053786194 574820536 2104496732 "
"865469814 2438352724 4208743605 4215067542 1364015250 4139974345 "
"3838747005 1818502786 2914274940 1402365828 1751123528 2302578077 "
"2463168652 1968705496 1730700144 3023943273 1139096844 2658667767 "
"2063547264 705791165 1444775274 2415454225 1575664730 921044163 648101324 "
"1212387162 4191962054 1787702169 1888718041 1518218010 3398792842 "
"4079359729 149721439 750400353 2661036076 3802767886 520152586 951852508 "
"2939585975 1375969109 385733137 3523607459 1902438415 4250996086 "
"2712727066 484493674 3932107461 1428488210 1764242548 3424801055 "
"4004904451 2226862072 2393366939 3609584727 3614444319 317349896 "
"3826527525 204023804 981902443 3356042039 3051207045 1869902661 561831895 "
"3706675415 1527687593 1227610446 2596341042 3191717368 3269246891 "
"557877074 4062070629 3052520266 3772487029 400039836 3195205275 4085394797 "
"1655557239 1345770144 2864727192 449281238 73189507 528365765 2727400656 "
"247880434 2408277395 777039183 2210179398 1088433648 2124356402 1555630141 "
"604790219 195012151 3312518356 923728373 3999251660 3313059535 3478133921 "
"3395026960 383464614 3425869222 2446885186 4032184426 157195416 3158909476 "
"1663750443 2046427584 1658453076 1784483001 3146546889 1238739785 "
"2297306523 3472330897 2953326031 2421672215 1221694592 1588568605 "
"2546987845 3375168573 2137961649 3056565164 330165219 235900365 1000384800 "
"2697255904 579122283 3050664825 73426122 1232986102 2940571064 3076486824 "
"1708182873 2796363264 292154131 4280019913 1102652157 1185393592 "
"1494991690 4270076389 2384840717 425785147 2385321880 317514772 3926962743 "
"392176856 3465421709 1878853468 122662664 2958252160 1858961315 2244939588 "
"2361884409 2860936803 683833250 3291277128 1686857206 1112632275 "
"1200680507 3342928196 2677058150 939442136 3407104669 2906783932 "
"3668048733 2030009470 1910839172 1234925283 3575831445 123595418 "
"2362440495 3048484911 1796872496";
std::mt19937 e1(0);
std::ostringstream os;
os << e1;
assert(os.str() == a);
}
void
test2()
{
const char* a = "0 1 6364136223846793007 13885033948157127961 "
"15324573939901584278 12737837167382305846 15195339788985155882 "
"6554113247712070460 17235932740818599105 13007415075556305955 "
"6585479514541334743 8274505865835507625 1718218088692873364 "
"10390651247454232081 12911994993614796389 3986900029987203370 "
"6673827651897561714 4426752746717694792 7419158062930293690 "
"5800047417539173618 15710773105226458059 16164512590413496893 "
"3438015953120274172 3483801391287623267 293704481016263807 "
"11580856846363212652 3489109114147636336 3391036861618673611 "
"8265793309278544843 7557898467821912223 11008748280761875940 "
"15929443707841919885 8545695347411085846 10810459396490399532 "
"12233244910455127352 15556950738631379285 16711543556686614082 "
"12362193084052127890 16520645558585805174 5163125267185202360 "
"405552980610370477 17567412011316060306 18195950784827697319 "
"7893142112162906367 11294475722810961618 7284845498332539581 "
"8406882439401998138 4375387785957411470 9627875716250684710 "
"8860968026642934661 9743109216691708518 152611520104818631 "
"5897430410700879663 5351672954305365323 16325991383734641720 "
"9695181037355459478 15420132328343498044 17772146581546890572 "
"12095930435311226909 3066005052193896110 11579395203346116306 "
"9168946227698330317 18318927644793076250 16096433325093805476 "
"14945900876820434843 16826760579960858105 17664119339058295604 "
"17844797344364136942 1071414400549507565 16688779616725465582 "
"3684635020921274863 12774052823168116810 17270284502989966576 "
"1081012692742984704 4377021575203177546 18341292555997099853 "
"13297939683513494274 15065725504474304333 10796297883750572804 "
"15233335271871291997 8767977593699151062 3360856014170688284 "
"7828232912764786750 15167717223619970150 9622174963375022357 "
"18262792478991268448 1196631425707106493 5368342740538672272 "
"10381091599850241237 12108437846306626340 6150860188928778248 "
"3342980288459577584 12715439159457051276 17996971042887275859 "
"9749679821487730542 17763727344608586331 16024467606290078168 "
"7763401887585513696 4448278918811662063 16947956613780322662 "
"15144807360840708645 3878082612940188435 10709780449699561405 "
"1649555943517500922 3206645931693769562 12562913950237146427 "
"237213339742767727 12987800257476421358 1653669854585203688 "
"3485900643226898485 13961759114404652223 5243794832751327611 "
"10337687908642742498 16946139522050041809 16716562961992396380 "
"4275124606042261542 4055100795824867618 6424268654905981295 "
"3424516503413156556 2670380025813203539 10750762735193959951 "
"8790031149370411970 4021216986392972993 12076090355041998696 "
"14407920322903159838 10653597737935867030 15483225617438352002 "
"2497775263858626604 12295882369431088188 14256043521530136935 "
"2687322778627883798 3419797801078863201 8786888481486602641 "
"445698423634900693 9597067954623467255 7101345576557603992 "
"1498579197046783597 10403325187679734962 2464586980321053562 "
"2022012026329844477 10802281218030350853 6628929099856200904 "
"6828177972863192803 8589868113309334601 5245595233272009016 "
"5335692004673212054 4515133017699498525 15966447436053813932 "
"15199779177078162007 4190689609934804313 13003438276435994683 "
"8406046831313066396 10564320513686955057 12668913223662201488 "
"13130110932487580228 1030848205404711145 17684061609212954769 "
"12942207438298787911 10731611242140874687 5165052527778107352 "
"16323046249518133445 17119162873327029615 5754858052433703070 "
"3864761150247579030 9945988334920003074 11409854727071782565 "
"5000838138362434817 15526574143469400487 18094554078711846524 "
"5576294272011007484 3478525338408894755 11392694223389544658 "
"4692963068671452476 4459301637730340710 9699395817392066460 "
"14644636990626292085 18065377773424192622 5217202490849387226 "
"16175595974171756081 2109372019589047677 1624752883142646445 "
"13462209973053735966 12082930933973802402 1568864426788967895 "
"17047994306870001795 10556833209957537593 955604103878351641 "
"9062985603395234592 9757612676622840969 1767246562613391916 "
"9752598821733361274 7499745701633625047 7824811626141302622 "
"15819064077972391284 5660565551854829485 17645390577243129343 "
"7343780801046581776 2233358068547689666 8716657172695403744 "
"9129027798969787220 334709674395230649 2063182499026924878 "
"13089071159640936832 1765917316143960741 17552378408917656269 "
"3917018959478722819 15626740210483166037 1645962609209923821 "
"12277169606472643961 14545894350924442736 11485249378718653961 "
"9205208816702766530 10967561305613932827 3105992977398681914 "
"2125140299311648264 11619505070220308543 5030167448920096401 "
"4248170446421798953 16184577688118775567 9240607582885304823 "
"11838996733938359277 415426114101983968 14340734742548675134 "
"4124085748228276376 17686494750190224280 9472996569628985376 "
"1207013222233148636 3031046462562068367 45068538181330439 "
"8678647417835301152 10693327126492781235 3058899219097846020 "
"18377730418355022492 10269941972656742364 15986476992758938864 "
"14575856764093007010 14749682846448398393 1042926396621439263 "
"12184905641567868001 3518848236485931862 6718580865438347534 "
"6319395993260741012 2855168874111910691 2482146419106261786 "
"17290238774162848390 8071397865265268054 15873003794708011585 "
"14422764926380465297 14140979091525022882 3573480287238168646 "
"1525896111244666696 7537826952717918371 10482908122538761078 "
"17003233041653857 9473838740924911883 8438240966750123668 "
"10697754962581554225 15048771265786776312 9067877678399943713 "
"3399555692325948067 6150260207049997483 7165140289246675175 "
"14816202987105583988 4753550992948864498 10549400354582510015 "
"13212062554023586370 1585477630313819722 476999696494664205 "
"3208739183359199317 16011681780347380478 8149150693959772807 "
"803412833228911773 2360961455092949929 1517204230639934662 "
"13863717544358808032 16792122738584967930 12742474971940259289 "
"1859755681395355028 1540431035241590810 3883807554140904361 "
"16189061625447625933 12376367376041900879 8006563585771266211 "
"2682617767291542421 8593924529704142157 9070391845133329273 "
"3557484410564396342 9301398051805853085 12632514768298643219 "
"227653509634201118 7247795074312488552 4939136716843120792 "
"6533591052147596041 1308401457054431629 17488144120120152559 "
"14075631579093810083 4015705597302725704 6833920126528811473 "
"5095302940809114298 8312250184258072842 15770605014574863643 "
"14091690436120485477 15763282477731738396 16394237160547425954 "
"5066318118328746621 13140493775100916989 6371148952471982853 "
"15150289760867914983 4931341382074091848 12635920082410445322 "
"8498109357807439006 14836776625250834986";
std::mt19937_64 e1(0);
std::ostringstream os;
os << e1;
assert(os.str() == a);
}
int main()
{
test1();
test2();
}
|
