arxiv: v1 [cs.cc] 29 Mar 2012

Transcription

1 Solving Mhjong Solitire ords with peeking Michiel de Bondt rxiv: v1 [cs.cc] 29 Mr 2012 Decemer 22, 2013 Astrct We first prove tht solving Mhjong Solitire ords with peeking is NPcomplete, even if one only llows isolted stcks of the forms nd. We susequently show tht lyouts of isolted stcks of heights one nd two cn lwys e solved with peeking, nd tht doing so is in P, s well s finding n optiml lgorithm for such lyouts without peeking. Next, we descrie prcticl lgorithm for solving Mhjong Solitire ords with peeking, which is simple nd fst. The lgorithm uses n effective pruning criterion nd heuristic to find nd prioritize criticl groups. The ides of the lgorithm cn lso e pplied to solving Shisen- Sho with peeking. Mhjong Solitire is gme which is plyed with the 144 tiles of the Chinese gme Mhjong. The tiles re distriuted in 36 groups of four tiles ech. In the eginning of the gme, the tiles re stcked rndomly in predefined pttern, clled the lyout. The so-clled turtle lyout is used the most nd therefore clled the defult lyout s well. After stcking the tiles, the oject is to remove ll tiles under certin rules. These rules re s follows. A tile is plyle, if nd only if no other tile is lying upon it, not even prtilly, nd either its left side or its right side does not touch ny other tile. Only plyle tiles my e plyed, ut solely in pirs of tiles of the sme group. Thus removing ll tiles tkes 72 removls of pirs of similr tiles. During gme ply, one cnnot see tiles which re completely elow other tiles. Sometimes tile cn e seen prtilly, nmely where it is not covered other tile. 1 Motivtion Since the theoreticl content of this rticle is not enough to justify puliction, the ide of writing this rticle cme somewht lter nd is solely motivted y the experience tht people try to write similr lgorithms for oth Mhjong Solitire nd Shisen-Sho, ut fil to get them fst enough. Hence the theory in this rticle fulfills the min purpose of science, nmely serving prctice. 1

2 The sensitivity of the performnce of progrm for Mhjong Solitire to design is connected to the NP-completeness of the prolem. For tht reson, we include n NP-completeness result s well. Although such result hs not een pulished yet in n officil forum like this, the result tht Mhjong Solitire with peeking is NP-complete is not new. For tht reson, our result will e the novelty tht Mhjong Solitire with peeking is lredy NP-complete when the lyout only contins isolted stcks of height three. 2 Complexity results When we generlize the numer of groups from 36 to nturl numer, we get gme which cn e sujected to complexitlysis. The following results re known. Theorem 1 (A. Condon, J. Feigenum, C. Lund, nd P. Shor, [2, Theorem 3.6]). Mhjong Solitire is PSPACE-complete. Theorem 2 (D. Eppstein, [3, Shnghi]). Mhjong Solitire is NP-complete when peeking is llowed. We only consider the vrint with peeking of Mhjong Solitire in this rticle. In order to e le to include complexity result nd to e originl t the sme time, we refine theorem 2, which results in the elow theorem. Theorem 3. Solving Mhjong Solitire ords with peeking is NP-complete, even if one only llows isolted stcks of the forms nd (We write the tile nmes on the sides to mke peeking esier.) Proof. We reduce from 3-. Our construction consists of three steps. Step 1: initil setup. We set up the following eight tile stcks. x1 x2 x2 y1 y1 y2 y3 2

3 For ech x-group x i, there is exctly one stck with two x i -tiles on top. In order to relese the third tile of such stck, it is necessry to free the other two x i -tiles. This property will e mintined in the other steps. For ech y-group y j, there is exctly one stck with two y j -tiles elow. In order to relese tiles elow one of the other two y j -tiles, it is necessry to remove the top tile of the stck with two y j -tiles elow first, since otherwise oth y j -tiles of this stck cnnot e freed ny more. This property will e mintined in the other steps s well. The group is key group. The ultimte prolem (which corresponds to solving the instnce of 3-) will e to remove the first pir of the group, which cn only consist of the tile elow two tiles of n x-group nd the tile ove the two -tiles, since the other two tiles re locked indirectly y the tile which is ove the two -tiles. After removing the first pir, it will e esy to cler the ord. Step 2: dding vriles. For ech vrile, we perform the following. Let m e the lrgest index of the x-groups nd n e the lrgest index of the y-groups. Remove two tile stcks nd dd fourteen tile stcks s drwn elow. xm yn ti,1 xm yn ti,2 yn+1 xm+1 yn fi,1 xm+2 yn+2 One cn show y induction tht in order to relese the first pir, one must remove the -tile which is ove two tiles of n x-group, for ll i. Furthermore, one cn only remove the tile elow two tiles of y-group fter the first pir is freed, for ll i. Thus for ech i, one hs to choose etween the ove two tiles of t i -group nd the ove two tiles of f i -group, for removl long with the -tile ove two tiles of n x-group. Removing the -tile ove two tiles of t i -group first corresponds to setting to true nd removing the -tile ove two tiles of f i -group first corresponds to setting to flse. fi,2 3

4 For ech t i -group nd ech f i -group, there is exctly one stck with two tiles of the group elow, just like with ech y-group. This property is mintined in step 3. Thus the t i -groups nd f i -groups ct in similr mnner s the y-groups. Step 3: dding cluses. For ech cluse, we perform the following. Let m e the lrgest index of the x-groups. First, we remove one tile stck nd dd four tile stcks s drwn elow. xm xm Cj xm+1 xm+2 Susequently, for ech of the t most three vriles in, we do the following. If ppers in positive literl, let k e the lrgest index of the t i -groups. Remove one tile stck nd dd four tile stcks s drwn elow. ti,k+2 ti,k+2 ti,k+1 If ppers in negtive literl, let k e the lrgest index of the f i -groups. Remove one tile stck nd dd four tile stcks s drwn elow fi,k fi,k fi,k If we repet dding literls to mke the numer of times vrile is treted equl to three for ech cluse (in cse the definition of 3- does not require exctly three literls), then for ech j, ll four -tiles re used. One cn show y induction tht in order to relese the first pir, one must remove the -tile which is ove two tiles of n x-group, for ll j. To do so, one of the other three -tiles hs to e relesed. For ech literl of which evlutes to true (with respect to the choice of the pir to e removed first in the group of the literl s vrile), one 4

5 -tile cn e relesed. Other -tiles cnnot e freed efore removing the first -pir. Thus the -tile which is ove two tiles of n x-group cn only e relesed if evlutes to true. In order to remove the first two -tiles, ll vriles must e ssigned oolen vlues nd ll cluses must e stisfied. After removing the first -pir, ll remining -tiles cn e relesed, fter which ll remining - tiles cn e freed. All other tiles re removed long with this. Hence our reduction from 3- is complete. With one level Mhjongg solitire, ll tiles re on the sme level nd cn therefore lredy e seen without peeking. Corollry 4. One level Mhjong Solitire is NP-complete. Proof. Replce ech stck of theorem 3 y row of tiles, s follows. c c c c c c c c c c c c c c c c Here, every stck of theorem 3 gets new tile group c, of course. Now tht we hve NP-completeness with stcks of height three, it seems nturl to look wht hppens with stck of smller heights. Theorem 5. If the lyout only consists of isolted stcks of heights one nd two, then one cn lwys remove ll tiles of the Mhjong Solitire gme when peeking is llowed. Without peeking, n optiml strtegy for Mhjong Solitire lyout s ove is to repet the following. First choose n ritrry group which hs mtch, i.e. pir of plyle tiles. Next remove mtch of tht group with the mximum numer of tiles not on the ground. Proof. Assume the lyout only consists of isolted stcks of heights one nd two. Since there re four tiles of ech group, there cnnot e locked cycle, see definition 6 elow. Hence y theorem 7 elow, ll tiles cn e removed when peeking is llowed. Without peeking, one cn only remove the wrong tiles of group when exctly three of the four tiles re not on the ground, in cse the formulted strtegy is oeyed. But in tht cse, there is no informtion tht might led to est guess, since ll three stcks of height two with tile of the ove group on top look the sme. c c 5

6 When plying Mhjong Solitire, the numer of tiles of ech group does not sty equl to four, ut will ecome two first nd zero lter when ll tiles re removed. Hence we formulte the following definition. Definition 6. Assume the lyout only consists of isolted stcks of heights one nd two, nd the numer of tiles of ech group is two or four. A locked cycle is suset {p 1, p 2,..., p k } of distinct groups of size two which re stcked s follows, where k 1. p1 p 1 p 2 p 1 p 2 p2 p 2 p 3... p 2 p 3 pk 1 p k 1 p k p k 1 p k pk p k p 1 p k p 1 In the somewht degenerte cse k = 1, there is only one stck, one with two p 1 -tiles. Notice tht the ord cnnot e solved when locked cycle is present. By the elow theorem, we see how to ply with stcks of heights one nd two when peeking is llowed. Theorem 7. If the lyout only consists of isolted stcks of heights one nd two, nd ll groups hve two or four tiles, then one cn remove ll tiles of the Mhjong Solitire gme when peeking is llowed, if nd only if no locked cycle is present. Furthermore, for ech group which hs mtch, t lest one of the mtches cn e plyed without introducing new locked cycle. Proof. We first prove the second clim. Assume we hve lyout of isolted stcks of heights one nd two, nd tht some group g hs mtch such tht plying this mtch will result in new locked cycle. Then there will e exctly one tile of g on the ground fter plying tht mtch. This cn e countercted y plying nother mtch of g, except if exctly three tiles of g re not on the ground. But in tht cse, every group which is in the locked cycle, except g, is lredy reduced to only two tiles, of which one is on the ground, efore removing the mtch of g. Hence there is only one possile locked cycle with tiles of g up to cyclic shift. Thus only one of the three tiles of g which re not on the ground is within locked cycle fter plying the other two. Hence the locked cycle cn e roken y plying the only plyle tile of g within the locked cycle together with nother tile of g insted. This proves the second clim of theorem 7. To prove the first clim, notice first tht y the second clim, one cn void introducing the presence of locked cycle s long s there is mtch. Thus ssume tht there re no mtches ville ny more. If more thn hlf of the tiles re on top of stck, then there will e mtch, ecuse ll groups hve size two t lest. Furthermore, there will e mtch when group of size four is present, ecuse t lest hlf of the tiles is on top of stck. 6

