Linear Kernels and Linear-Time Algorithms for Finding Large Cuts

Authors Michael Etscheid, Matthias Mnich



PDF
Thumbnail PDF

File

LIPIcs.ISAAC.2016.31.pdf
  • Filesize: 0.53 MB
  • 13 pages

Document Identifiers

Author Details

Michael Etscheid
Matthias Mnich

Cite AsGet BibTex

Michael Etscheid and Matthias Mnich. Linear Kernels and Linear-Time Algorithms for Finding Large Cuts. In 27th International Symposium on Algorithms and Computation (ISAAC 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 64, pp. 31:1-31:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
https://doi.org/10.4230/LIPIcs.ISAAC.2016.31

Abstract

The maximum cut problem in graphs and its generalizations are fundamental combinatorial problems. Several of these cut problems were recently shown to be fixed-parameter tractable and admit polynomial kernels when parameterized above the tight lower bound measured by the size and order of the graph. In this paper we continue this line of research and considerably improve several of those results: * We show that an algorithm by Crowston et al. [ICALP 2012] for (Signed) Max-Cut Above Edwards-Erdos Bound can be implemented in such a way that it runs in linear time 8^k · O(m); this significantly improves the previous analysis with run time 8^k · O(n^4). * We give an asymptotically optimal kernel for (Signed) Max-Cut Above Edwards-Erdos Bound with O(k) vertices, improving a kernel with O(k^3) vertices by Crowston et al. [COCOON 2013]. * We improve all known kernels for strongly lambda-extendable properties parameterized above tight lower bound by Crowston et al. [FSTTCS 2013] from O(k^3) vertices to O(k) vertices. * As a consequence, Max Acyclic Subdigraph parameterized above Poljak-Turzik bound admits a kernel with O(k) vertices and can be solved in time 2^{O(k)} * n^{O(1)} ; this answers an open question by Crowston et al. [FSTTCS 2012]. All presented kernels can be computed in time O(km).
Keywords
  • Max-Cut
  • fixed-parameter tractability
  • kernelization

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Francisco Barahona. On the computational complexity of Ising spin glass models. J. Phys. A, 15(10):3241-3253, 1982. URL: http://stacks.iop.org/0305-4470/15/3241.
  2. Béla Bollobás and Alexander Scott. Better bounds for Max Cut. In Béla Bollobás, editor, Contemporary Combinatorics, volume 10 of Bolyai Soc. Math. Studies, pages 185-246, 2002. Google Scholar
  3. C. Chiang, A. B. Kahng, S. Sinha, X. Xu, and A. Z. Zelikovsky. Fast and efficient bright-field aapsm conflict detection and correction. IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., 26(1):115-126, Jan 2007. URL: http://dx.doi.org/10.1109/TCAD.2006.882642.
  4. R. Crowston, G. Gutin, M. Jones, and G. Muciaccia. Maximum balanced subgraph problem parameterized above lower bound. Theoret. Comput. Sci., 513:53-64, 2013. URL: http://dx.doi.org/10.1016/j.tcs.2013.10.026.
  5. Robert Crowston, Michael Fellows, Gregory Gutin, Mark Jones, Frances Rosamond, Stéphan Thomassé, and Anders Yeo. Simultaneously Satisfying Linear Equations Over 𝔽₂: MaxLin2 and Max-r-Lin2 Parameterized Above Average. In Proc. FSTTCS 2011, volume 13 of Leibniz Int'l Proc. Informatics, pages 229-240. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.229.
  6. Robert Crowston, Gregory Gutin, and Mark Jones. Directed Acyclic Subgraph Problem Parameterized above the Poljak-Turzík Bound. In Proc. FSTTCS 2012, volume 18 of Leibniz Int'l Proc. Informatics, pages 400-411. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2012. URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.400.
  7. Robert Crowston, Mark Jones, and Matthias Mnich. Max-cut parameterized above the Edwards-Erdős bound. Algorithmica, pages 1-24, 2014. URL: http://dx.doi.org/10.1007/s00453-014-9870-z.
  8. Robert Crowston, Mark Jones, Gabriele Muciaccia, Geevarghese Philip, Ashutosh Rai, and Saket Saurabh. Polynomial kernels for λ-extendible properties parameterized above the Poljak-Turzík bound. In Proc. FSTTCS 2013, volume 24 of Leibniz Int'l Proc. Informatics, pages 43-54. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.43.
  9. Frederic Dorn. Planar Subgraph Isomorphism Revisited. In Proc. STACS 2010, volume 5 of Leibniz Int'l Proc. Informatics, pages 263-274. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010. Google Scholar
  10. C. S. Edwards. Some extremal properties of bipartite subgraphs. Canad. J. Math., 25:475-485, 1973. Google Scholar
  11. C. S. Edwards. An improved lower bound for the number of edges in a largest bipartite subgraph. In Recent Advances in Graph Theory, pages 167-181, 1975. Google Scholar
  12. Gregory Gutin and Anders Yeo. Note on maximal bisection above tight lower bound. Inform. Process. Lett., 110(21):966-969, 2010. URL: http://dx.doi.org/10.1016/j.ipl.2010.08.001.
  13. Frank Harary. On the notion of balance of a signed graph. Michigan Math. J., 2:143-146 (1955), 1953-54. Google Scholar
  14. Frank Harary. On the measurement of structural balance. Behavioral Sci., 4:316-323, 1959. Google Scholar
  15. Frank Harary, Meng-Hiot Lim, and Donald C. Wunsch. Signed graphs for portfolio analysis in risk management. IMA J. Mgmt. Math., 13(3):201-210, 2002. URL: http://dx.doi.org/10.1093/imaman/13.3.201.
  16. Falk Hüffner, Nadja Betzler, and Rolf Niedermeier. Separator-based data reduction for signed graph balancing. J. Comb. Optim., 20(4):335-360, 2010. URL: http://dx.doi.org/10.1007/s10878-009-9212-2.
  17. Russell Impagliazzo, Ramamohan Paturi, and Francis Zane. Which problems have strongly exponential complexity? J. Comput. System Sci., 63(4):512-530, 2001. URL: http://dx.doi.org/10.1006/jcss.2001.1774.
  18. Yoichi Iwata, Keigo Oka, and Yuichi Yoshida. Linear-time FPT algorithms via network flow. In Proc. SODA 2014, pages 1749-1761, 2014. URL: http://dx.doi.org/10.1137/1.9781611973402.127.
  19. Richard M. Karp. Reducibility among combinatorial problems. In Complexity of computer computations (Proc. Sympos., IBM Thomas J. Watson Res. Center, Yorktown Heights, N.Y., 1972), pages 85-103. Plenum, New York, 1972. Google Scholar
  20. Daniel Lokshtanov, M. S. Ramanujan, and Saket Saurabh. Linear time parameterized algorithms for subset feedback vertex set. In Proc. ICALP 2015, volume 9134 of Lecture Notes Comput. Sci., pages 935-946. Springer, 2015. URL: http://dx.doi.org/10.1007/978-3-662-47672-7_76.
  21. Meena Mahajan and Venkatesh Raman. Parameterizing above guaranteed values: MaxSat and MaxCut. Technical Report TR97-033, Electronic Colloquium on Computational Complexity, 1997. URL: http://eccc.hpi-web.de/report/1997/033/.
  22. Meena Mahajan, Venkatesh Raman, and Somnath Sikdar. Parameterizing above or below guaranteed values. J. Comput. System Sci., 75(2):137-153, 2009. URL: http://dx.doi.org/10.1016/j.jcss.2008.08.004.
  23. Matthias Mnich, Geevarghese Philip, Saket Saurabh, and Ondřej Suchý. Beyond Max-Cut: λ-extendible properties parameterized above the Poljak-Turzí k bound. J. Comput. System Sci., 80(7):1384-1403, 2014. URL: http://dx.doi.org/10.1016/j.jcss.2014.04.011.
  24. N. V. Ngoc and Zsolt Tuza. Linear-time approximation algorithms for the max cut problem. Combin. Probab. Comput., 2(2):201-210, 1993. URL: http://dx.doi.org/10.1017/S0963548300000596.
  25. Svatopluk Poljak and Daniel Turzík. A polynomial time heuristic for certain subgraph optimization problems with guaranteed worst case bound. Discrete Math., 58(1):99-104, 1986. URL: http://dx.doi.org/10.1016/0012-365X(86)90192-5.
  26. Svatopluk Poljak and Zsolt Tuza. Maximum cuts and large bipartite subgraphs. In Combinatorial optimization (New Brunswick, NJ, 1992-1993), volume 20 of DIMACS Ser. Discrete Math. Theoret. Comput. Sci., pages 181-244. Amer. Math. Soc., 1995. Google Scholar
  27. Venkatesh Raman and Saket Saurabh. Parameterized algorithms for feedback set problems and their duals in tournaments. Theoret. Comput. Sci., 351(3):446-458, 2006. URL: http://dx.doi.org/10.1016/j.tcs.2005.10.010.
  28. Venkatesh Raman and Saket Saurabh. Improved fixed parameter tractable algorithms for two "edge" problems: MAXCUT and MAXDAG. Inform. Process. Lett., 104(2):65-72, 2007. URL: http://dx.doi.org/10.1016/j.ipl.2007.05.014.
  29. René van Bevern. Fixed-Parameter Linear-Time Algorithms for NP-hard Graph and Hypergraph Problems Arising in Industrial Applications. PhD thesis, TU Berlin, 2014. Google Scholar
  30. Magnus Wahlström. Half-integrality, LP-branching and FPT algorithms. In Proc. SODA 2014, pages 1762-1781, 2014. URL: http://dx.doi.org/10.1137/1.9781611973402.128.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail