TY - GEN
T1 - Parameterized complexity of the smallest degree-constrained subgraph problem
AU - Amini, Omid
AU - Sau, Ignasi
AU - Saurabh, Saket
PY - 2008/6/9
Y1 - 2008/6/9
N2 - In this paper we study the problem of finding an induced subgraph of size at most k with minimum degree at least d for a given graph G, from the parameterized complexity perspective. We call this problem Minimum Subgraph of Minimum Degree >d (MSMDd ). For d = 2 it corresponds to finding a shortest cycle of the graph. Our main motivation to study this problem is its strong relation to Dense k -Subgraph and Traffic Grooming problems. First, we show that MSMS d is fixed-parameter intractable (provided FPT ≠ W[1]) for d ≥ 3 in general graphs, by showing it to be W[1]-hard using a reduction from Multi-Color Clique. In the second part of the paper we provide explicit fixed-parameter tractable (FPT) algorithms for the problem in graphs with bounded local tree-width and graphs with excluded minors, faster than those coming from the meta-theorem of Frick and Grohe [13] about problems definable in first order logic over "locally tree-decomposable structures". In particular, this implies faster fixed-parameter tractable algorithms in planar graphs, graphs of bounded genus, and graphs with bounded maximum degree.
AB - In this paper we study the problem of finding an induced subgraph of size at most k with minimum degree at least d for a given graph G, from the parameterized complexity perspective. We call this problem Minimum Subgraph of Minimum Degree >d (MSMDd ). For d = 2 it corresponds to finding a shortest cycle of the graph. Our main motivation to study this problem is its strong relation to Dense k -Subgraph and Traffic Grooming problems. First, we show that MSMS d is fixed-parameter intractable (provided FPT ≠ W[1]) for d ≥ 3 in general graphs, by showing it to be W[1]-hard using a reduction from Multi-Color Clique. In the second part of the paper we provide explicit fixed-parameter tractable (FPT) algorithms for the problem in graphs with bounded local tree-width and graphs with excluded minors, faster than those coming from the meta-theorem of Frick and Grohe [13] about problems definable in first order logic over "locally tree-decomposable structures". In particular, this implies faster fixed-parameter tractable algorithms in planar graphs, graphs of bounded genus, and graphs with bounded maximum degree.
UR - https://www.scopus.com/pages/publications/44649113213
U2 - 10.1007/978-3-540-79723-4_4
DO - 10.1007/978-3-540-79723-4_4
M3 - Conference contribution
AN - SCOPUS:44649113213
SN - 354079722X
SN - 9783540797227
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 13
EP - 29
BT - Parameterized and Exact Computation - Third International Workshop, IWPEC 2008, Proceedings
T2 - 3rd International Workshop on Parameterized and Exact Computation, IWPEC 2008
Y2 - 14 May 2008 through 16 May 2008
ER -