7 Thus there re only stcks of height two nd only groups of size two, nd one cn esily see tht ll stcks re contined in locked cycle. This completes the proof of theorem 7. 3 A prcticl lgorithm To determine whether given ord is solvle, first ide my e to trd ply mtch nd next determine the solvility recursively. If the ord is not solvle ny more fter plying the first mtch, then trother mtch insted nd test it y going into recursion gin, until ll possile mtches re tried. But this pproch is wy too slow. One wy to improve the performnce is to pply clening opertions initilly (nd thus implicitly in the recursion s well). A first clening opertion is to ply ll remining (two or four) tiles of group when this is possile. Another clening opertion is the following. If three tiles of group re plyle nd t lest one of them does not lock ny other tile, then ply the other two. Another speedup is otined y tking into ccount tht two mtches of different groups cn e plyed in ny order, nd tht the order does not ffect the solvility. For this purpose, one cn order the groups nd require tht mtches which re plyle t some stge re plyed in incresing order of the groups. Thus if one is out to ply mtch within group g, ll current mtches of groups lower thn g will e foridden in the rnch of the serch tree fter plying the ove mtch within g. Notice tht every group hs six possile mtches. But when plying mtch of two tiles of group is foridden, it does not mke sense when the other two tiles of tht group re still plyed together. Thus there re only three possile mtches to distinguish. In other words, there re three possile pirings of group of four tiles, nmely {{1, 2}, {3, 4}}, {{1, 3}, {2, 4}} nd {{1, 4}, {2, 3}}. When mtch within group g is plyed, piring of g is chosen nd for groups of lower order thn g, one piring is mrked s unllowed in cse such group hs exctly one mtch. If group of lower order thn g hs more thn one mtch, then ll pirings of tht group will get foridden, which mens tht group g is not the right group to ply t the moment. This is more or less the lgorithm of [4]. Although the lgorithm is not very fst, it cn e used to evlute initil turtle lyouts, most of them within coffee rek, ut some of them tke more thn dy. Others did similr things, nd susequently pplied low-level improvements, include writing efficient ssemly code nd serching with multiple theds. This is however not the est ide t this stge, ecuse high-level improvements re fr more effective nd still ville. We discuss two of them which led to n lgorithm tht solves typicl ord in less thn second nd worst-cse ord in out minute. 7

8 3.1 A pruning criterion The ove clening opertions cn e seen s pruning criterion, since they essentilly spot groups whose removl is not prolemtic in ny sense nd rnching within such groups is eliminted. A more direct pruning criterion which cn e tried efore going into recursion is the following. Pruning scn. Try if you cn clen the ord y plying the first two tiles of ech group simultneously (choose ny mtch), nd plying the third nd fourth tile individully (in cse the group hs four tiles). The rules in the pruning scn re not only more grcious thn the originl rules, ut it is lso impossile to ply the wrong mtch. Therefore, if the pruning scn hs negtive nswer, then the ord will not e solvle nd one cn serch further without going into recursion. Furthermore, for groups where clening cn e pplied upon, this pruning criterion works s well, ecuse such groups do not ffect the result of the ove pruning scn. But susequent optimiztions, which will e discussed in the next susection, will counterct the clening opertions. 3.2 Criticl groups Insted of choosing mtches to ply recursively, one cn lso choose group pirings recursively. With 36 groups, one gets serch tree of size 3 36, since there re three possile pirings for ech group. The dvntge of group-directed serch tree with respect to mtch-directed serch tree is tht one cn choose the order of groups in group-directed serch tree in n ritrry mnner. With mtch-directed serch tree, the order of groups corresponds to the order of plying of the first pir of tiles of them. With group-directed serch tree, no tiles re ctully removed, which mkes tht the prune scns will not get smller. But scn of ord with hlf of the tiles removed in only fctor two fster thn scn with ll tiles, which is penuts in this context. Furthermore, groups which re ssocited piring re removed corresponding to tht piring in pruning scn nd no individul tile removl re llowed for them, otherwise one does not progress in the serch. To improve the effect of the pruning, we try to choose criticl group nd prioritize it y expnding it in the serch tree (on top of the current stge). One wy to find criticl group is to choose group tht llows the minimum numer of pirings in the pruning scn. If ll unpired groups llow ll three pirings, then one cn try to find group whose four tiles cnnot e removed simultneously during pruning scn. This heuristic for finding criticl groups is significnt improvement of the lgorithm, ut some ords still tke quite some time. For tht reson, we present totlly different heuristic for finding criticl groups, one which ppers even etter in prctice since ll ords seem to e solved within resonle mount of time. 8

