Genus characterizes the complexity of certain graph problems: Some tight results

  • Authors:

  • Jianer Chen;Iyad A. Kanj;Ljubomir Perković;Eric Sedgwick;Ge Xia

  • Affiliations:

  • Department of Computer Science, Texas A&M University, College Station, TX 77843-3112, USA and College of Information Science & Engineering, Central South University, Changsha, Hunan 410083, PR Chi ...;School of CTI, DePaul University, 243 S. Wabash avenue, Chicago, IL 60604, USA;School of CTI, DePaul University, 243 S. Wabash avenue, Chicago, IL 60604, USA;School of CTI, DePaul University, 243 S. Wabash avenue, Chicago, IL 60604, USA;Department of Computer Science, Lafayette College, Easton, PA 18042, USA

  • Venue:
  • Journal of Computer and System Sciences
  • Year:
  • 2007

Quantified Score

Hi-index 0.01

Visualization

Abstract

We study the fixed-parameter tractability, subexponential time computability, and approximability of the well-known NP-hard problems: independent set, vertex cover, and dominating set. We derive tight results and show that the computational complexity of these problems, with respect to the above complexity measures, is dependent on the genus of the underlying graph. For instance, we show that, under the widely-believed complexity assumption W[1] FPT, independent set on graphs of genus bounded by g"1(n) is fixed parameter tractable if and only ifg"1(n)=o(n^2), and dominating set on graphs of genus bounded by g"2(n) is fixed parameter tractable if and only ifg"2(n)=n^o^(^1^). Under the assumption that not all SNP problems are solvable in subexponential time, we show that the above three problems on graphs of genus bounded by g"3(n) are solvable in subexponential time if and only ifg"3(n)=o(n). We also show that the independent set, the kernelized vertex cover, and the kernelized dominating set problems on graphs of genus bounded by g"4(n) have PTAS if g"4(n)=o(n/logn), and that, under the assumption P NP, the independent set problem on graphs of genus bounded by g"5(n) has no PTAS if g"5(n)=@W(n), and the vertex cover and dominating set problems on graphs of genus bounded by g"6(n) have no PTAS if g"6(n)=n^@W^(^1^).