arXiv:2009.11056v1 [math.CO] 23 Sep 2020 H itn set hitting a G rp,then graph, K Cover randomized randomized negtdcs tegnrlcs olw rmthe from follows case general (the case unweighted oecmlctdadrqie eea e da n insight and ideas new several requires and complicated more w de.Teeoe h olwn sa easy an is following the Therefore, edges. two w prxmto loih,uls =Po h nqeGmsCo Games Unique the or P=NP unless algorithm, approximation rpswihfauepoietyi h ro fteSrn P Strong [3]. the Thomas of and proof Seymour, the Robertson, in Chudnovsky, prominently feature which graphs ( nidcdsbrp,where subgraph, induced an scle a called is SVD ( − nteohrhn,teei ipeapoiainpreservin approximation simple a is there hand, other the On oyHyhi upre yteAsrla eerhCouncil. Research Australian the by 1 supported is Huynh Tony Date graph A o every For ie graph a Given ti ayt show to easy is It X of saciu and clique a is An SIMPLE A V := ) G rbe sst n e fvertices of set a find to asks problem ) ( etme 4 2020. 24, September : α H aea gave etxDeletion Vertex n tbest ie graph a Given set. stable a and Abstract. =Po h nqeGmsCnetr fails. Conjecture Games Unique the or P=NP ugah Therefore, subgraph. uhthat such xrml ipedeterministic simple extremely ad o every for hand, nyi tde o oti a contain not does it it only apoiainalgorithm -approximation to uhthat such P ) o every For n recurse. and , itn set hitting X SVD G x ∅ 2 2+ (2 > ǫ ∈ apoiainagrtmfrfebc etxsti tourna in set vertex feedback for algorithm -approximation with randomized sa is ATE RSHR AULFOII N OYHUYNH TONY AND FIORINI, SAMUEL DRESCHER, MATTHEW X sahtigst n eaedn.Ohrie efida induced an find we Otherwise, done. are we and set, hitting a is w G 0 G se[].Teeoe o every for Therefore, [9]). (see ǫ ( w pi graph split − ostnv ir,Pnln hlp n arb 9 recen [9] Saurabh and Philip, Panolan, Misra, Lokshtanov, , ) A H x 2+ (2 S apoiainagrtmfor algorithm -approximation > ǫ ( n egtfunction weight and X ) X G pi graph split ednt by denote We . > δ sasal e.Sltgah r nipratsbls fper of subclass important an are graphs Split set. stable a is { ∈ smnmm subset A minimum. is ) sasltgah ti ayt hwta rp sasltgraph split a is graph a that show to easy is It graph. split a is sasltgahi n nyif only and if graph split a is 6 0 ǫ 2+ (2 ostnv ir,Pnln hlp n arb 9 recen [9] Saurabh and Philip, Panolan, Misra, Lokshtanov, , 0 ) ( C α , APOIAINAGRTMFRSPLIT FOR ALGORITHM -APPROXIMATION SVD SVD 4 SVD · C , OPT( ǫ ) if C apoiainagrtmfor algorithm -approximation rbe sst n iiu egtsto vertices of set weight minimum a find to asks problem ) sagahwoevre e a epriindit clique a into partitioned be can set vertex whose graph a is 5 for ℓ ETXDELETION VERTEX V , disa easy an admits osntamta admit not does 2 eoe yl flength of cycle a denotes ,w G, ( 4 SVD K G -cycle, 2+ (2 2 ) G } ) OPT( a epriindit w sets two into partitioned be can . eput We . n egtfunction weight and ǫ sa(eemnsi)plnma-ieagrtmcomputing algorithm polynomial-time (deterministic) a is ) w apoiainagrtmfor algorithm -approximation 5 cce ratoeg aciga ninduced an as matching edge two a or -cycle, : ,w G, V 1 X 5 ( 5 apoiainagrtm nteother the On algorithm. -approximation G apoiainalgorithm -approximation X (2 ⊆ ) V ) > δ − h iiu egto itn set. hitting a of weight minimum the → V SVD ( uhthat such H δ oa ai method ratio local ( ) G G Q apoiainagrtm unless algorithm, -approximation ) 0 ) ≥ , osntcontain not does notehtigst replace set, hitting the into hi prahi ae nthe on based is approach Their . SVD 0 uhthat such SVD w the , ℓ : V nti okw iean give we work this In . and G s. ( pi etxDeletion Vertex Split G osntamta admit not does retGahTermby Theorem Graph erfect − euto from reduction g ) 2 → X SVD jcuefis[7]. fails njecture K G Q 2 sasltgahand graph split a is − ≥ samthn with matching a is K 6) If [6]). . 0 X the , C 1 et 8,btis but [8], ments and 4 sasltgraph split a is for C , Split fand if S SVD 5 G tly l aea gave tly or X uhthat such subgraph sasplit a is Vertex (2 2 K nthe in − G 2 fect δ by as ) - 2 M.DRESCHER,S.FIORINI,ANDT.HUYNH

Here we give a much simpler deterministic (2 + ǫ)-approximation algorithm for SVD. Theorem 1. For every ǫ> 0, there is a (deterministic) (2 + ǫ)-approximation algorithm for SVD. As far as we can tell, the easy 5-approximation described above was the previously best (deterministic) approximation algorithm for SVD. Before describing our algorithm and proving its correctness, we need a few definitions. Let G be a graph and H be a family of graphs. We say that G is H-free if G does not contain H as an induced subgraph for all H ∈ H. We let G be the complement of G. A cut in a graph G is a pair (A, B) such that A ∪ B = V (G) and A ∩ B = ∅. The cut (A, B) is said to separate a pair (K,S) where K is a clique, and S a stable set if K ⊆ A and S ⊆ B. A family of cuts F is called a clique-stable set separator if for all pairs (K,S) where K is a clique and S is a stable set disjoint from K, there exists a cut (A, B) in F such that (A, B) separates (K,S). For each k ∈ N, let Pk be the path on k vertices. The main technical ingredient we require is the following theorem of Bousquet, Lagoutte and Thomassé [1] Theorem 2. For every k ∈ N, there exists c(k) ∈ N such that every n-vertex, {Pk, Pk}- free graph has a clique-stable set separator of size at most nc(k). Moreover, such a clique- stable set separator can be found in polynomial time.2 We are now ready to state and prove the correctness of our algorithm.

Proof of Theorem 1. Let G be an n-vertex graph, w : V (G) → Q≥0, and ǫ> 0. We may assume that w(v) > 0 for all v ∈ V (G), since we may delete vertices of weight 0 for free. 2k 1 Choose k sufficiently large so that k−4 ≤ 2+ ǫ. Let be the weight function on V (Pk) which is identically 1. Since the largest clique of Pk has size 2 and every vertex cover k−4 of Pk has size at least ⌊k/2⌋, every hitting set of Pk has size at least 2 . Therefore, |V (Pk)|/ OPT(Pk, 1) ≤ 2+ ǫ, and so by the local ratio method [6], we may assume that G is Pk-free. Note that G is a split graph if and only if G is a split graph. Thus, we may also assume that G is Pk-free. Now, by Theorem 2, there exists a constant c(k) such that G has a clique-stable set separator F such that |F| ≤ nc(k). For each (A, B) ∈ F, let ρA and ρB be the weights of the minimum vertex covers of (G[A], w) and (G[B], w). Since there is a 2-approximation algorithm for vertex cover, for each (A, B) ∈ F, we can find vertex covers XA and XB of (G[A], w) and (G[B], w) ∗ such that w(XA) ≤ 2ρA and w(XB ) ≤ 2ρB. Let X be a minimum weight hitting set for (G, w), and suppose that V (G − X∗) is partitioned into a clique K∗ and a stable set S∗. Since F is a clique-stable set separator, there must be some (A∗,B∗) ∈ F such that ∗ ∗ ∗ ∗ K ⊆ A and S ⊆ B . Therefore, if we choose (A, B) ∈ F such that w(XA)+ w(XB ) ∗ is minimum, then XA ∪ XB is a hitting set such that w(XA ∪ XB) ≤ 2w(X ). Finally, since |F| ≤ nc(k), our algorithm clearly runs in polynomial time. 

2We remark that [1] do not state that the clique-stable set separator can be found in polynomial time, but this is easy to check, where the relevant lemmas appear in [2, Theorem 4], [5, Theorem 1.1], and [4, Lemma 1.5]. Note that the abstract of [1] states that c(k) is a tower function. However, the bound for c(k) can be significantly improved by using [5, Theorem 1.1] instead of a lemma of Rödl [10] (which was used in an older version of [2]). The proof of [5, Theorem 1.1] does not use the SzemerÃľdi Regularity Lemma [11], and provides much better quantitative estimates. A SIMPLE (2 + ǫ)-APPROXIMATION ALGORITHM FOR SPLIT VERTEX DELETION 3

References

[1] N. Bousquet, A. Lagoutte, and S. ThomassÃľ. Clique versus independent set. Eu- ropean Journal of Combinatorics, 40:73 – 92, 2014. [2] N. Bousquet, A. Lagoutte, and S. Thomassé. The ErdÅŚs-Hajnal conjecture for paths and antipaths. J. Combin. Theory Ser. B, 113:261–264, 2015. [3] M. Chudnovsky, N. Robertson, P. Seymour, and R. Thomas. The strong perfect graph theorem. Ann. of Math. (2), 164(1):51–229, 2006. [4] P. ErdÅŚs and A. Hajnal. Ramsey-type theorems. volume 25, pages 37–52. 1989. Combinatorics and complexity (Chicago, IL, 1987). [5] J. Fox and B. Sudakov. Induced Ramsey-type theorems. Adv. Math., 219(6):1771– 1800, 2008. [6] A. Freund, R. Bar-Yehuda, and K. Bendel. Local ratio: a unified framework for approximation algorithms. ACM Computing Surveys, 36:422–463, 01 2005. [7] S. Khot and O. Regev. Vertex cover might be hard to approximate to within 2 − ǫ. J. Comput. System Sci., 74(3):335–349, 2008. [8] D. Lokshtanov, P. Misra, J. Mukherjee, F. Panolan, G. Philip, and S. Saurabh. 2- approximating feedback vertex set in tournaments. In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, pages 1010–1018. SIAM, 2020. [9] D. Lokshtanov, P. Misra, F. Panolan, G. Philip, and S. Saurabh. A (2+ ε)-factor ap- proximation algorithm for split vertex deletion. In 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Schloss Dagstuhl-Leibniz- Zentrum für Informatik, 2020. [10] V. RÃűdl. On universality of graphs with uniformly distributed edges. Discrete Math., 59(1-2):125–134, 1986. [11] E. Szemerédi. Regular partitions of graphs. In Problèmes combinatoires et théorie des graphes (Colloq. Internat. CNRS, Univ. Orsay, Orsay, 1976), volume 260 of Colloq. Internat. CNRS, pages 399–401. CNRS, Paris, 1978.

(M. Drescher, S. Fiorini) Département de Mathématique Université libre de Bruxelles Brussels, Belgium E-mail address: [email protected], [email protected]

(T. Huynh) School of Mathematics Monash University Melbourne, Australia E-mail address: [email protected]