Fixed-Parameter Complexity of Minimum Profile Problems
- 79 Downloads
The profile of a graph is an integer-valued parameter defined via vertex orderings; it is known that the profile of a graph equals the smallest number of edges of an interval supergraph. Since computing the profile of a graph is an NP-hard problem, we consider parameterized versions of the problem. Namely, we study the problem of deciding whether the profile of a connected graph of order n is at most n−1+k, considering k as the parameter; this is a parameterization above guaranteed value, since n−1 is a tight lower bound for the profile. We present two fixed-parameter algorithms for this problem. The first algorithm is based on a forbidden subgraph characterization of interval graphs. The second algorithm is based on two simple kernelization rules which allow us to produce a kernel with linear number of vertices and edges. For showing the correctness of the second algorithm we need to establish structural properties of graphs with small profile which are of independent interest.
KeywordsGraph profile Fixed parameter tractability Above guaranteed value Kernel
Unable to display preview. Download preview PDF.
- 3.Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Berlin (1999) Google Scholar
- 5.Bodlaender, H.L., Downey, R.G., Fellows, M.R., Hallett, M.T., Wareham, H.T.: Parameterized complexity analysis in computational biology. Comput. Appl. Biosci. 11, 49–57 (1995) Google Scholar
- 8.Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Berlin (2006) Google Scholar
- 11.Goldberg, P.W., Golumbic, M.C., Kaplan, H., Shamir, R.: Four strikes against physical mapping of DNA. J. Comput. Biol. 2, 139–152 (1995) Google Scholar
- 15.Karp, R.M.: Mapping the genome: some combinatorial problems arising in molecular biology. In: Proc. 25th Annual Symp. Theory Comput., pp. 278–285 (1993) Google Scholar
- 21.West, D.B.: Introduction to Graph Theory. Prentice Hall, New York (2001) Google Scholar