Skip to content

Instantly share code, notes, and snippets.

@windshadow233

windshadow233/PKU GeekGame 2nd 扫雷 II 解题代码

Created April 8, 2024 12:43
Show Gist options
  • Save windshadow233/95f0da79bb4723bcc9951ce671569905 to your computer and use it in GitHub Desktop.
Save windshadow233/95f0da79bb4723bcc9951ce671569905 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
PKU GeekGame 2nd 扫雷 II 解题代码
PKU GeekGame 2nd 扫雷 II 解题代码
Raw
rand.py
import threading
from rng import *
class Source:
def Int63(self):
raise NotImplemented
def Seed(self, seed):
raise NotImplemented
class Source64(Source):
def Uint64(self):
raise NotImplemented
def NewSource(seed):
return newSource(seed)
def newSource(seed):
rng = rngSource()
rng.Seed(seed)
return rng
class lockedSource:
def __init__(self, rng_source: rngSource = None):
self.lk = threading.Lock()
self.s = rng_source
def seedPos(self, seed):
self.lk.acquire()
self.seed(seed)
readPos = 0
self.lk.release()
return readPos
def seed(self, seed):
if self.s is None:
self.s = newSource(seed)
else:
self.s.Seed(seed)
def source(self):
if self.s is None:
seed = 1
self.s = newSource(seed)
return self.s
def Int63(self):
self.lk.acquire()
n = self.source().Int63()
self.lk.release()
return n
def Uint64(self):
self.lk.acquire()
n = self.source().Uint64()
self.lk.release()
return n
def Seed(self, seed):
self.lk.acquire()
self.seed(seed)
self.lk.release()
class Rand:
def __init__(self, src: Source, s64: Source64):
self.src = src
self.s64 = s64
self.readVal = 0
self.readPos = 0
def Seed(self, seed):
if isinstance(self.src, lockedSource):
self.readPos = self.src.seedPos(seed)
return
self.src.Seed(seed)
self.readPos = 0
def Int63(self):
return self.src.Int63()
def Uint32(self):
x = uint32(self.Int63() >> 31)
return x
def Uint64(self):
if self.s64 is not None:
return self.s64.Uint64()
return self.Int63() >> 31 | uint64(self.Int63() << 32)
def Int31(self):
return self.Int63() >> 32
def Int(self):
u = uint(self.Int63())
return u << 1 >> 1
def Int63n(self, n):
if n <= 0:
raise ValueError()
if n & (n - 1) == 0:
return self.Int63() & (n - 1)
m = (1 << 63) - 1 - (1 << 63) % uint64(n)
v = self.Int63()
while v > m:
v = self.Int63()
return v % n
def Int31n(self, n):
if n <= 0:
raise ValueError()
if n & (n - 1) == 0:
return self.Int31() & (n - 1)
m = (1 << 31) - 1 - (1 << 31) % uint32(n)
v = self.Int31()
while v > m:
v = self.Int31()
return v % n
def int31n(self, n):
v = self.Uint32()
prod = v * uint64(n)
low = prod
if low < uint32(n):
thresh = uint32(-n) % uint32(n)
while low < thresh:
v = self.Uint32()
prod = v * uint64(n)
low = prod
return prod >> 32
def Intn(self, n):
if n <= 0:
raise ValueError()
if n <= 1 << 31 - 1:
return self.Int31n(n)
return self.Int63n(n)
def New(src: Source):
return Rand(src, src)
globalRand = New(lockedSource())
def Seed(seed):
globalRand.Seed(seed)
def Int63():
return globalRand.Int63()
def Uint32():
return globalRand.Uint32()
def Uint64():
return globalRand.Uint64()
def Int31():
return globalRand.Int31()
def Int():
return globalRand.Int()
def Int63n(n):
return globalRand.Int63n(n)
def Int31n(n):
return globalRand.Int31n(n)
def Intn(n):
return globalRand.Intn(n)
Raw
rng.py
rnglen = 607
rngtap = 273
rngmax = 1 << 63
rngmask = rngmax - 1
int32max = (1 << 31) - 1
uintmax = (1 << 64) - 1
uint32max = (1 << 32) - 1
def uint(n):
return n % (uintmax + 1)
def uint32(n):
return n % (uint32max + 1)
uint64 = uint
rngcooked = [-4181792142133755926, -4576982950128230565, 1395769623340756751, 5333664234075297259,
-6347679516498800754, 9033628115061424579, 7143218595135194537, 4812947590706362721,
7937252194349799378, 5307299880338848416, 8209348851763925077, -7107630437535961764,
4593015457530856296, 8140875735541888011, -5903942795589686782, -603556388664454774,
-7496297993371156308, 113108499721038619, 4569519971459345583, -4160538177779461077,
-6835753265595711384, -6507240692498089696, 6559392774825876886, 7650093201692370310,
7684323884043752161, -8965504200858744418, -2629915517445760644, 271327514973697897,
-6433985589514657524, 1065192797246149621, 3344507881999356393, -4763574095074709175,
7465081662728599889, 1014950805555097187, -4773931307508785033, -5742262670416273165,
2418672789110888383, 5796562887576294778, 4484266064449540171, 3738982361971787048,
-4699774852342421385, 10530508058128498, -589538253572429690, -6598062107225984180,
8660405965245884302, 10162832508971942, -2682657355892958417, 7031802312784620857,
6240911277345944669, 831864355460801054, -1218937899312622917, 2116287251661052151,
2202309800992166967, 9161020366945053561, 4069299552407763864, 4936383537992622449,
457351505131524928, -8881176990926596454, -6375600354038175299, -7155351920868399290,
4368649989588021065, 887231587095185257, -3659780529968199312, -2407146836602825512,
5616972787034086048, -751562733459939242, 1686575021641186857, -5177887698780513806,
-4979215821652996885, -1375154703071198421, 5632136521049761902, -8390088894796940536,
-193645528485698615, -5979788902190688516, -4907000935050298721, -285522056888777828,
-2776431630044341707, 1679342092332374735, 6050638460742422078, -2229851317345194226,
-1582494184340482199, 5881353426285907985, 812786550756860885, 4541845584483343330,
-6497901820577766722, 4980675660146853729, -4012602956251539747, -329088717864244987,
-2896929232104691526, 1495812843684243920, -2153620458055647789, 7370257291860230865,
-2466442761497833547, 4706794511633873654, -1398851569026877145, 8549875090542453214,
-9189721207376179652, -7894453601103453165, 7297902601803624459, 1011190183918857495,
-6985347000036920864, 5147159997473910359, -8326859945294252826, 2659470849286379941,
6097729358393448602, -7491646050550022124, -5117116194870963097, -896216826133240300,
-745860416168701406, 5803876044675762232, -787954255994554146, -3234519180203704564,
-4507534739750823898, -1657200065590290694, 505808562678895611, -4153273856159712438,
-8381261370078904295, 572156825025677802, 1791881013492340891, 3393267094866038768,
-5444650186382539299, 2352769483186201278, -7930912453007408350, -325464993179687389,
-3441562999710612272, -6489413242825283295, 5092019688680754699, -227247482082248967,
4234737173186232084, 5027558287275472836, 4635198586344772304, -536033143587636457,
5907508150730407386, -8438615781380831356, 972392927514829904, -3801314342046600696,
-4064951393885491917, -174840358296132583, 2407211146698877100, -1640089820333676239,
3940796514530962282, -5882197405809569433, 3095313889586102949, -1818050141166537098,
5832080132947175283, 7890064875145919662, 8184139210799583195, -8073512175445549678,
-7758774793014564506, -4581724029666783935, 3516491885471466898, -8267083515063118116,
6657089965014657519, 5220884358887979358, 1796677326474620641, 5340761970648932916,
1147977171614181568, 5066037465548252321, 2574765911837859848, 1085848279845204775,
-5873264506986385449, 6116438694366558490, 2107701075971293812, -7420077970933506541,
2469478054175558874, -1855128755834809824, -5431463669011098282, -9038325065738319171,
-6966276280341336160, 7217693971077460129, -8314322083775271549, 7196649268545224266,
-3585711691453906209, -5267827091426810625, 8057528650917418961, -5084103596553648165,
-2601445448341207749, -7850010900052094367, 6527366231383600011, 3507654575162700890,
9202058512774729859, 1954818376891585542, -2582991129724600103, 8299563319178235687,
-5321504681635821435, 7046310742295574065, -2376176645520785576, -7650733936335907755,
8850422670118399721, 3631909142291992901, 5158881091950831288, -6340413719511654215,
4763258931815816403, 6280052734341785344, -4979582628649810958, 2043464728020827976,
-2678071570832690343, 4562580375758598164, 5495451168795427352, -7485059175264624713,
553004618757816492, 6895160632757959823, -989748114590090637, 7139506338801360852,
-672480814466784139, 5535668688139305547, 2430933853350256242, -3821430778991574732,
-1063731997747047009, -3065878205254005442, 7632066283658143750, 6308328381617103346,
3681878764086140361, 3289686137190109749, 6587997200611086848, 244714774258135476,
-5143583659437639708, 8090302575944624335, 2945117363431356361, -8359047641006034763,
3009039260312620700, -793344576772241777, 401084700045993341, -1968749590416080887,
4707864159563588614, -3583123505891281857, -3240864324164777915, -5908273794572565703,
-3719524458082857382, -5281400669679581926, 8118566580304798074, 3839261274019871296,
7062410411742090847, -8481991033874568140, 6027994129690250817, -6725542042704711878,
-2971981702428546974, -7854441788951256975, 8809096399316380241, 6492004350391900708,
2462145737463489636, -8818543617934476634, -5070345602623085213, -8961586321599299868,
-3758656652254704451, -8630661632476012791, 6764129236657751224, -709716318315418359,
-3403028373052861600, -8838073512170985897, -3999237033416576341, -2920240395515973663,
-2073249475545404416, 368107899140673753, -6108185202296464250, -6307735683270494757,
4782583894627718279, 6718292300699989587, 8387085186914375220, 3387513132024756289,
4654329375432538231, -292704475491394206, -3848998599978456535, 7623042350483453954,
7725442901813263321, 9186225467561587250, -5132344747257272453, -6865740430362196008,
2530936820058611833, 1636551876240043639, -3658707362519810009, 1452244145334316253,
-7161729655835084979, -7943791770359481772, 9108481583171221009, -3200093350120725999,
5007630032676973346, 2153168792952589781, 6720334534964750538, -3181825545719981703,
3433922409283786309, 2285479922797300912, 3110614940896576130, -2856812446131932915,
-3804580617188639299, 7163298419643543757, 4891138053923696990, 580618510277907015,
1684034065251686769, 4429514767357295841, -8893025458299325803, -8103734041042601133,
7177515271653460134, 4589042248470800257, -1530083407795771245, 143607045258444228,
246994305896273627, -8356954712051676521, 6473547110565816071, 3092379936208876896,
2058427839513754051, -4089587328327907870, 8785882556301281247, -3074039370013608197,
-637529855400303673, 6137678347805511274, -7152924852417805802, 5708223427705576541,
-3223714144396531304, 4358391411789012426, 325123008708389849, 6837621693887290924,
4843721905315627004, -3212720814705499393, -3825019837890901156, 4602025990114250980,
1044646352569048800, 9106614159853161675, -8394115921626182539, -4304087667751778808,
2681532557646850893, 3681559472488511871, -3915372517896561773, -2889241648411946534,
-6564663803938238204, -8060058171802589521, 581945337509520675, 3648778920718647903,
-4799698790548231394, -7602572252857820065, 220828013409515943, -1072987336855386047,
4287360518296753003, -4633371852008891965, 5513660857261085186, -2258542936462001533,
-8744380348503999773, 8746140185685648781, 228500091334420247, 1356187007457302238,
3019253992034194581, 3152601605678500003, -8793219284148773595, 5559581553696971176,
4916432985369275664, -8559797105120221417, -5802598197927043732, 2868348622579915573,
-7224052902810357288, -5894682518218493085, 2587672709781371173, -7706116723325376475,
3092343956317362483, -5561119517847711700, 972445599196498113, -1558506600978816441,
1708913533482282562, -2305554874185907314, -6005743014309462908, -6653329009633068701,
-483583197311151195, 2488075924621352812, -4529369641467339140, -4663743555056261452,
2997203966153298104, 1282559373026354493, 240113143146674385, 8665713329246516443,
628141331766346752, -4651421219668005332, -7750560848702540400, 7596648026010355826,
-3132152619100351065, 7834161864828164065, 7103445518877254909, 4390861237357459201,
-4780718172614204074, -319889632007444440, 622261699494173647, -3186110786557562560,
-8718967088789066690, -1948156510637662747, -8212195255998774408, -7028621931231314745,
2623071828615234808, -4066058308780939700, -5484966924888173764, -6683604512778046238,
-6756087640505506466, 5256026990536851868, 7841086888628396109, 6640857538655893162,
-8021284697816458310, -7109857044414059830, -1689021141511844405, -4298087301956291063,
-4077748265377282003, -998231156719803476, 2719520354384050532, 9132346697815513771,
4332154495710163773, -2085582442760428892, 6994721091344268833, -2556143461985726874,
-8567931991128098309, 59934747298466858, -3098398008776739403, -265597256199410390,
2332206071942466437, -7522315324568406181, 3154897383618636503, -7585605855467168281,
-6762850759087199275, 197309393502684135, -8579694182469508493, 2543179307861934850,
4350769010207485119, -4468719947444108136, -7207776534213261296, -1224312577878317200,
4287946071480840813, 8362686366770308971, 6486469209321732151, -5605644191012979782,
-1669018511020473564, 4450022655153542367, -7618176296641240059, -3896357471549267421,
-4596796223304447488, -6531150016257070659, -8982326463137525940, -4125325062227681798,
-1306489741394045544, -8338554946557245229, 5329160409530630596, 7790979528857726136,
4955070238059373407, -4304834761432101506, -6215295852904371179, 3007769226071157901,
-6753025801236972788, 8928702772696731736, 7856187920214445904, -4748497451462800923,
7900176660600710914, -7082800908938549136, -6797926979589575837, -6737316883512927978,
4186670094382025798, 1883939007446035042, -414705992779907823, 3734134241178479257,
4065968871360089196, 6953124200385847784, -7917685222115876751, -7585632937840318161,
-5567246375906782599, -5256612402221608788, 3106378204088556331, -2894472214076325998,
4565385105440252958, 1979884289539493806, -6891578849933910383, 3783206694208922581,
8464961209802336085, 2843963751609577687, 3030678195484896323, -4429654462759003204,
4459239494808162889, 402587895800087237, 8057891408711167515, 4541888170938985079,
1042662272908816815, -3666068979732206850, 2647678726283249984, 2144477441549833761,
-3417019821499388721, -2105601033380872185, 5916597177708541638, -8760774321402454447,
8833658097025758785, 5970273481425315300, 563813119381731307, -6455022486202078793,
1598828206250873866, -4016978389451217698, -2988328551145513985, -6071154634840136312,
8469693267274066490, 125672920241807416, -3912292412830714870, -2559617104544284221,
-486523741806024092, -4735332261862713930, 5923302823487327109, -9082480245771672572,
-1808429243461201518, 7990420780896957397, 4317817392807076702, 3625184369705367340,
-6482649271566653105, -3480272027152017464, -3225473396345736649, -368878695502291645,
-3981164001421868007, -8522033136963788610, 7609280429197514109, 3020985755112334161,
-2572049329799262942, 2635195723621160615, 5144520864246028816, -8188285521126945980,
1567242097116389047, 8172389260191636581, -2885551685425483535, -7060359469858316883,
-6480181133964513127, -7317004403633452381, 6011544915663598137, 5932255307352610768,
2241128460406315459, -8327867140638080220, 3094483003111372717, 4583857460292963101,
9079887171656594975, -384082854924064405, -3460631649611717935, 4225072055348026230,
-7385151438465742745, 3801620336801580414, -399845416774701952, -7446754431269675473,
7899055018877642622, 5421679761463003041, 5521102963086275121, -4975092593295409910,
8735487530905098534, -7462844945281082830, -2080886987197029914, -1000715163927557685,
-4253840471931071485, -5828896094657903328, 6424174453260338141, 359248545074932887,
-5949720754023045210, -2426265837057637212, 3030918217665093212, -9077771202237461772,
-3186796180789149575, 740416251634527158, -2142944401404840226, 6951781370868335478,
399922722363687927, -8928469722407522623, -1378421100515597285, -8343051178220066766,
-3030716356046100229, -8811767350470065420, 9026808440365124461, 6440783557497587732,
4615674634722404292, 539897290441580544, 2096238225866883852, 8751955639408182687,
-7316147128802486205, 7381039757301768559, 6157238513393239656, -1473377804940618233,
8629571604380892756, 5280433031239081479, 7101611890139813254, 2479018537985767835,
7169176924412769570, -1281305539061572506, -7865612307799218120, 2278447439451174845,
3625338785743880657, 6477479539006708521, 8976185375579272206, -3712000482142939688,
1326024180520890843, 7537449876596048829, 5464680203499696154, 3189671183162196045,
6346751753565857109, -8982212049534145501, -6127578587196093755, -245039190118465649,
-6320577374581628592, 7208698530190629697, 7276901792339343736, -7490986807540332668,
4133292154170828382, 2918308698224194548, -7703910638917631350, -3929437324238184044,
-4300543082831323144, -6344160503358350167, 5896236396443472108, -758328221503023383,
-1894351639983151068, -307900319840287220, -6278469401177312761, -2171292963361310674,
8382142935188824023, 9103922860780351547, 4152330101494654406]
class rngSource:
def __init__(self):
self.tap = 0
self.feed = 0
self.vec = [0 for _ in range(rnglen)]
def Seed(self, seed):
self.tap = 0
self.feed = rnglen - rngtap
seed = seed % int32max
if seed < 0:
seed += int32max
if seed == 0:
seed = 89482311
x = seed
for i in range(-20, rnglen):
x = seedrand(x)
if i >= 0:
u = x << 40
x = seedrand(x)
u ^= x << 20
x = seedrand(x)
u ^= x
u ^= rngcooked[i]
self.vec[i] = u
def Int63(self):
return self.Uint64() & rngmask
def Uint64(self):
self.tap -= 1
if self.tap < 0:
self.tap += rnglen
self.feed -= 1
if self.feed < 0:
self.feed += rnglen
x = self.vec[self.feed] + self.vec[self.tap]
self.vec[self.feed] = x
return uint64(x)
def seedrand(x):
A = 48271
Q = 44488
R = 3399
hi = x // Q
lo = x % Q
x = A * lo - R * hi
if x < 0:
x += int32max
return x
Raw
solve_flag1.py
import tqdm
from utils import *
t = time.time_ns() // 1000000
reset()
init(1)
first_board = None
for index in range(256):
i, j = index // 16, index % 16
res = click(i, j)
if 'boom' in res:
first_board = res['boom']
break
print('start searching')
for seed in tqdm.tqdm(range(t - 2000, t + 2000)):
rand.Seed(seed)
board = genBoard1()
info = showBoard(board)
if info == first_board:
print('match!')
break
else:
print('try again!')
exit(0)
board = genBoard1()
info = showBoard(board)
for i in range(16):
for j in range(16):
if info[i][j] != -1:
print('click: ', i, j)
res = click(i, j)
if 'flag' in res:
print(res['flag'])
exit(0)
Raw
solve_flag2.py
import tqdm
from utils import *
reset()
init(2)
random_states = []
for n in tqdm.tqdm(range(152)):
for index in range(256):
i, j = index // 16, index % 16
res = click(i, j)
if 'boom' in res:
b = list(rev_showBoard(res['boom']))
random_states.extend(board2databits(b))
game_over = True
break
elif 'flag' in res: # 万一不小心赢了呢?
print(res['flag'])
exit(0)
next_dataBits_list = [rand.uint(random_states[n - 273] + random_states[n - 607]) for n in range(608, 612)]
b = genBoard2(next_dataBits_list)
info = showBoard(b)
for index in range(256):
i, j = index // 16, index % 16
if info[i][j] != -1:
print(f'click: {i},{j}')
res = click(i, j)
if 'flag' in res:
print(res['flag'])
exit(0)
Raw
solve_flag3.py
import tqdm
from utils import *
t = time.time_ns() // 1000000
reset()
init(3)
first_board = None
for index in range(256):
i, j = index // 16, index % 16
res = click(i, j)
if 'boom' in res:
first_board = list(rev_showBoard(res['boom']))
break
print('start searching')
for seed in tqdm.tqdm(range(t - 2000, t + 2000)):
rand.Seed(seed)
board = genBoard3()
if board[0] == first_board[0] and board[-1] == first_board[-1]:
print('match!')
break
else:
print('try again!')
exit(0)
board_records = [[-2 for _ in range(16)] for _ in range(16)]
board = genBoard3()
info = showBoard(board)
for i in range(16):
if i in {2, 4, 6, 8, 10, 12, 14}:
j_list = [0, 1, 3, 5, 7, 9, 11, 13, 15]
elif i in {1, 3, 5, 7, 9, 11, 13}:
j_list = [0, 2, 4, 6, 8, 10, 12, 14, 15]
else:
j_list = range(16)
for j in j_list:
if info[i][j] != -1:
print('click: ', i, j)
res = click(i, j)
board_records[i][j] = res['ok']
else:
board_records[i][j] = -1
print('Go!')
delta = [(1, 0), (-1, 0), (0, 1), (0, -1), (1, 1), (1, -1), (-1, 1), (-1, -1)]
neighbor_unknown_grids = [] # 记录未扫出的邻近块坐标
while 1:
is_changed = False
for index in range(256):
i, j = index // 16, index % 16
z = board_records[i][j]
if z == 0: # 周围没有雷则把未知块点完
for delta_x, delta_y in delta:
if (i + delta_x) < 0 or (i + delta_x) >= 16 or (j + delta_y) < 0 or (j + delta_y) >= 16:
continue
if board_records[i + delta_x][j + delta_y] == -2:
is_changed = True
res = click(i + delta_x, j + delta_y)
board_records[i + delta_x][j + delta_y] = res['ok']
print("click: ", i + delta_x, j + delta_y)
if 'flag' in res:
print(res['flag'])
exit(0)
elif z > 0: # 周围有z个雷
neighbor_unknown_grids.clear()
for delta_x, delta_y in delta:
if (i + delta_x) < 0 or (i + delta_x) >= 16 or (j + delta_y) < 0 or (j + delta_y) >= 16:
continue
grid = board_records[i + delta_x][j + delta_y]
if grid == -2: # 未知块
neighbor_unknown_grids.append((i + delta_x, j + delta_y))
elif grid == -1: # 该块已标记为雷
z -= 1
if z == 0: # 周围雷全部已知则把未知块点完
if neighbor_unknown_grids:
is_changed = True
for x, y in neighbor_unknown_grids:
res = click(x, y)
board_records[x][y] = res['ok']
print("click: ", x, y)
if 'flag' in res:
print(res['flag'])
exit(0)
elif len(neighbor_unknown_grids) == z: # 周围雷数量等于未知块数量则全部标记为雷
if neighbor_unknown_grids:
is_changed = True
for x, y in neighbor_unknown_grids:
print("mark: ", x, y)
board_records[x][y] = -1
if not is_changed: # 盘面没有变化，开始瞎点
for index in range(256):
i, j = index // 16, index % 16
if board_records[i][j] == -2:
print('click: ', i, j)
res = click(i, j)
if 'boom' in res:
print("try again!")
exit(0)
elif 'flag' in res:
print(res['flag'])
exit(0)
else:
board_records[i][j] = res['ok']
break
Raw
utils.py
import requests
import random
import time
import rand
url = "https://prob14-pjbvlyqo.geekgame.pku.edu.cn/"
session = requests.session()
def genBoard1():
board = [0] * 16
for i in range(16):
for j in range(16):
board[i] ^= ((rand.Intn(257)) % 2) << j
return board
def genBoard2(dataBits_list=None):
board = [0] * 16
dataBits_list = dataBits_list or [rand.Uint64(), rand.Uint64(), rand.Uint64(), rand.Uint64()]
for i in range(4):
dataBits = dataBits_list[i]
for j in range(4):
board[4 * i + j] = (dataBits >> (16 * j)) & 0xffff
return board
def genBoard3():
board = [0] * 16
for i in range(1, 15):
if i % 2 == 0:
board[i] = random.getrandbits(16) & 0x5554
else:
board[i] = random.getrandbits(16) & 0x2aaa
for i in range(16):
for j in range(16):
board[i] ^= ((rand.Intn(257)) % 2) << j
return board
def showBoard(board):
result = [[0] * 16 for _ in range(16)]
for i in range(16):
for j in range(16):
result[i][j] = nearCount(board, i, j)
return result
def nearCount(board, x, y):
if (board[x] >> y)&1 > 0:
return -1
delta = [(1, 0), (-1, 0), (0, 1), (0, -1), (1, 1), (1, -1), (-1, 1), (-1, -1)]
count = 0
for dx, dy in delta:
tx, ty = x + dx, y + dy
if 0 <= tx < 16 and 0 <= ty < 16:
count += (board[tx] >> ty) & 1
return count
def rev_showBoard(info):
for i in range(16):
n = 0
for j in range(16):
if info[i][j] == -1:
n |= 1 << j
yield n
def board2databits(board):
for i in range(4):
dataBits = 0
for j in range(4):
dataBits += board[4 * i + j] << (16 * j)
yield rand.uint64(dataBits)
def init(level):
return session.post(url + 'init', data={'level': level}).json()
def reset():
return session.post(url + 'reset').json()
def click(x, y):
return session.post(url + 'click', data={'x': x, 'y': y}).json()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment