arxiv: v1 [cs.cg] 31 Mar 2013

Transcription

1 Fidig a argest empty cvex subset i space is W[]-hard Pas Giapus. Christia Kauer May 0, 04 arxiv: v [cs.cg] 3 Mar 03 Abstract We csider the fwig prbem: Give a pit set i space fid a argest subset that is i cvex psiti ad whse cvex hu is empty. We shw that the (decisi versi f the) prbem is W[]-hard. Itrducti Prbem defiiti. Let P be a set f pits i R 3 ad k N. I the Largest-Empty- Cvex-Subset prbem we wat t decide whether there is a set Q P f k pits i cvex psiti whse cvex hu des t ctai ay ther pit f P.. Resuts We shw that Largest-Empty-Cvex-Subset is W[]-hard with respect t the suti size k, uder the extra cditi that the suti set is stricty cvex, i.e., the iterir f the cvex hu f ay f its subsets is empty. This meas that (uder stadard cmpexitytheretic assumptis) the prbem is t fixed-parameter tractabe with respect t k, i.e., it des t admit a O(f(k) c )-time agrithm fr ay cmputabe fucti f ad ay cstat c. See [4] fr basic tis f parameterized cmpexity thery ad [5] fr survey f parameterized cmpexity resuts gemetric prbems.. Reated wrk Largest-Empty-Cvex-Subset has bee shw t be NP-hard i ast year s EurCG [7]. (I that paper, NP-hardess has bee shw as fr the mre geera versi where the emptiess cditi is drpped.) Severa iterestig questis were as raised such as whether the prbem is fixed-parameter tractabe with respect t the suti size ad whether it admits a pymia ((g )/)-apprximati agrithm. Here, we give a egative aswer t the first questi. Nte that i the pae, the prbem is svabe i pymia time; see, fr exampe, [], []. Frm a cmbiatria pit f view, there is a g histry f resuts startig with the famus Erdös-Szekeres therem [3], which states that fr every k there is a umber k such Istitut für Ifrmatik, Uiversität Bayreuth, Uiversitätsstraße, 30, D Bayreuth, Germay, {christia.kauer, pas.giapus}@ui-bayreuth.de Research supprted by the Germa Sciece Fudati (DFG) uder grat K 59/3-.

2 k k Figure : High eve schematic f the cstructi. The zmed-i area shws pits shared amg gadgets their cmm budaries ad sme pairs f pits iside each gadget that take part i a chice f a empty cvex set, (partiay) marked with dashed segmets. that every paar set f k pits i geera psiti ctais k pits i cvex psiti. Hrt [6] shwed that this is t true whe the emptiess cditi is impsed: There are arbitrariy arge sets that d t ctai empty 7-gs. Resuts f this type exist as fr higher dimesis; see [8]. Reducti We shw that Largest-Empty-Cvex-Subset is W[]-hard by a fpt-reducti frm the W[]-hard k-cique prbem [4]: Give a graph G([], E) ad k N, decide whether G ctais a cique f size k.. High eve descripti We begi with a high-eve descripti f the cstructi, see Fig.. Iitiay, the cstructi wi ie the pae; ater, it wi be ifted t the eiptic parabid with a (mre r ess) stadard trasfrm. The cstructi is rgaized as the upper diaga part f a grid with k rws ad k cums. The ith rw ad cum represet a chice fr the ith vertex f a cique i G ad are made f 4i ad 4(k i + ) gadgets respectivey. There are chices ad each chice is represeted by a cecti f empty cvex subsets f pits e subset with a cstat umber f pits frm each gadget. Each gadget csists f Θ() pits withi a rectaguar regi, which are rgaized i sets (f pairs) f ciear pits. There is a cstat umber f such sets ad, sice we are kig fr stricty cvex subsets, y e pair f csecutive pits per set ca be chse at ay time. Certai chices are redered ivaid by additia pits. Neighbrig gadgets share the pits their cmm rectage edge, see the zmed-i area i Fig. Thrugh these cmm pits, the chice f subsets is made csistet amg the gadgets.

3 I particuar, the chice i the ith rw is made csistet with the chice i the ith cum via the diaga, gadget i their itersecti crer; csistecy here meas that they bth crrespd t the same chice f a vertex f G. O the ther had, i the itersecti f the ith cum with the jth rw, fr every j i+, there is a crss, gadget, which esures that the chice i the cum is prpagated idepedety f the chice i the rw ad vice versa. Fiay, the jth cum is cected t the ith rw, fr every j + i k, by three additia gadgets. Oe f them, the star, f gadget, ecdes graph G, i.e., it aws y fr cmbiatis f chices (i the cum ad the rw) that are csistet with the edges i G. Lcay, every vaid subset frm a gadget csists f pits that are i stricty cvex psiti ad whse cvex hu is empty. By iftig the whe cstructi t the parabid apprpriatey, we make sure that this prperty is true gbay, i.e., fr ay set cstructed frm the ca chices i a csistat maer. I tta, the cstructi csists f a set P f Θ(k ) pits i R 3, such that there exists a set Q P with the desired prperty ad Q = f(k), fr sme fucti f(k) Θ(k ), if ad y if G has a cique f size k.. Gadgets There are five differet types f gadgets, ad each type has a specific fucti, which is expaied bew. a gadget. This gadget prpagates a chice f pairs f pits hriztay, see Fig.. It has Figure : The a gadget. Dashed paraegrams represet chices caceed by pits. Paraegrams i fu are t caceed. There are chices f cvex empty 6-gs. pairs f pits L i, R i the eft ad right side f its rectage respectivey, which crrespd t the vertices f G; pairs crrespdig t the same vertex are aiged hriztay. It as has ( ) + pits iside the rectage a vertica ie as fws. Fr every tw pairs 3

4 L i ad R j, with i j, a pit is paced such that it is iside the paraegram L i R j frmed by the pairs but utside the paraegram frmed by ay ther tw pairs. Effectivey, this pit caces a chice f pairs that crrespd t differet vertices f G. Oe pit is paced abve L R ad cse t its budary; simiary e pit is paced bew L R. Due t the strict cvexity cditi, at mst e pair per rectage side ad at mst e pair ca be chse. Thus, there are maximum size empty cvex subsets. Each subset ctais six pits ad is frmed by three pairs: L i, R i, fr sme i, ad the pair f pits that are csest t the paraegram L i R i ; this atter pair is frmed by the pit that caces L i R i ad the pit that caces L i R i+. The gadget is just a 90 -rtated cpy f the a gadget. a gadget. This gadget has basicay the same structure as the a gadget but prpagates ifrmati diagay. Fr cmpeteess, it is shw i Fig 3. Figure 3: The gadget. j gadget. This gadget prpagates ifrmati bth hriztay ad diagay, see Fig. 4. It has pairs f pits L i, R i, ad B i, the eft, right, ad bttm side f its rectage respectivey. As befre, a ith pair crrespds t the ith vertex f G. There wi be y vaid chices ad three pairs per chice, amey, the ith pair frm each side. This is efrced by the strict cvexity cditi ad by pacig, fr every i, fur additia pits tw vertica ies ad iside the rectage. These pits are paced utside the cvex 6-g L i R i B i that is frmed by the pits i the crrespdig pairs. (The pits are as utside every ther 6-g fr j i.) See the exampe fr i = i Fig. 4. Mre specificay, kig at the gadget frm tp t bttm ad frm eft t right, a pit is paced the itersecti f ad the ie thrugh the secd pit f L i ad the secd pit f B i ; fr the case f i =, the pit is paced just bew the 6-g. A secd pit is paced just abve the 6-g. At the right side, tw pits are paced as fws. Oe pit is paced the itersecti f ad the ie thrugh the secd pit f L i ad 4

5 Figure 4: The j gadget. There are chices f cvex empty 0-gs. A empty cvex 6-g, as described i the text, is shw y fr i =. the first pit f R i+ ; fr i =, the pit is paced just abve the 6-g. A secd pit is paced the itersecti f ad the ie thrugh the secd pit f R i ad the first pit f B i+ ; fr i =, the pit is paced just bew the 6-g. There are maximum size empty cvex subsets with 0 pits each. A subset is frmed by the pits i the pairs L i, R i, B i, ad the fur pits ad that are csest t the crrespdig 6-g. (Nte that gadgets i ad h (used ater ) are just rtated cpies f gadget j.) gadget. This gadget csists f eight subgadgets, which are very simiar t the es we have aready described abve. See Fig. 5. It ca be thught f as havig tw iputs (at jth cum ith rw ith rw jth cum Figure 5: The gadget: a high eve schematic. the upper ad wer eft crer) ad tw utputs (at the upper ad wer right crer). It prpagates the iputs (chices) idepedety frm each ther, e hriztay ad e 5

6 verticay. The iput subgadgets ad are respectivey cected (thrugh their eft ad bttm rectage sides) t the a ad gadgets f the ith rw ad jth cum f the gba cstructi (Fig. ). The utput subgadgets ad are simiary cected t a a ad gadget. Nte that the subgadgets i ad h i the midde f the gadget (Fig. 5) as we as the subgadgets ad are t cected directy t ay rw r cum f the gba cstructi. Rughy speakig, the gadget has the fwig fucti: it mutipexes the tw iputs, the it mirrrs them (verticay ad hriztay), ad the demutipexes them. Next, we describe the subgadgets i sme mre detai. a a,,,,,,,,, Figure 6: The subgadget. The subgadget is shw i Fig. 6. It is simiar t the previusy described a gadget i Fig.. It has agai pairs f pits L i the eft side. The differece w is that there are pairs f pits R i,j, i, j, the right side f the gadget. The secd idex j basicay ecdes the chice cmig frm the iput subgadget at the wer eft crer, which is cmmuicated thrugh the i ad subgadgets ibetwee. Oy the pairs L i ad R i,j cstitute vaid chices. The rest are caceed by additia pits as usuay. Tgether with pairs f caceig pits (which are as chse as befre) there are exacty empty cvex 6-gs, ad these are f maximum size. The iput subgadget prpagates ifrmati verticay ad is defied simiary t the subgadget. It has pairs f pits B j the bttm side ad pairs T ij the tp side. The differece w is that y the pairs B j ad T i,j are vaid. The utput subgadgets ad are just mirrred images f their iput cuterparts. The ad subgadgets arecstructed i the same way as the gadget i Fig. 3 but have vaid 6-gs, whie the i ad h subgadgets are cstructed i the same way as the j gadget i Fig. 4 ad have vaid 0-gs. 6

7 f gadget. This gadget ecdes the edges f the iput graph G. See Fig. 7. It is simiar t gadget a (Fig. ) ad aws y cmbiatis f pairs that crrespd t edges f the graph: fr every -edge ij f G, a pit is paced iside the paraegram L i R j. Figure 7: The f gadget. Severa exampes f caceed chices (i dashed) ad f empty cvex 6-gs (i bd) are shw..3 Liftig t R 3 Every crer f a gadget rectage is ifted t the parabid with the map (x, y) (x, y, x + y ). See Fig 8. The images f the crers f each rectage ie e distict pae (sice the crers ie a circe). The pits i a gadget are prjected rthgay the crrespdig pae. This is a affie map ad thus ciearity ad cvexity withi a gadget is preserved. Each gadget w ies a distict facet (a paraegram) f a cvex pyhedr. gadgets i R Figure 8: A -dimesia aague f the iftig prcedure. 7

8 .4 Crrectess The tta umber f (sub)gadgets f each type tgether with the size f a argest vaid (i.e., empty ad cvex) subset i a gadget f the type is a : k, 6; : k(3k )/, 6;,, : k(3k )/, 6; j, i, h : k(k ), 0;,,, : k(k ), 6; f : k(k )/, 6. a A gba vaid subset is frmed by cay chsig e vaid subset frm every gadget i a csistet maer. Whe a argest cay pssibe subset (as give abve) ca be chse, the gba subset has size k(35k 3). As we wi w prve, such a gba subset crrespds t a k-size cique f G. Let P be the set f a the pits i ur cstructi. Lemma. There exists a empty cvex subset f P with k(35k 3) pits if ad y if G has a cique f size k. Prf. Suppse there exists a gba vaid subset f size k(35k 3). The, a argest cay pssibe vaid subset must be chse frm every gadget. Csider such a chice f subsets ad et v i be the vertex f G crrespdig t the chice frm the eftmst gadget f the ith grid rw. By cstructi, the subset crrespdig t the same vertex v i must be chse frm every ther gadget i this rw as we as every gadget i the ith cum. Csider the jth rw, fr sme j i. Thrugh the f gadget that cects the ith cum t the jth rw, whe i + j, r the jth cum t the ith rw, whe j < i, the subset chse frm the jth rw must crrespd t a vertex v j such that v i v j is a edge f G. Hece {v,... v k } is a cique i G. The cverse is bvius. Therefre, we have shw the fwig Therem. Largest-Empty-Cvex-Subset is W[]-hard, uder the cditi f strict cvexity. Refereces [] D. Avis ad D. Rappaprt. Cmputig the argest empty cvex subset f a set f pits. I Prc. f SCG 85, 985. ACM. [] D. Dbki, H. Edesbruer, ad M. Overmars. Searchig fr empty cvex pygs. Agrithmica 5, 990. [3] P. Erdös ad G. Szekeres. A cmbiatria prbem i gemetry. Cmpsiti Math., 935. [4] J. Fum ad M. Grhe. Parameterized Cmpexity Thery. Texts i Theretica Cmputer Sciece. Spriger, 006. [5] P. Giapus, C. Kauer, ad S. Whitesides. Parameterized Cmpexity f Gemetric Prbems. Cmputer Jura, 5(3):37 384,

9 [6] J. D. Hrt. Sets with empty cvex 7-gs. C. Math. Bu. 6, 983. [7] C. Kauer ad D. Werer. Erdös-szekeres is NP-hard i 3 dimesis - ad what w? I Abstracts f 8th EurCG, pages 6 64, 0. [8] W. Mrris ad V. Sta. The Erdös-Szekeres prbem pits i cvex psiti a survey. Bu. Amer. Math. Sc. 37,