9 Suppose tht we re either on top of the serch, or tht the lst group which is ssigned piring hs piring greter thn one. We choose the next group without ny heuristic yet, nd ssign it piring one. Next, we perform pruning scn. If the pruning scn is effective, then we decide tht the chosen group is criticl, ssign it piring two (the next piring), nd go further into recursion. If the pruning scn is not effective, then we dd nother group with piring one to the serch tree, nd repet dding groups until we get n effective pruning scn (or solution). When we hit n effective pruning scn, we ssign the lst dded group piring two just s ove, ut we do the following with ll groups tht we just dded to the serch tree with piring one. We remove ll such groups tht re not needed for the pruning scn to e effective from the serch tree. Since there might e more miniml comintions of groups tht keep the pruning scn effective, we hve to e more specific here. We remove the groups in ckwrd order, strting from the lst dded group (which is of course necessry for the pruning), going up to the previous group with piring lrger thn one (or the eginning of the serch tree), from where we strted dding groups with piring one. Thus we dpt the serch tree ckwrds. For the groups tht re removed from the serch tree, we cycle tiles two, three nd four either forwrd or ckwrd, hoping tht they pper criticl lter on due to different first piring. A more progressive rerrngement strtegy on the serch tree (sed on mintining pruning), where the progress in the ternry serch tree (which is ternry frction) is mximized, ppered overdone with respect to speed. 3.3 Rndom solving One cn lso try to solve the ord y chosing mtches rndomly. This is likely to fil, ut then one cn repet the ttempt nother time. In the current implementtion of the solver, = 708 ttempts re done to solve ord rndomly (since there re 36 groups which hve still four tiles initilly). The rndom ttempts re comined with the ove clening heuristic, ut first, pruning scn on top level is performed, since some lyouts re so impossile tht lmost ll ords cn e discrded with such scn. Alredy twenty yers go, Ken McDonld wrote solver which tries to solve ords y rndom mtch selection, see [5]. He lso remrks tht the difficulty of solvle ords cn e mesured y the frction of succesful ttempts of solving. 3.4 Lyouts nd proilities Below follow proilities tht rndom ord of some lyout of Xmhjongg 3 cnnot e won even when peeking is llowed. All results re sed on scns of 100,000 ords, except the defult lyout which is sed on scn of 10,000,000 ords. This ltter scn took out 40 hours on single thred of Xeon L5420. From the other lyouts, the ox took with out 110 minutes the most 9

10 time, quickly followed y the ridge lyout, which hs significntly more relly hrd ords thn ny of the other lyouts. Defult: 2.95% Aren: 2.6% Frndole: 7.9% Rt: 5.1% Arrow: 8.2% Hre: 18% Rooster: 22% Bor: 4.7% Horse: 20% Snke: 4.2% Bridge: 32% Hourglss: 100% (ll) Theter: 0.62% Ceremonil: 1.8% Monkey: 9.9% Tiger: 22% Deepwell: 6.0% Ox: 47% Wedges: 4.8% Dog: 7.3% Ppillon: 100% (ll) Drgon: 7.5% Rm: 6.9% The results for trnsposed lyouts nd the source cn e found on the uthors homepge [1], s well s DLL for solving nd hcked version of Xmhjongg with the solver. References [1] Michiel de Bondt, Solitire Mhjongg solver, deondt/mjsolver.html [2] A. Condon, J. Feigenum, C. Lund, nd P. Shor, Rndom deters nd the hrdness of pproximting stochstic functions, SIAM Journl on Computing 26:2 (1997) [3] Dvid Eppstein, Computtionl Complexity of Gmes nd Puzzles, eppstein/cgt/hrd.html#shng [4] Pedro Gimeno Forte, Mhjongg Solitire Solver, [5] Ken McDonld, MJSolver v1.2, 10