arxiv: v2 [cs.ds] 1 Feb 2017

Transcription

1 Polynomal-tme Algorthms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutaton Graphs Chars Papadopoulos Spyrdon Tzmas arxv: v2 [csds] 1 Feb 2017 Abstract Gven a vertex-weghted graph G = (V, E) and a set S V, a subset feedback vertex set X s a set of the vertces of G such that the graph nduced by V \ X has no cycle contanng a vertex of S The Subset Feedback Vertex Set problem takes as nput G and S and asks for the subset feedback vertex set of mnmum total weght In contrast to the classcal Feedback Vertex Set problem whch s obtaned from the Subset Feedback Vertex Set problem for S = V, restrcted to graph classes the Subset Feedback Vertex Set problem s known to be NP-complete on splt graphs and, consequently, on chordal graphs However as Feedback Vertex Set s polynomally solvable for AT-free graphs, no such result s known for the Subset Feedback Vertex Set problem on any subclass of AT-free graphs Here we gve the frst polynomal-tme algorthms for the problem on two unrelated subclasses of AT-free graphs: nterval graphs and permutaton graphs As a byproduct we show that there exsts a polynomal-tme algorthm for crcular-arc graphs by sutably applyng our algorthm for nterval graphs Moreover towards the unknown complexty of the problem for AT-free graphs, we gve a polynomal-tme algorthm for co-bpartte graphs Thus we contrbute to the frst postve results of the Subset Feedback Vertex Set problem when restrcted to graph classes for whch Feedback Vertex Set s solved n polynomal tme 1 Introducton For a gven set S of vertces of a graph G, a subset feedback vertex set X s a set of vertces such that every cycle of G[V \ X] does not contan a vertex from S The Subset Feedback Vertex Set problem takes as nput a graph G = (V, E) and a set S V and asks for the subset feedback vertex set of mnmum cardnalty In the weghted verson every vertex of G has a weght and the objectve s to compute a subset feedback vertex set wth the mnmum total weght The Subset Feedback Vertex Set problem s a generalzaton of the classcal Feedback Vertex Set problem n whch the goal s to remove a set of vertces X such that G[V \ X] has no cycles Thus by settng S = V the problem concdes wth the NP-complete Feedback Vertex Set problem [16] Both problems fnd mportant applcatons n several aspects that arse n optmzaton theory, constrant satsfacton, and bayesan nference [12, 2, 1, 13] Interestngly the Subset Feedback Vertex Set problem for S = 1 also concdes wth the NP-complete Multway Cut problem [15] n whch the task s to dsconnect a predescrbed set of vertces [17, 8] Subset Feedback Vertex Set was frst ntroduced by Even et al who obtaned a constant factor approxmaton algorthm for ts weghted verson [12] The unweghted verson n whch all vertex weghts are equal has been proved to be fxed parameter tractable [11] Moreover the fastest algorthm for the weghted verson n general graphs runs n O (186 n ) Department of Mathematcs, Unversty of Ioannna, Greece E-mal: chars@csuogr Department of Mathematcs, Unversty of Ioannna, Greece E-mal: roytzmas@hotmalcom 1

2 AT-free? crcular-arc P weghted chordal NP-complete unweghted co-bpartte P weghted permutaton P weghted nterval P weghted splt NP-complete unweghted Fgure 1: The computatonal complexty of the Subset Feedback Vertex Set problem restrcted to the consdered graph classes All polynomal-tme results (P) are obtaned n ths work, whereas the NP-completeness result of splt graphs, and, consequently, of chordal graphs, s due to [15] tme 1 by enumeratng ts mnmal solutons [15], whereas for the unweghted verson the fastest algorthm runs n O (175 n ) tme [14] As the unweghted verson of the problem s shown to be NP-complete even when restrcted to splt graphs [15], there s a consderable effort to reduce the runnng tme on chordal graphs, a proper superclass of splt graphs, and more general on other classes of graphs Golovach et al consdered the weghted verson and gave an algorthm that runs n O (167 n ) tme for chordal graphs [18] Reducng the exstng runnng tme even on chordal graphs has been proved to be qute challengng and only for the unweghted verson of the problem a faster algorthm was gven that runs n O (161 n ) tme [9] In fact the O (161 n )-algorthm gven n [9] runs for every graph class whch s closed under vertex deletons and edge contractons, and on whch the weghted Feedback Vertex Set problem can be solved n polynomal tme Thus there s an algorthm that runs n O (161 n ) tme for the unweghted verson of the Subset Feedback Vertex Set problem when restrcted to AT-free graphs [9], a graph class that properly contans permutaton graphs and nterval graphs Here we show that for the classes of permutaton graphs and nterval graphs we desgn a much faster algorthm even for the weghted verson of the problem As a generalzaton of the classcal Feedback Vertex Set problem, let us brefly gve an overvew of the complexty of Feedback Vertex Set on graph classes related to permutaton graphs and nterval graphs Concernng the complexty of Feedback Vertex Set on restrcted graphs classes t s known to be NP-complete on bpartte graphs [28] and planar graphs [16], whereas t becomes polynomal-tme solvable on the classes of chordal graphs [10, 27], crcular-arc graphs [27], nterval graphs [24], permutaton graphs [4, 5, 3, 22], cocomparablty graphs [23], and, more generally, AT-free graphs [21] Despte the postve and negatve results of the Feedback Vertex Set problem, very few smlar results are known concernng the complexty of the Subset Feedback Vertex Set problem Clearly for graph classes for whch the Feedback Vertex Set problem s NP-complete, so does the Subset Feedback Vertex Set problem However as the Subset Feedback Vertex Set problem s more general that Feedback Vertex Set problem, t s natural to study ts complexty for graph classes for whch Feedback Vertex Set s polynomal-tme solvable In fact restrcted to graph classes there s only a negatve result for the Subset Feedback Vertex Set problem regardng the NP-completeness of splt graphs [15] Such a result, however, mples that there s an nterestng algorthmc dfference between the two problems, as the Feedback Vertex Set problem s known to be polynomal-tme computable for chordal graphs [10, 27], and, thus, also for splt graphs Here we ntate the study of Subset Feedback Vertex Set restrcted on graph classes from the postve perspectve We consder ts weghted verson and gve the frst postve 1 The O notaton s used to suppress polynomal factors 2

3 results on permutaton graphs and nterval graphs, both beng proper subclasses of AT-free graphs As already explaned, we are nterested towards subclasses of AT-free graphs snce for chordal graphs the problem s already NP-complete [15] Permutaton graphs and nterval graphs are unrelated to splt graphs and are both characterzed by a lnear structure wth respect to a gven vertex orderng [6, 19, 27] For both classes of graphs we desgn polynomaltme algorthms based on dynamc programmng of subproblems defned by passng the vertces of the graph accordng to ther natural lnear orderng One of our key ngredents s that durng the pass of the dynamc programmng we augment the consdered vertex set and we allow the solutons to be chosen only from a specfc subset of the vertces rather than the whole vertex set Although for nterval graphs such a strategy leads to a smple algorthm, the case of permutaton graphs requres further descrptons of the consdered subsolutons by augmentng the consdered part of the graph wth a small number of addtonal vertces As a sde result we show that the problem has a polynomal tme soluton on a larger class of nterval graphs, namely to that of crcular-arc graphs, by sutably applyng our algorthm for nterval graphs Moreover towards the unknown complexty of the problem for the class of AT-free graphs, we consder the class of co-bpartte graphs (complements of bpartte graphs) and settle the correspondng complexty status More precsely we show that the number of mnmal solutons of a co-bpartte graph s polynomal whch mples a polynomal-tme algorthm of the Subset Feedback Vertex Set problem for the class of co-bpartte graphs Our overall results are summarzed n Fgure 1 Therefore, we contrbute to provde the frst postve results of the Subset Feedback Vertex Set problem on subclasses of AT-free graphs 2 Prelmnares All graphs n ths text are undrected and smple A graph s denoted by G = (V, E) wth vertex set V and edge set E We use the conventon that n = V and m = E For a vertex subset S V, the subgraph of G nduced by S s G[S] = (S, {{u, v E u, v S) The neghborhood of a vertex x of G s N(x) = {v xv E and the degree of x s N(x) If S V, then N(S) = x S N(x) \ S A clque s a set of parwse adjacent vertces, whle an ndependent set s a set of parwse non-adjacent vertces A path s a sequence of dstnct vertces P = v 1 v 2 v k where each par of consecutve vertces v v +1 forms an edge of G If addtonal v 1 v k s an edge then we obtan a cycle In ths paper, we dstngush between paths (or cycles) and nduced paths (or nduced cycles) By an nduced path (or cycle) of G we mean a chordless path (or cycle) A graph s connected f there s a path between any par of vertces A connected component of G s a maxmal connected subgraph of G A forest s a graph that contans no cycles and a tree s a forest that s connected A weghted graph G = (V, E) s a graph, where each vertex v V s assgned a weght that s a real number We denote by w(v) the weght of each vertex v V For a vertex set A V the weght of A s the sum of the weghts of all vertces n A The Subset Feedback Vertex Set (SFVS) problem s defned as follows: gven a weghted graph G and a vertex set S V, fnd a vertex set X V, such that all cycles contanng vertces of S, also contans a vertex of X and v X w(v) s mnmzed In the unweghted verson of the problem all weghts are equal A vertex set X s defned as mnmal subset feedback vertex set f no proper subset of X s a subset feedback vertex set for G and S The classcal Feedback Vertex Set (FVS) problem s a specal case of the subset feedback vertex set problem wth S = V Note that a mnmum weght subset feedback vertex set s dependent on the weghts of the vertces, whereas a mnmal subset feedback vertex set s 3

4 only dependent on the vertces and not ther weghts Clearly, both n the weghted and the unweghted versons, a mnmum subset feedback vertex set must be mnmal An nduced cycle of G s called S-cycle f a vertex of S s contaned n the cycle We defne an S-forest of G to be a vertex set Y V such that no cycle n G[Y ] s an S-cycle An S-forest Y s maxmal f no proper superset of Y s an S-forest Observe that X s a mnmal subset feedback vertex set f and only f Y = V \ X s a maxmal S-forest Thus, the problem of computng a mnmum weghted subset feedback vertex set s equvalent to the problem of computng a maxmum weghted S-forest Let us denote by F S the class of S-forests In such terms, gven the graph G and the subset S of V, we are nterested n fndng a max w {Y V G[Y ] F S, where max w selects a vertex set havng the maxmum sum of ts weghts 3 Computng SFVS on nterval graphs and crcular-arc graphs Here we present a polynomal-tme algorthm for the SFVS problem on nterval graphs A graph s an nterval graph f there s a becton between ts vertces and a famly of closed ntervals of the real lne such that two vertces are adjacent f and only f the two correspondng ntervals overlap Such a becton s called an nterval representaton of the graph, denoted by I Notce that every nduced subgraph of an nterval graph s an nterval graph Hereafter we assume that the nput graph s connected; otherwse, we apply the descrbed algorthm n each connected component and take the overall soluton as the unon of the sub-solutons As already mentoned, nstead of fndng a subset feedback vertex set X of mnmum weght of (G, S) we concentrate on the equvalent problem of fndng a maxmum weghted S-forest Y of (G, S) We frst defne the necessary vertex sets Let G be a weghted nterval graph and let I be ts nterval representaton The left and rght endponts of an nterval, 1 n, are denoted by l() and r(), respectvely Each nterval s labeled from 1 to n accordng to ther ascendng r() For techncal reasons of our algorthm, we add an nterval wth label 0 that does not belong to S, has negatve weght, and augment I to I + by settng l(0) = 1 and r(0) = 0 Notce that nterval 0 s non-adjacent to any vertex of G Clearly f Y s a maxmum weghted S-forest for G[I + ] then Y \ {0 s a maxmum weghted S-forest for G[I] Moreover t s known that any nduced cycle of an nterval graph s an nduced trangle [24, 27] We consder the two relatons on V that are defned by the endponts of the ntervals as follows: l j l() l(j) r j r() r(j) Snce all endponts of the collecton s ntervals are dstnct, t s not dffcult to show that l and r are total orders on V We wrte l- mn to denote the nterval havng the mnmum left-endpont among ts operands wth respect to l ; and we wrte r- max to denote the nterval havng the maxmum rght-endpont among ts operands wth respect to r We defne two dfferent types of predecessors of an nterval wth respect to r, whch correspond to the subproblems that our dynamc programmng algorthm wants to solve Let V \{0 Then < = def r- max{h V : h < r and = def r- max{h V : h < r and {h, / E Moreover for a vertex V we let V = def {h V : h r Observe that for two vertces, x V wth r() < r(x), x V \ V An example of nterval graph wth the gven notaton of V s gven n Fgure 2 4

5 a b e c d f g V e = {a, b, c, d, e V <e = {a, b, c, d V e = V f = {a, b, c, d, e, f V <f = {a, b, c, d, e V f = {a, b, c Fgure 2: An nterval graph gven by ts nterval representaton and the correspondng sets of V e and V f Observe that <f = e whereas f = c Also notce that the ntervals that are properly contaned wthn the gray area form the set V e Observaton 31 Let V \ {0 and let j V \ V such that {, j E Then, (1) V = V < { and (2) V < = V j {h V < : {h, j E Proof The frst statement follows by the defntons of V and < For the second statement observe that V < can be parttoned nto the non-neghbors of j n V < and the neghbors of j n V < The frst set corresponds to V j whereas the second set s exactly the set {h V < : {h, j E Now we defne the sets that our dynamc programmng algorthm uses n order to compute the S-forest-nducng vertex set of G that has maxmum weght Defnton 32 (A-sets) Let V Then, A = def max w {X V : G[X] F S Defnton 33 (B-sets) Let V and let x V \ V Then, B x = def max w {X V : G[X {x] F S Defnton 34 (C-sets) Let V and let x, y V \ (V S) such that x < l y and {x, y E Then, C x,y = def max {X V : G[X {x, y] F S w Snce V 0 = {0 and w(0) 0, A 0 = and, snce V n = V, A n = max w {X V : G[X] F S The followng lemmas state how to recursvely compute all A-sets, B-sets and C-sets besdes A 0 Lemma 35 Let V \ {0 Then A = max w { A<, B < { Proof By Observaton 31 (1), V = V < { There are two cases to consder for V \{0: ether / A or A In the former we have A = A <, whereas n the latter cannot nduce an S-cycle n B < by defnton, whch mples that A = B < { For a set of vertces L V, the leftmost vertex s the vertex of L havng the mnmum left endpont That s, the leftmost vertex of L s the vertex x such that x = l- mn{l Lemma 36 Let V and let x V \ V Moreover, let x be the leftmost vertex of {, x and let y be the vertex of {, x \ {x (1) If {, x / E, then B x = A 5

6 (2) If {, x E, then B x = max w { B x <, Bx max w { B x <, Cx,y < { y {, f S or x S, f, x / S Proof Assume frst that {, x / E Then r() < l(x), so that x has no neghbour n G[V {x] Thus no subset of V {x contanng x nduces an S-cycle of G By Defntons 32 and 33, t follows that B x = A Next assume that {, x E If / B x then accordng to Observaton 31 (1) t follows that B x = B< x So let us assume n what follows that Bx Observe that Bx \ { V <, by Observaton 31 (1) We dstngush two cases accordng to whether or x belong to S Let S or x S Assume there s a vertex h B x \ { such that {h, y E Then we know that l(y ) < r(h) and by defnton we have l(x ) < l(y ) and r(h) < r(x ) Ths partcularly means that h s adjacent to x Ths however leads to a contradcton snce h, x, y s an nduced S-trangle of G Thus for any vertex h B x \ { we know that {h, y / E By Observaton 31 (2) notce that B x \ { V y Also observe that the neghbourhood of y n G[V y {x, y ] s {x Thus no subset of V y {x, y that contans y nduces an S-cycle of G Therefore B x = B y x { Let, x / S By the fact V = V < { and snce x < l y we get B x = C x,y < { Therefore n all cases we reach the desred equatons Lemma 37 Let V and let x, y V \(V S) such that x < l y and {x, y E Moreover, let x be the leftmost vertex of {, x, y and let y be the vertex of {, x, y \ {x 1 If {, y / E, then C x,y = B x { C x,y 2 If {, y E, then C x,y <, f S = { max w C x,y <,,y Cx < {, f / S Proof Assume frst that {, y / E Then r(), l(x) < l(y) < r(x), so that the neghbourhood of y n G[V {x, y] s {x Thus no subset of V {x, y that contans y nduces an S-cycle of G By Defntons 33 and 34, t follows that C x,y = B x Assume next that {, y E Then l(x) < l(y) < r() < r(x), r(y), so that, x, y s an nduced trangle of G If / C x,y then by Observaton 31 (1) we have C x,y = C x,y < Suppose that C x,y If S then, x, y s an nduced S-trangle of G, contradctng the fact that C x,y By defnton observe that x, y C x,y whch means that also x / S and y / S Hence C x,y mples that S {, x, y = We wll show that under the assumptons {, y E and C x,y, we have C x,y = C x,y < { Notce that C x,y \ { V < whch means that every soluton of C x,y s a soluton of C x,y < { To complete the proof we show that every soluton of C x,y < { s ndeed a soluton of C x,y Let z be the vertex of {, x, y \ {x, y Observe that by the leftmost orderng we have l(x ) < l(y ) < l(z ) We consder the graph G < nduced by the vertces of V < {x, y, z Assume for contradcton that an S-trangle of G < s not an S-trangle n C x,y Every S-trangle that contans x or y of G < remans an S-trangle n C x,y Thus z must be contaned n such an S-trangle of G < Let v 1, v 2, z be an nduced S-trangle of G <, where v 1, v 2 V < Snce x, y, z / S, wthout loss of generalty, assume that v 1 S The S-trangle of G < mples that l(z ) < r(v 1 ) By the fact that v 1 V < we have r(v 1 ) < r(x ), r(y ), r(z ) Snce l(x ) < l(y ) < l(z ) the prevous nequaltes mply that {v 1, x, {v 1, y E Thus v 1, x, y s an nduced S-trangle n C x,y contradcton Therefore C x,y = C x,y < { as desred, leadng to a 6

7 Now we are equpped wth our necessary tools to obtan the man result of ths secton, namely a polynomal-tme algorthm for SFVS on nterval graphs Theorem 38 Subset Feedback Vertex Set can be solved n O(n 3 ) tme on nterval graphs Proof We brefly descrbe such an algorthm based on Lemmas 35, 36, and 37 In a preprocessng step we compute < and for each nterval V \ {0 We scan all ntervals from 0 to n n an ascendng order wth respect to < l For every nterval that we vst, we compute frst A accordng to Lemma 35 and then compute B x and C x,y for every x, y such that l() < l(x) < l(y) accordng to Lemmas 36 and 37, respectvely At the end we output A n as already explaned The correctness of the algorthm follows from Lemmas Regardng the runnng tme, notce that computng < and can be done n O(n) tme snce the ntervals are sorted wth respect to ther end-ponts The computaton of a sngle A-set, B-set or C-set takes constant tme Therefore the overall runnng tme of the algorthm s O(n 3 ) We wll show that the prevous algorthm can be polynomally appled for a superclass of nterval graphs, namely to that of crcular-arc graphs A graph s called crcular-arc f t s the ntersecton graph of arcs of a crcle Every vertex s represented by an arc, such that two vertces are adjacent f and only f the correspondng arcs ntersect The famly of arcs correspondng to the vertces of the graph consttute a crcular-arc model Theorem 39 Subset Feedback Vertex Set can be solved n O(n 4 ) tme on crcular-arc graphs Proof Let G be the nput crcular-arc graph and let S V If G s an nterval graph then we run the algorthm gven n Theorem 38 Otherwse n any crcular-arc model the whole crcle s covered by arcs Let the set of n arcs of the crcle have arc end-ponts 1,, 2n We denote by A the set of arcs contanng pont By the crcular-arc model notce that for each the graph G A s an nterval graph Moreover notce that the subgraph nduced by A s a clque and, thus, an nterval graph Our algorthm proceeds n two phases Frst t chooses all 2n ponts and for each removes all arcs contanng t Then we run the nterval graph algorthm on the remanng graph wthout the arcs of the pont More formally, for each pont let X be a maxmum S-forest of G A Observe that X can be computed by the nterval algorthm At the end we choose the maxmum weghted set among all X for each pont Ths consttutes the frst phase of our algorthm Concernng ts correctness, recall that the whole crcle s covered by arcs Let C be the famly of mnmal set of arcs that cover the whole crcle For any set C C observe that G[C] s a cycle Assume frst that there s an S-cycle C S C Then we must remove for some pont of the crcle all arcs contanng t Thus f there s an S-cycle C S C then there s a pont such that the set X s a maxmum S-forest In what follows we assume that there s no S-cycle n C Consder an S-cycle C S n G We show next that C S A, for some pont Suppose for contradcton that the S-cycle C S A Choose an approprate A such that s A S Then there s a neghbour x of s that belongs to C S such that x / A Let y be the other neghbour of s n the S-cycle C S If x and y are adjacent then {x, y, s nduce an S-trangle and there s a pont such that {x, y, s A Otherwse, there s a path between x and y because of the S-cycle C S Such a path s contaned n the graph G A so that there s a cycle C S C, leadng to a contradcton Therefore such an S-cycle s completely contaned n some A 7

8 A j s j s j+1 y j y j+1 Fgure 3: A crcular-arc graph gven by ts crcular-arc model consdered n the proof of Theorem 39 At the second phase we remove any vertex that s non-adjacent to an S-vertex Let N S be the vertces that are non-adjacent to any S-vertex In any soluton X of the graph G N S we can safely add the vertces of N S Ths s because no vertex of N S partcpates n any S-cycle C S of G, snce C S A for some pont If the graph G N S s an nterval graph then we run the nterval algorthm gven n Theorem 38 Otherwse, we wll show that there s an edge e n G N S such that () no S-cycle of G N S passes through e and () the graph obtaned from G N S by removng e s an nterval graph Snce G N S s a crcular-arc graph but not an nterval graph, C s non-empty Let y 1, y 2,, y k be a chordless cycle of C wth k 4 For every two adjacent vertces y j, y j+1 of the cycle there s a pont j such that y j, y j+1 A j, y j / A j+1, and y j+1 / A j 1 Fgure 3 shows the correspondng stuaton Then observe that A j S =, snce for any vertex x A j S we have an S-cycle y 1,, y j, x, y j+1,, y k n C Let s j and s j+1 be the frst counterclockwse and clockwse arcs, respectvely, that belong to S startng at pont j It s clear that y j s adjacent to s j and y j+1 s adjacent to s j+1 If y j s also adjacent to s j+1 then y 1,, y j, s j+1, y j+1,, y k s an S-cycle n C Thus y j s adjacent to s j and non-adjacent to s j+1 whereas y j+1 s adjacent to s j+1 and non-adjacent to s j Next we show that A j = {y j, y j+1 Let x A j \ {y j, y j+1 Snce every vertex of G N S s adjacent to at least one vertex of S, x s adjacent to s j or s j+1 If x s adjacent to s j then there s an S-cycle y 1,, y j, s j, x, y j+1,, y k n C The symmetrc S-cycle occurs whenever x s adjacent to s j+1 Thus n all cases we reach a contradcton so that A j = {y j, y j+1 Ths shows that f we remove the edge e = {y j, y j+1 from G N S then we get an nterval graph by the crcular-arc model of G N S Moreover no S-cycle passes through the edge e = {y j, y j+1 as then we would have an S-cycle n C Hence by Theorem 38 we run the algorthm on the graph obtaned from G N S by removng the edge e and compute a soluton X Therefore X N S e s a soluton of the orgnal graph G Regardng the runnng tme the most tme consumng s the frst phase of our algorthm n whch we need to run for every pont the nterval algorthm Observe that there are at most 2n ponts and for each we need to run the O(n 3 ) nterval algorthm Therefore the total runnng tme of our algorthm s O(n 4 ) 4 Computng SFVS on permutaton graphs Let π = π(1),, π(n) be a permutaton over {1,, n, that s a becton between {1,, n and {1,, n The poston of an nteger n π s denoted by π 1 () Gven a permutaton π, the nverson graph of π, denoted by G(π), has vertex set {1,, n and two vertces, j are adjacent f ( j)(π() π(j)) < 0 A graph s a permutaton graph f t s somorphc to the nverson graph of a permutaton [6, 19] For our purposes, we assume that a permutaton 8

9 graph s gven as a permutaton π and equal to the defned nverson graph Permutaton graphs also have an nterestng geometrc ntersecton model: they are the ntersecton graphs of segments between two horzontal parallel lnes, that s, there s a one-to-one mappng from the segments onto the vertces of a graph such that there s an edge between two vertces of the graph f and only f ther correspondng segments ntersect We refer to the two horzontal lnes as top and bottom lnes Ths representaton s called a permutaton dagram and a graph s a permutaton graph f and only f t has a permutaton dagram It s mportant to note that every nduced subgraph of a permutaton graph s a permutaton graph Every permutaton graph wth permutaton π has a permutaton dagram n whch the endponts of the lne segments on the bottom lne appear n the same order as they appear n π We assume that we are gven a connected permutaton graph G = (V, E) such that G = G(π) along wth a vertex set S V and a weght functon w : V R + as nput We add an solated vertex n G and augment π to π as follows: π = {0 π wth π (0) = 0 Further we assgn a negatve value for 0 s weght and assume that 0 / S It s mportant to note that any nduced cycle of a permutaton graph s ether an nduced trangle or an nduced square [4, 3, 5, 22, 27] We consder the two relatons on V defned as follows: t j f and only f j and b j f and only f π 1 () π 1 (j) for all, j V {0 It s not dffcult to see that both t and b are total orders on V ; they are exactly the orders n whch the ntegers appear on the top and bottom lne, respectvely, n the permutaton dagram Moreover we wrte < t j or < b j f and only f j and t j or b j, respectvely We extend t and b to support sets of vertces as follows For two sets of vertces L and R we wrte L t R (resp, L b R) f for any two vertces u L and v R, u t v (resp, u b v) Let G = def G(π) be a permutaton graph Two vertces, j {0, 1,, n wth t j are called crossng par, denoted by, f j b We denote by X the set of crossng pars n G Observe that a crossng par wth j corresponds to an edge of G In order to dstngush the edges of G wth the crossng pars of the form we let I = { {1,, n, so that X \ I contans exactly the edges of G Gven two crossng pars gh, X we defne two partal orderngs: gh l g t and h b j gh r g b and h t j As n the case for nterval graphs, we wrte l- mn to denote the crossng par wth the mnmum top and bottom ntegers wth respect to l ; and we wrte r- max to denote the crossng par wth the maxmum top and bottom ntegers wth respect to r Our dynamc programmng algorthm terates on ordered crossng vertex pars We next defne the predecessors of a crossng par wth respect to r, whch correspond to the subproblems that our dynamc programmng algorthm wants to solve Let X \ {00 be a crossng par We defne the set of vertces that nduce the part of the subproblem that we consder at each crossng par as follows: V = def {h V : hh r Let x be a vertex such that < b x or j < t x By defnton notce that x does not belong n V The predecessors of the crossng par are defned as follows: = def r- max{gh X : gh r and h j, = def r- max{gh X : gh r and g, < = def r- max{gh X : gh < r, = def r- max{gh X : gh < r and {g,, {g, j, {h,, {h, j / E, and < xx = def r- max{gh X : gh < r and {g, x, {h, x / E 9

10 a b b h c f d c e a f g g d h e dg = df dg = gg <dg = af dg = ac <dg hh = bb V dg = {a, b, c, d, f, g V dg = {a, b, c, d, f V dg = {a, b, c, f, g V <dg = {a, b, c, f V dg = {a, b, c Fgure 4: A permutaton graph gven by ts permutaton dagram and the set V dg of the crossng par dg together wth the correspondng predecessors of dg Observe that the lne segments that are properly contaned wthn the gray area form the set V dg Although t seems somehow awkward to use one the symbols {,, <,, < for the defned predecessors, we stress that such predecessors are requred only to descrbe the necessary subset V gh of V Moreover t s not dffcult to see that each of the symbol gravtates towards a partcular meanng wth respect to the top and bottom orderngs as well as the non-adjacency relatonshp An example of a permutaton graph that llustrates the defned predecessors s gven n Fgure 4 Wth the above defned predecessors of, we show how the set V can be parttoned nto smaller sets of vertces wth respect to a sutable predecessor Observaton 41 Let X and let x V \ V Then, (1) V = V {j = V { = V < {, j, (2) V < = V jj {h V < : {h, j E = V {h V < : {h, E, (3) V = V {h V : {h, j E, (4) V jj = V {h V jj : {h, E, and (5) V < = V < xx {h V < : {h, x E Proof Let 1 be the predecessor By the r- max choce of j 1, there s no vertex j such that j 1 < t j < t j Thus V 1 {j s the set V The rest of the equaltes n the frst statement follow n a smlar way Let 1 j 1 be the predecessor jj Then both 1 and j 1 are non-adjacent to j and have the maxmum values such that 1 < b j and j 1 < t j, respectvely Ths partcularly means that 1 < t j 1 < t j and j 1 < b 1 < b j Thus any vertex V \ {, j wth j 1 < t < t j or 1 < b < b j must be adjacent to j whch mples that V < \ V jj contans exactly the neghbours of j n V < These arguments mply the second, thrd, and fourth statements For the last statement, notce that V < can be parttoned nto the neghbours and the non-neghbours of x By defnton V < xx contans the non-neghbours of x so that every vertex of V < \ V < xx s adjacent to x It s clear that for any edge {, j E ether < t j and j < b hold, or j < t and < b j hold If further X \ I, s a crossng par then we know that < t j and j < b Next we defne the sets that our dynamc programmng algorthm computes n order to compute the nduced S-forest vertex set of G that has maxmum weght Our man dea reles on the smlar sets that we used for the dynamc programmng of nterval graphs That s, we need to descrbe approprate sets that defne the solutons to be chosen only from a specfc part of the consdered subproblem Although for nterval graphs we showed that addng two vertces nto such sets s enough, for permutaton graphs we need to consder at most two newly crossng pars whch corresponds to consder at most four newly vertces 10

11 Moreover as a crossng par may belong to I we are enforced to descrbe such a stuaton nto two dfferent sets for each subproblem Defnton 42 (A-sets) Let X Then, A = def max w {X V : G[X] F S Defnton 43 (B-sets) Let X and let x V \ V Then, B xx = def max w {X V : G[X {x] F S Defnton 44 (B-sets) Let X and xy X \ I such that j < t y, < b x, and x, y / S Then, B xy = def max {X V : G[X {x, y] F S w Defnton 45 (C-sets) Let X, xy X \ I, and z V \ (V \ {x, y) such that xy < l zz, at least one of x, y s adjacent to z, j < t y, < b x, and x, y, z / S Then, C xy,zz = def max w {X V : G[X {x, y, z] F S Defnton 46 (C-sets) Let X and xy, zw X \I such that xy < l zw, {x, w, {y, z E, j < t {y, w, < b {x, z, and x, y, z, w / S Then, C xy,zw = def max w {X V : G[X {x, y, z, w] F S Observe that, snce V 00 = {0 and w(0) 0, A 00 = and, snce V π(n)n = V, A π(n)n = max w {X V : G[X] F S The followng lemmas state how to recursvely compute all A-sets, B-sets, and C-sets other than A 00 Because every crossng par mght be of the form we frst consder the sets A, B xx, Bxy, Cxy,zz Lemma 47 Let V \ {0 Then A = A < {, and C xy,zw Proof By Observaton 41 (1) we have A < { A Also notce that the neghbourhood of n G[V ] s Thus no subset of V that contans nduces an S-cycle n G, so that A Therefore A = A < { Lemma 48 Let V and let x V \ V 1 If {, x / E then B xx = A 2 If {, x E then B xx = B xx < { Proof Assume frst that {, x / E Snce x V \ V we know that < t x or < b x Moreover as {, x / E we have < t x and < b x Then x has no neghbour n G[V {x] Thus no subset of V {x that contans x nduces an S-cycle n G Hence B xx = A follows Next assume that {, x E Then the neghbourhood of n G[V {x] s {x Ths means that no subset of V {x that contans nduces an S-cycle n G, so that B xx By Observaton 41 (1) t follows that B xx = B< xx { Lemma 49 Let V and let xy X \ I such that < t y, < b x, and x, y / S 1 If {, y / E then B xy 2 If {, x / E then B xy = B xx = B yy 11

12 3 If {, x, {, y E then B xy = { B xy < B xy <, f S {, f / S Proof By < t y, < b x, and the fact that xy s a crossng par, we have {x, < t y and {y, < b x Assume frst that s non-adjacent to at least one of x and y Let {, y / E Then {, x < t y and < b y < b x, so that the neghbourhood of y n G[V {x, y] s {x Thus no subset of V {x, y that contans y nduces an S-cycle of G whch mples that B xy = B xx Completely symmetrc arguments apply f {, x / E showng the second statement Next assume that {, x, {, y E Then x < t < t y and y < b < b x, so that the neghbourhood of n G[X {x, y] s {x, y We dstngush two cases accordng to whether belongs to S Suppose that S Then, x, y s an nduced S-trangle of G, so that / B xy Thus by Observaton 41 (1), Bxy = B xy < holds f S Suppose next that / S We wll show that no subset of V {x, y that contans nduces an S-cycle of G Recall that s non-adjacent to any vertex of V and the only nduced cycles of a permutaton graph s ether a trangle or a square Assume that v 1, v 2, s an nduced S-trangle of G where v 1, v 2 V < {x, y Then {v 1, v 2 = {x, y leadng to a contradcton, because, x, y / S So let us assume that v 1, v 2, v 3, s an nduced S-square of G where v 1, v 2, v 3 V < {x, y By the fact that only adjacent to x and y n G[V {x, y] we have that v 1, v 3 correspond to the vertces x and y Ths however leads to a contradcton snce {x, y E and {v 1, v 3 / E by the nduced S-square Therefore no subset of V {x, y that contans nduces an S-cycle of G, so that B xy By Observaton 41 (1) B xy = B xy < { holds and ths completes the proof Lemma 410 Let V, xy X \ I, and let z V \ (V \ {x, y) such that xy < l zz, at least one of x, y s adjacent to z, < t y, < b x, and x, y, z / S 1 If {, z / E then C xy,zz 2 If {, z E then C xy,zz = = B xy { C xy,zz <, f S C xy,zz < {, f / S Proof Snce z V \ (V \ {x, y), we have < t z or < b z Assume frst that {, z / E Observe that ths means that < t z and < b z Then z s non-adjacent to any vertex of V so that the neghborhood of z n G[V {x, y, z] s a subset of {x, y Snce x, y, z / S, no subset of V {x, y, z that contans z nduces an S-cycle n G Thus C xy,zz = B xy Assume next that {, z E Ths means that ether < t z and z < b hold, or z < t and < b z hold Snce < t y and < b x, we get ether < t {y, z and z < b < b x, or z < t < t y and < b {x, z Moreover snce xy s a crossng par and xy < l zz, exactly one of followng holds: {, x < t {y, z and y < b z < b < b x; x < t z < t < t y and {, y < b {x, z Ths means that y, z N() and x s adjacent to z, or x, z N() and y s adjacent to z We dstngush two cases dependng on whether belongs to S Let S We wll show that / C xy,zz If both x and y are adjacent to then, x, y s an nduced S-trangle n G Thus ether y, z N() and x s adjacent to z, or x, z N() and y s adjacent to z Assume the former, that s, y, z N(), x / N(), and x s adjacent to z If {y, z E then, y, z s an nduced S-trangle and f {y, z / E then, y, x, z s an nduced S-square Smlarly f x, z N(), y / N(), and y s adjacent to z we obtan an nduced S-cycle n G Therefore n all cases / C xy,zz and by Observaton 41 (1) we get C xy,zz = C xy,zz < 12

13 Let / S We wll show that C xy,zz Assume for contradcton that there s an nduced S-trangle v 1, v 2, or S-square v 1, v 2, v 3, n G where v 1, v 2, v 3 V < {x, y, z Notce that N() V < = so that {v 1, v 2 {x, y, z or {v 1, v 3 {x, y, z, respectvely In the former case we reach a contradcton because, x, y, z / S In the latter case for the same reason notce that v 2 S whch mples that v 2 V < If {v 1, v 3 = {x, y then we reach a contradcton to the S-square v 1, v 2, v 3, because {x, y E Thus {v 1, v 3 = {y, z or {v 1, v 3 = {x, z Wthout loss of generalty assume that {v 1, v 3 = {y, z Then {y, z / E, for otherwse we reach agan a contradcton to the gven S-square Observe that {y, z / E mples that {x, z E by the hypothess for z Ths however shows that y, v 2, x or y, v 2, z, x nduce an S-trangle or an S-square of G wthout dependng on whether x s adjacent to v 2, so that v 2 / C xy,zz Therefore n all cases we reach a contradcton whch means that C xy,zz and by Observaton 41 (1), C xy,zz = C xy,zz < { holds In each case we have showed the descrbed equatons and ths completes the proof Lemma 411 Let V and let xy, zw X \ I such that xy < l zw, {x, w, {y, z E, < t {y, w, < b {x, z, and x, y, z, w / S 1 If {, w / E then C xy,zw 2 If {, z / E then C xy,zw = C xy,zz = C xy,ww 3 If {, z, {, w E then C xy,zw = { C xy,zw <, f S C xy,zw < {, f / S Proof Observe that x, y, z, w V \V because < t {y, w and < b {x, z Assume frst that {, w / E Snce < t w and < b w, w has no neghbour n V Thus the neghbourhood of w n G[V {x, y, z, w] s a subset of {x, y, z We wll show that w / C xy,zw Assume that a subset of V {x, y, z, w that contans w nduces an S-cycle n G If v 1, v 2, w s an nduced S-trangle of G then {v 1, v 2 {x, y, z whch leads to a contradcton, because x, y, z, w / S Suppose that v 1, v 2, v 3, w s an nduced S-square of G Then {v 1, v 3 {x, y, z and, snce x, y, z, w / S we know that v 2 S and v 2 V Assume that {v 1, v 3 = {x, y or {v 1, v 3 = {y, z Then we reach a contradcton to the nduced S-square, because {x, y, {y, z E Assume that {v 1, v 3 = {x, z If {x, z E then v 1, v 2, v 3, w does not nduce an S- square If {x, z / E then x, v 2, y or x, v 2, z, y nduce an S-trangle or an S-square n G whch reach to a contradcton to v 2 / C xy,zz Therefore, f a subset of V {x, y, z, w that contans w nduces an S-cycle of G, then ts non-empty ntersecton wth V s not a subset of C xy,zz whch mples that C xy,zw = C xy,zz The case for {, z / E s completely symmetrc showng the second statement Let {, z, {, w E Then ether < t {z, w and {z, w < b, or {z, w < t and < b {z, w Snce xy < l zw, < t {y, w, and < b {x, z, the followng hold: x < t z < t < t {y, w and y < b w < b < b {x, z Thus the neghborhood of n G[V {x, y, z, w] s {x, y, z, w Assume that S Then, x, y s an S-trangle of G whch mples / C xy,zw By Observaton 41 (1) we get C xy,zw = C xy,zw < Let us assume that / S We wll show that f a subset of V {x, y, z, w that contans nduces an S-cycle of G, then ts non-empty ntersecton wth V < s not a subset of C xy,zw 13

14 Let v 1, v 2 V < {x, y, z, w such that v 1, v 2, s an nduced S-trangle of G Then {v 1, v 2 {x, y, z, w, a contradcton, because, x, y, z, w / S Let v 1, v 2, v 3 V < {x, y, z, w such that v 1, v 2, v 3, s an nduced S-square of G Then {v 1, v 3 {x, y, z, w and, snce, x, y, z, w / S, v 2 S Thus v 2 V < Because v 1, v 3 are non-adjacent, we have {v 1, v 3 = {x, z or {v 1, v 3 = {y, w In both cases we reach a contradcton snce x, v 2, z, y or y, v 2, w, z nduce S-squares n G Thus f / S then C xy,zw Therefore by Observaton 41 (1) we obtan C xy,zw { C xy,zw < = Based on Lemmas , for each crossng par of the form we can descrbe ts subsoluton by usng approprate formulatons of the A-, B-, or C-sets In the forthcomng lemmas we gve the recursve formulatons for the sets A, B xx, Bxy, Cxy,zz, and C xy,zw whenever X \ I whch partcularly means that and j are dstnct vertces n G Lemma 412 Let X \ I Then, A = { max w A, A, B jj {, j, Bjj {, j, f S or j S max w { A, A, B < {, j, f, j / S Proof Let j / A Then by Observaton 41 (1) t follows that A = A Smlarly f / A then A = A For the rest of the proof we assume that, j A Notce that by Observaton 41 (1) we have A \ {, j V < We dstngush two cases accordng to whether or j belong to S Assume that, j / S Then A = B descrpton n the formula < {, j holds whch completes the second Assume that S or j S Let h A \ {, j such that {h,, {h, j E Then h,, j s an nduced S-trangle n G, resultng a contradcton to, j A Thus for every h A \ {, j we know that {h, / E or {h, j / E Let g, h A \ {, j such that {g, j, {h, E and {g,, {h, j / E Observe that {g, h < b and {g, h < t j Snce s a crossng par we know that < t j and j < b If < t g or j < b h then g s adjacent to or h s adjacent to j, leadng to a contradcton Thu g < t < t h and h < b j < b g hold whch mply that {g, h E Hence g, h,, j s an nduced S-square n G, a contradcton Ths means that all vertces of A \ {, j are non-adjacent to or j or both Then by Observaton 41 (2) t follows that ether A \ {, j V jj or A \ {, j V Suppose that the former holds, that s A \ {, j V jj The neghborhood of j n G[V jj {, j] s { Thus no subset of V jj {, j that contans j nduces an S-cycle n G Ths means that A = B jj {, j as descrbed n the frst descrpton n the gven formula If A \ {, j V then completely symmetrc we have A = {, j B jj Therefore the correspondng formulas gven n the statement follow Wth the next two lemmas we descrbe recursvely the sets B xx and B xy Gven a set of vertces L V we defne the followng crossng par The leftmost crossng par of L s the crossng par x y X \ I wth x, y L such that for any z w X \ I wth z, w L, x y l z w holds Lemma 413 Let X \ I and let x V \ V Moreover let x y be the leftmost crossng par of {, j, x and let z be the vertex of {, j, x \ {x, y 14

15 1 If {, x, {j, x / E then B xx = A 2 If {, x E and {j, x / E then max w {B xx, Bxx, B jj {, j, Bjj x {, j, f S or j S B xx = max w {B xx, Bxx, B < xx {, j, f, j / S and x S max w {B xx, Bxx, y,z z Cx < {, j, f, j, x / S 3 If {, x / E and {j, x E then max w {B xx, Bxx, B xj {, j, Bjj {, j, f S or j S B xx = max w {B xx, Bxx, B < xx {, j, f, j / S and x S max w {B xx, Bxx, y,z z Cx < {, j, f, j, x / S 4 If {, x, {j, x E then B xx = max w {B xx, Bxx, f S or j S or x S, f, j, x / S max w {B xx, Bxx, y,z z Cx < {, j Proof Let us assume frst that {, x, {j, x / E Snce < t j, j < b, and x V \ V, we know that < t j < t x and j < b < b x Thus the neghborhood of x n G[V {x] s Hence no subset of V {x that contans x nduces an S-cycle of G and t follows that B xx = A as descrbed n the frst statement Assume next that {, x E or {j, x E Let j / B xx By Observaton 41 (1) we get B xx = B xx Smlarly, f / Bxx then B xx = B xx So suppose next that, j Bxx Notce \ {, j V < by Observaton 41 (1) We dstngush the followng cases that B xx Assume that {, x E and {j, x / E Snce x / V, j < t x or < b x If < b x then x < t as {, x E but then x < t j and j < b < b x so that {j, x E, leadng to a contradcton Thus j < t x holds Snce {, x E and {j, x / E, we have j < b < x < b and < t < j < t x We further reduce to the stuatons dependng on whether, j, x belong to S Let S or j S Let h B xx \ {, j such that {h,, {h, j E Then h,, j s an nduced S-trangle n G, a contradcton So {h, / E or {h, j / E for every h B xx \ {, j Let g, h B xx \ {, j such that {g, j, {h, E Snce {g, h < b and {g, h < t j by the choce of g, h B, t follows that g < t < t h and h < b j < b g Thus {g, h E Ths however results n an nduced S-square g, h,, j n G Ths means that for every h B xx \ {, j ether {h, / E or {h, j / E By Observaton 41 (2) t follows that ether B xx \ {, j V jj or B xx \ {, j V In the former case notce that both j and x n G[V jj {, j, x] are adjacent only to Thus no subset of V jj {, j, x that contans j or x nduces an S-cycle of G so that B xx = B jj {, j as descrbed In the latter case we have B xx \ {, j V Let h B xx \ {, j We show that {h, x / E Assume for contradcton that {h, x E Ths means that ether h < t x and x < b h, or x < t h and h < b x Observe that h < t j and h < b Snce j < b < x < b and < t < j < t x, we get the followng: 15

16 h < t < t j < t x and j < b x < b h < b Thus {h, j E Ths however shows that h, j,, x s an nduced S-square n G, leadng to a contradcton Thus {h, x / E for every h B xx \ {, j Then by Observaton 41 (3) t follows that B xx \ {, j V x Ths means that and x are only adjacent to j n G[V x {, j, x] Hence no subset of V x {, j, x that contans or x nduces an S-cycle n G, so that B xx = B jj x {, j as descrbed Let, j / S and x S Let h B xx \ {, j We show that {h, x / E Assume for contradcton that {h, x E Then ether h < t x and x < b h hold, or x < t h and h < b x hold Snce {, x E, {j, x / E, and s a crossng par, we have {h, < t j < t x and j < b x < b h < b mplyng that {h, j E If {h, E then h,, j s an nduced S-trangle whereas f {h, / E then h, j,, x s an nduced S-square Thus we reach a contradcton so that {h, x / E Then by Observaton 41 (5) we get B xx B < xx {, j, as descrbed Let, j, x / S By the fact B xx = \ {, j V <, we have B xx = B x y,z z < {, j Assume that {, x / E and {j, x E Ths case s symmetrc to the one above, so that the followng hold: If S or j S then ether B xx If x S then B xx = B xj = B < xx {, j If, j, x / S then B xx = B x y,z z < {, j or Bxx = B jj {, j Assume that both {, x, {j, x E Then no vertex of {, x, y can belong to S as, j, x s an nduced trangle n G Snce B xx \ {, j V <, we get B xx = {, j B x y,z z < Therefore every case results n the descrbed statement of the formulas as requred Let, xy X \ I such that j < t y and < b x It s not dffcult to see that f we remove any crossng par uv from {, j, x, y then the remanng set contans exactly two vertces that are adjacent Lemma 414 Let, xy X \ I such that j < t y, < b x and x, y / S Moreover let x y be the leftmost crossng par of {, j, x, y and let z w be the crossng par of {, j, x, y\{x, y 1 If {, y / E then B xy 2 If {j, x / E then B xy 3 If {, y, {j, x E then B xy = = B xx = B yy { max w B xy, Bxy, f S or j S { max w B xy, Bxy, y,z w Cx < {, j, f, j / S Proof Assume that {, y / E Then < b y snce < t x < t y Thus < t j, {j, x < t y, and 16

17 B xy j < b < b y < b x, so that the neghborhood of y n G[V {x, y] s {x Thus no subset of V {x, y that contans y nduces an S-cycle n G Therefore B xy = B xx as descrbed If {j, x / E then s non-adjacent to x and smlar to the prevous case we obtan B xy = B yy Assume that {, y, {j, x E We dstngush cases dependng on whether or j belong to the soluton Assume frst that at least one of or j does not belong to B xy Let j / Bxy By Observaton 41 (1) we have B xy = B xy If / Bxy then n a smlar fashon we get = B xy Next assume that, j B xy Notce that by Observaton 41 (1), we have Bxy \ {, j V < Let us show that both and j do not belong to S If {, x E or {j, y E then, x, y or j, x, y nduce a trangle n G, snce {, y, {j, x E Otherwse, {, x, {j, y / E, so that, j, x, y s an nduced square n G Thus n any case there s an S-cycle n G whenever S or j S whch lead to a contradcton to the fact, j B xy Snce B xy C xy,zz \ {, j V <, t follows B xy = C x y,z w < {, j as requred Hence, j / S Wth the followng two lemmas we consder the last two cases that correspond to the sets and C xy,zw, respectvely Lemma 415 Let, xy X \ I and let z V \ V such that xy < l zz, at least one of x, y s adjacent to z, j < t y, < b x, and x, y, z / S Moreover let x y be the leftmost crossng par of {, j, x, y, z and let z w be the leftmost crossng par of {, j, x, y, z \ {x, y 1 If {, z, {j, z / E then C xy,zz 2 If {, z E or {j, z E then { C xy,zz max w = { max w C xy,zz C xy,zz = B xy, C xy,zz, f S or j S, C xy,zz, C x y,z w < {, j, f, j / S Proof Assume frst that {, z, {j, z / E Then < t j, {j, x < t {y, z, {, y < b {x, z, and j < b Ths means that the neghborhood of z n G[V {x, y, z] s a subset of {x, y We wll show that no subset of V {x, y, z that contans z nduces an S-cycle of G Let v 1, v 2, z be an nduced S-trangle such that v 1, v 2 V {x, y Then {v 1, v 2 = {x, y whch leads to a contradcton, because x, y, z / S Let v 1, v 2, v 3, z be an nduced S-square such that v 1, v 2, v 3 V {x, y Then {v 1, v 3 = {x, y whch leads to a contradcton, because {x, y E Thus no subset of V {x, y, z that contans z nduces an S-cycle of G Therefore C xy,zz = B xy holds Assume that {, z E or {j, z E We dstngush cases dependng on whether or j belong to C xy,zz If j / C xy,zz or / C xy,zz then by Observaton 41 (1) we get C xy,zz = C xy,zz or C xy,zz = C xy,zz, respectvely The remanng case s, j C xy,zz Here we wll show the descrbed formula gven n the second statement By Observaton 41 (3), notce that C xy,zz \ {, j V < Case 1: Assume that S or j S We wll show that there s an S-cycle that contans or j leadng to a contradcton to the assumpton, j C xy,zz Let us assume that {, z E; the case for {j, z E s completely symmetrc Thus < t z and z < b hold or z < t and < b z hold Moreover we know that x < t z and y < b z because xy < l zz Snce, xy are crossng pars and < t j < t y, < b x, exactly one of the followng holds: 17

18 x < t z < t < < t y and {, y < b {x, z; {, x < t {y, z and y < b z < b < b x If the former nequaltes hold then t s not dffcult to see that {, x, {y, z E And f the latter nequaltes hold then {, y, {x, z E Suppose that {, x, {y, z E If {, y E then, x, y s an nduced S-trangle If {x, z E then, x, z s an nduced S-trangle If {, y, {x, z / E then, x, y, z s an nduced S-square Next suppose that {, y, {x, z E If {, x E then, x, y s an nduced S-trangle If {y, z E then, y, z s an nduced S-trangle If {, x, {y, z / E then, y, x, z s an nduced S-square Therefore f S or j S then, j / C xy,zz, as already explaned prevously C xy,zz so that C xy,zz can be expressed as C xy,zz Case 2: Assume that, j / S Let a be the vertex of {, j, x, y, z \ {x, y, z, w Observe that a / S snce S {, j, x, y, z = We wll show that f a subset of V < {x, y, z, w, a that contans a nduces an S-cycle of G, then ts non-empty ntersecton wth V < s not a subset of C x y,z w < Assume for contradcton that a subset of vertces of an nduced S-cycle that contans a belongs to C x y,z w < Snce the only nduced cycles n a permutaton graph are trangles or squares we assume that a s contaned n an S-trangle or an S-square Let v 1, v 2, a be an nduced S-trangle such that v 1, v 2 V < {x, y, z, w Snce x, y, z, w / S, wthout loss of generalty, assume that v 1 S whch mples that v 1 V < Ths means that v 1 < t j t y and v 1 < b b x By the choces of x y, z w, and a we know that x < t z < t a and y < b w < b a Snce {v 1, a E, a < t v 1 and v 1 < b a hold or v 1 < t a and a < b v 1 hold Thus exactly one of the followng holds: x < t z < t < a < t v 1 < t y and {v 1, y < b {x, z, a ; {v 1, x < t {y, w, a and y < b w < b < a < b v 1 < b x If the former nequaltes hold then t s not dffcult to see that {v 1, x, {v 1, z E And f the latter nequaltes hold then {v 1, y, {v 1, w E Suppose that {v 1, x, {v 1, z E If {v 1, y E then v 1, x, y s an nduced S-trangle If {x, z E then v 1, x, z s an nduced S-trangle If {v 1, y, {x, z / E then v 1, x, y, z s nduced an S-square Next suppose that {v 1, y, {v 1, w E If {v 1, x E then v 1, x, y s an nduced S-trangle If {y, w E then v 1, y, w s an nduced S-trangle If {v 1, x, {y, w / E then v 1, y, x, w s nduced an S-square or 18