Abstract

A classical branch of graph algorithms is graph transversals, where one seeks a minimum-weight subset of nodes in a node-weighted graph $G$ which intersects all copies of subgraphs $F$ from a fixed family $\mathcal F$. Many such graph transversal problems have been shown to admit polynomial-time approximation schemes (PTASs) for planar input graphs $G$, using a variety of techniques like the shifting technique [B. S. Baker, J. ACM, 41 (1994), pp. 153--180], bidimensionality [F. V. Fomin et al., Bidimensionality and EPTAS, in Proceedings of SODA 2011, ACM, New York, SIAM, Philadelphia, 2011, pp. 748--759], or connectivity domination [V. Cohen-Addad et al., Approximating connectivity domination in weighted bounded-genus graphs, in Proceedings of STOC 2016, ACM, New York, 2016, pp. 584--597]. These techniques do not seem to apply to graph transversals with parity constraints, which have recently received significant attention, but for which no PTASs are known. In the Even Cycle Transversal (ECT) problem, the goal is to find a minimum-weight hitting set for the set of even cycles in an undirected graph. For ECT, Fiorini, Joret, and Pietropaoli [Hitting diamonds and growing cacti, in Proceedings of IPCO 2010, Lecture Notes in Comput. Sci. 6080, Springer, Berlin, 2010, pp. 191--204] showed that the integrality gap of the standard covering LP relaxation is $\Theta(\log n)$, and that adding sparsity inequalities reduces the integrality gap to 10. Our main result is a primal-dual algorithm that yields a $47/7\approx6.71$-approximation for ECT on node-weighted planar graphs, and an integrality gap upper bound of the same value for the standard LP relaxation on node-weighted planar graphs.

Keywords

  1. graph algorithms
  2. approximation algorithms
  3. paths and cycles

