arxiv: v1 [cs.cc] 6 Mar 2009

Transcription

1 TETRAVE s NP-omplete arv: v1 [s.cc] 6 Mar 29 Yasuhko Takenaga Department of Computer Sene The Unversty of Eletro-Communatons Tokyo, Japan takenaga@s.ue.a.p Toby Walsh Natonal ICT Australa Unversty of NSW Sydney, Australa tw@se.unsw.edu.au Otober 26, 218 Keyword: omputatonal omplexty, NP-ompleteness, Tetravex. Tetravex s a wdely played one person omputer game n whh you are gven n 2 unt tles, eah edge of whh s labelled wth a number. The obetve s to plae eah tle wthn a n by n square suh that all neghbourng edges are labelled wth an dental number. Unfortunately, playng Tetravex s omputatonally hard. More presely, we prove that dedng f there s a tlng of the Tetravex board gven n 2 unt tles s NP-omplete. Dedng where to plae the tles s therefore NP-hard. Ths may help to explan why Tetravex s a good puzzle. Ths result omplments a number of smlar results for one person games nvolvng tlng. For example, NP-ompleteness results have been show for: the offlne verson of Tetrs [DHLN3], KPlumber (whh nvolves rotatng tles ontanng drawngs of ppes to make a onneted network) [KMS + 4], shortest sldng puzzle problems [RW9]. It rases a number of open questons. For example, s the nfnte verson Turng-omplete? How do we generate Tetravex problems whh are truly puzzlng as rom NP-omplete problems are often surprsng easy to solve? Can we observe phase transton behavour? What about the omplexty of the problem when t s guaranteed to have an unque soluton? How do we generate puzzles wth unque solutons? Theorem 1 Tetravex s NP-omplete. Proof: Clearlyt s n NP.Gven asoluton, wean hekt n polynomaltme. To show ompleteness, we use a reduton from 1n3-Sat on purely postve 1

2 lauses. We wll map a problem n n varables m lauses onto a retangular Tetravex problem of sze O(n) by O(m). We an always onvert a retangular Tetravex problem nto an essentally equvalent but larger square problem by addng sutable tles. There are fve types of omponent used n the onstruton: a horzontal assgnment omponent along the edge, vertal lause omponents, vertal horzontal wrng tles unton omponents to onnet vertal to horzontal wres. We assume the varables are labelled from 1 to n. The th part of the assgnment omponent onssts of four tles that are n one of two onfguratons: = true : = false : The value s used to ensure that these tles an only be plaed along the of puzzle. No tle n the puzzle has at ts bottom label. Atually, ths s not essental we an label the of these tles. However, t makes the proof easer f we fore the assgnment omponent to be on the edge of the puzzle. The 1 value n the most tle, the +1 value n the rghtmost tle are used to ensure that the assgnment omponents are lad out n order from to rght along the row of the puzzle. The value s used for nternal tles whh are not omponents. We also start end the row wth the tles: n + 1 rght The value rght are used to ensure that a tle appears on the or rght edge of the puzzle. No tle has as ts rght label. Smlarly, no tle has rght as ts label. Ths s not essental we ould label them zero, but t agan makes the proof easer. Ths sgnal (, whh s nterpreted as s true, or, whh s nterpreted as s false) s then transmtted to the vertal lause omponents va wres. There are vertal wres, horzontal wres untons. A vertal wre s of the form: Where s ether (f the wre s passng a blank part of the puzzle), or the value of a horzontal wre beng rossed. It s mportant to note that ths value for s not equal to. When we ross a wre arryng the sgnal from the th varable, we use a unton omponent. These vertal wrng tles an appear 2

3 n ether order dependng on the polarty of the sgnal beng transmtted. A horzontal wre s of the form: Where s agan ether (f the wre s passng a blank part of the puzzle), or the value of a vertal wre beng rossed. We agan note that ths value for s not equal to. These horzontal wrng tles an appear n ether order dependng on the polarty of the sgnal beng transmtted. A unton onnets a vertal par of wres wth a horzontal par of wres. Eah unton s labelled wth an unque number where > n + m. The unton onssts of one of two possble arrangements of four tles: or The unton turns the vertal sgnal, nto the horzontal sgnal, or the vertal sgnal, nto the horzontal sgnal. Whlst t s possble to stak two wrng tles horzontally plae them between the rght half of the unton omponent, we annot then lne up wth the wrng omponents omng down from the assgnment omponent. Smlarly, t s mpossble to put two wrng tles between the bottom half of the unton omponent. Therefore ths unton omponent must our n ths two by two form. Fnally, there s the lause omponent. For eah lause, we have 12 vertally arranged tles. Suppose the pth lause s k. We label ths wth an unque number, = n +p. The lause omponent onssts of a tle, a buffer tle, then twotles onnetedto the wresbrngngn the, or, sgnal, another buffer tle, two tles onneted to the wres brngng n the, or, sgnal, another buffer tle, two tles onneted to the wres brngng n the k, k or k, k sgnal, one more buffer tle, fnally the bottom tle. There are thus four buffer tles n total. Two of them are labelled: The label ensures that ths tle s plaed along the edge of the puzzle. Suh tles wll be adaent to any par of wres brngng n a false sgnal. The other two buffer tles, whh are mmedately above below the par of wres 3

4 brngng n the true sgnal, are: The bottom tles of the lause omponent are: Fnally, the two tles onnetng the wres brngng n the sgnal are: A smlar par of tles onnet the wres brngng n the, or, sgnal, the k, k or k, k sgnal. To llustrate the lause omponent, we gve the 12 tles representng the lause k, wth beng the only varable set true. For brevty, we lay the tles out horzontally n four (onneted) rows: k k Wth the lause omponent, we pk out one ( only one) of the three nput pars of wres to be true. Sne the -most bottom-most labels of eah lause omponent s zero, we an lay out the lause omponents n any order. However, they must be along the edge of the puzzle as the sde of eah tle s labelled no tle has as ts rghth label. Fnally, we fll n the rest of the puzzle wth tles labelled ust zero. The puzzle s 4n + 2 tles wde. In the assgnment omponent along the edge, eah of the n varables s assgned a value usng a blok of 4 tles. We also have the start end of row tles. Ths makes 4n+2 n total. The puzzle s 12m+1 tles hgh. Eah of the m lauses usng a omponent wth 12 tles. There s also the tle whh starts the assgnment omponent. Ths makes 12m+ 1 n total. Wthn the puzzle, there are 3m unton omponents. Eah lause requres 3 untons, one for eah varable. There are 24nm 12m vertal wrng tles. Eah of the n varables has a vertal wre runnng the 12m tles from the 4

5 assgnment omponent at the of the puzzle to the bottom edge ofthe puzzle. Eah of these wres s two tles wde. Ths gves 24nm tles. There are, however, no wrng tles where we have unton omponents. There are 3m untons n total, eah onsstng of 4 tles. Hene, there are 24nm 12m vertal wrng tles n total. Fnally, there are 24nm 6m horzontal wrng tles. Eah of the m lauses has three horzontal wres runnng the 4n + 1 tles from the lause omponent at the edge of the puzzle to the rght edge of the puzzle. Eah of these wres s two tles wde. Ths gves 6m(4n+1) tles. There are, however, no wrng tles where we have unton omponents. There are 12m suh tles. Hene, there are 24nm 6m horzontal wrng tles n total. Suppose there s an assgnment whh satsfes ust one varable n eah lause. Then t s easy to see that there s a proper tlng ofthe puzzle. Suppose, on the other h, that there s no suh assgnment. Assume there was a proper tlng of the puzzle. Ths means that there must be an assgnment omponent along the edge. Now the vertal wres an only ft n the puzzle f they are onneted to ths omponent. Smlarly, there must be a lause omponent along the edge. The horzontal wres an only ft n the puzzle f they are onneted to ths omponent. Fnally, the unton omponents an only ft nto the puzzle f they wre up the horzontal vertal wres orretly. Thus we have a orret wrng of the rut. However, ths s only possble f we an satsfy the 1n3-Sat problem. Hene, the 1n3-Sat problem s satsfable ff there s a proper tlng of ths puzzle. Some observatons an be made about ths result. We an add the rular boundaryondtonthat the edgeofthe squaremathesthe bottom, the edge mathes the rght. Tetravex wth suh boundary ondtons remans NP-omplete (sne t s easy to modfy the reduton so all edges are labelled zero). We an also generalze Tetravex to 3 (or more) dmensons. The problem remans NP-omplete as we need only one plane for the reduton an use (hyper)ubes labelled wth zero everywhere else. Fnally, our reduton requres O(n+m) nteger labels. It s an open queston f the problem remans NP-omplete when we have ust O(1) dfferent labels. Referenes [DHLN3] E.D. Demane, S. Hohenberger, D. Lben-Nowell. Tetrs s hard, even to approxmate. In Proeedngs of the 9th Internatonal Computng Combnators Conferene (COCOON 23), pages , 23. [KMS + 4] Danel Kral, Vladan Maereh, Jr Sgall, Tomas Thy, Gerhard Woegnger. It s tough to be a plumber. Theor. Comput. S., 313(3): , 24. 5

6 [RW9] D. Ratner M. Warmuth. Fndng a shortest soluton for the (nxn)-extenson of the 15-puzzle s ntratable. J. Symbol Comp, 1(2): ,