Parameterized Complexity: Exponential Speed-Up for Planar Graph Problems
A parameterized problem is fixed parameter tractable if it admits a solving algorithm whose running time on input instance (I,k) is f(k) · |I|;α, where f is an arbitrary function depending only on k. Typically, f is some exponential function, e.g., f(k) = c k for constant c. We describe general techniques to obtain growth of the form f(k) = c √k for a large variety of planar graph problems. The key to this type of algorithm is what we call the “Layerwise Separation Property” of a planar graph problem. Problems having this property include PLANAR VERTEX COVER, PLANAR INDEPENDENT SET, and PLANAR DOMINATING SET.
Unable to display preview. Download preview PDF.
- 1.J. Alber, H. Bodlaender, H. Fernau, and R. Niedermeier. Fixed parameter algorithms for planar dominating set and related problems. In Proc. 7th SWAT, vol. 1851 of LNCS, Springer, pp. 97–110, 2000. Full version available as Technical Report UU-CS-2000-28, Utrecht University, 2000.Google Scholar
- 2.J. Alber, H. Fernau, and R. Niedermeier. Parameterized complexity: exponential speed-up for planar graph problems. Technical Report TR01-023, ECCC Reports, Trier, March 2001. Available through http://www.eccc.uni-trier.de/eccc/.
- 3.J. Alber, H. Fernau, and R. Niedermeier. Graph separators: a parameterized view. To appear in Proc. 7th COCOON, 2001. Full version available as Technical Report WSI-2001-8, Universität Tübingen (Germany), Wilhelm-Schickard-Institut Für Informatik, March 2001.Google Scholar
- 5.H. L. Bodlaender. Treewidth: Algorithmic techniques and results. In Proc. 22nd MFCS, vol. 1295 of LNCS, Springer, pp. 19–36, 1997.Google Scholar
- 7.L. Cai and D. Juedes. Subexponential parameterized algorithms collapse the Whierarchy. In Proc. 28th ICALP, 2001.Google Scholar
- 8.J. Chen, I. Kanj, and W. Jia. Vertex cover: Further observations and further improvements. In Proc. 25th WG, vol. 1665 of LNCS, Springer, pp. 313–324, 1999.Google Scholar
- 10.R. G. Downey and M. R. Fellows. Parameterized Complexity. Springer, 1999.Google Scholar
- 16.N. Robertson, D. P. Sanders, P. Seymour, and R. Thomas. Efficiently four-coloring planar graphs. In Proc. 28th STOC, ACM Press, pp. 571–575, 1996.Google Scholar
- 17.J. A. Telle and A. Proskurowski. Practical algorithms on partial k-trees with an application to domination-like problems. In Proc. 3rd WADS, vol. 709 of LNCS, Springer, pp. 610–621, 1993.Google Scholar