MSC codes

  1. 05C85
  2. 68W25
  3. 05C38

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
A. Agarwal, M. Charikar, K. Makarychev, and Y. Makarychev, ${O}(\sqrt{\log n})$ approximation algorithms for min uncut, min $2$CNF deletion, and directed cut problems, in Proceedings of STOC 2005, ACM, New York, 2005, pp. 573--581.
2.
V. Bafna, P. Berman, and T. Fujito, A $2$-approximation algorithm for the undirected feedback vertex set problem, SIAM J. Discrete Math., 12 (1999), pp. 289--297, https://doi.org/10.1137/S0895480196305124.
3.
B. S. Baker, Approximation algorithms for ${\mathsf{NP}}$-complete problems on planar graphs, J. ACM, 41 (1994), pp. 153--180.
4.
M. Bateni, M. Hajiaghayi, and D. Marx, Approximation schemes for Steiner forest on planar graphs and graphs of bounded treewidth, J. ACM, 58 (2011), 21.
5.
A. Becker and D. Geiger, Optimization of Pearl's method of conditioning and greedy-like approximation algorithms for the vertex feedback set problem, Artificial Intelligence, 83 (1996), pp. 167--188.
6.
P. Berman and G. Yaroslavtsev, Primal-dual approximation algorithms for node-weighted network design in planar graphs, in Proceedings of APPROX 2012, Lecture Notes in Comput. Sci. 7408, Springer, Berlin, 2012, pp. 50--60.
7.
V. Cohen-Addad, E. Colin de Verdière, P. N. Klein, C. Mathieu, and D. Meierfrankenfeld, Approximating connectivity domination in weighted bounded-genus graphs, in Proceedings of STOC 2016, ACM, New York, 2016, pp. 584--597.
8.
E. D. Demaine, F. V. Fomin, M. Hajiaghayi, and D. M. Thilikos, Bidimensional parameters and local treewidth, SIAM J. Discrete Math. 18 (2004), pp. 501--511, https://doi.org/10.1137/S0895480103433410.
9.
E. D. Demaine, M. Hajiaghayi, and P. N. Klein, Node-weighted Steiner tree and group Steiner tree in planar graphs, ACM Trans. Algorithms, 10 (2014), 13.
10.
J. Edmonds, Paths, trees, and flowers, Canad. J. Math., 17 (1965), pp. 449--467.
11.
S. Fiorini, G. Joret, and U. Pietropaoli, Hitting diamonds and growing cacti, in Proceedings of IPCO 2010, Lecture Notes in Comput. Sci. 6080, Springer, Berlin, 2010, pp. 191--204.
12.
F. V. Fomin, D. Lokshtanov, V. Raman, and S. Saurabh, Bidimensionality and EPTAS, in Proceedings of SODA 2011, ACM, New York, SIAM, Philadelphia, 2011, pp. 748--759, https://doi.org/10.1137/1.9781611973082.59.
13.
F. V. Fomin, D. Lokshtanov, S. Saurabh, and D. M. Thilikos, Bidimensionality and kernels, in Proceedings of SODA 2010, ACM, New York, SIAM, Philadelphia, 2010, pp. 503--510, https://doi.org/10.1137/1.9781611973075.43.
14.
M. X. Goemans and D. P. Williamson, Primal-dual approximation algorithms for feedback problems in planar graphs, Combinatorica, 18 (1998), pp. 37--59.
15.
A. Göke, J. Koenemann, M. Mnich, and H. Sun, Hitting weighted even cycles in planar graphs, in Proceedings of APPROX/RANDOM 2021, LIPIcs. Leibniz Int. Proc. Inform. 207, Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern, Germany, 2021, 25.
16.
F. Hadlock, Finding a maximum cut of a planar graph in polynomial time, SIAM J. Comput., 4 (1975), pp. 221--225, https://doi.org/10.1137/0204019.
17.
R. M. Karp, Reducibility among combinatorial problems, in Complexity of Computer Computations, Plenum, New York, 1972, pp. 85--103.
18.
S. Khot and O. Regev, Vertex cover might be hard to approximate to within $2 - \varepsilon$, J. Comput. System Sci., 74 (2008), pp. 335--349.
19.
D. Lokshtanov and M. Ramanujan, Parameterized tractability of multiway cut with parity constraints, in Proceedings of ICALP 2012, Lecture Notes in Comput. Sci. 7391, Springer, Berlin, 2012, pp. 750--761.
20.
D. Lokshtanov, M. Ramanujan, S. Saurab, and M. Zehavi, Parameterized complexity and approximability of directed odd cycle transversal, in Proceedings of SODA 2020, ACM, New York, SIAM, Philadelphia, 2020, pp. 2181--2200, https://doi.org/10.1137/1.9781611975994.134.
21.
P. Misra, V. Raman, M. Ramanujan, and S. Saurabh, Parameterized algorithms for even cycle transversal, in Proceedings of WG 2012, Lecture Notes in Comput. Sci. 7551, Springer, Berlin, 2012, pp. 172--183.
22.
C. Moldenhauer, Primal-dual approximation algorithms for node-weighted Steiner forest on planar graphs, Inform. and Comput., 222 (2013), pp. 293--306.
23.
M. Nägele and R. Zenklusen, A new contraction technique with applications to congruency-constrained cuts, Math. Program., 183 (2020), pp. 455--481.
24.
G. Orlova and Y. Y. Dorfman, Finding the maximum cut in a graph, Engrg. Cybernetics, 10 (1972), pp. 502--506.

Information & Authors

Information

Published In

cover image SIAM Journal on Discrete Mathematics
SIAM Journal on Discrete Mathematics
Pages: 2830 - 2862
ISSN (online): 1095-7146

History

Submitted: 27 September 2021
Accepted: 17 July 2022
Published online: 14 November 2022

Keywords

  1. graph algorithms
  2. approximation algorithms
  3. paths and cycles

MSC codes

  1. 05C85
  2. 68W25
  3. 05C38

Authors

Affiliations

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

There are no citations for this item

View Options

View options

PDF

View PDF

Media

Figures

Other

Tables

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media