TY - JOUR

T1 - Finding large degree-anonymous subgraphs is hard

AU - Bazgan, C.

AU - Bredereck, R.

AU - Hartung, S.

AU - Nichterlein, A.

AU - Woeginger, G.J.

PY - 2016/4/4

Y1 - 2016/4/4

N2 - A graph is said to be k-anonymous for an integer k, if for every vertex in the graph there are at least k-1 other vertices with the same degree. We examine the computational complexity of making a given undirected graph k-anonymous either through at most s vertex deletions or through at most s edge deletions; the corresponding problem variants are denoted by Anonym V-Del and Anonym E-Del.We present a variety of hardness results, most of them hold for both problems. The two variants are intractable from the parameterized as well as from the approximation point of view. In particular, we show that both variants remain NP-hard on very restricted graph classes like trees even if k=2. We further prove that both variants are W[1]-hard with respect to the combined parameter solutions size s and anonymity level k. With respect to approximability, we obtain hardness results showing that neither variant can be approximated in polynomial time within a factor better than n12 (unless P. =NP). Furthermore, for the optimization variants where the solution size s is given and the task is to maximize the anonymity level k, this inapproximability result even holds if we allow a running time of f(s). nO(1) for any computable function f. On the positive side, we classify both problem variants as fixed-parameter tractable with respect to the combined parameter solution size s and maximum degree δ.

AB - A graph is said to be k-anonymous for an integer k, if for every vertex in the graph there are at least k-1 other vertices with the same degree. We examine the computational complexity of making a given undirected graph k-anonymous either through at most s vertex deletions or through at most s edge deletions; the corresponding problem variants are denoted by Anonym V-Del and Anonym E-Del.We present a variety of hardness results, most of them hold for both problems. The two variants are intractable from the parameterized as well as from the approximation point of view. In particular, we show that both variants remain NP-hard on very restricted graph classes like trees even if k=2. We further prove that both variants are W[1]-hard with respect to the combined parameter solutions size s and anonymity level k. With respect to approximability, we obtain hardness results showing that neither variant can be approximated in polynomial time within a factor better than n12 (unless P. =NP). Furthermore, for the optimization variants where the solution size s is given and the task is to maximize the anonymity level k, this inapproximability result even holds if we allow a running time of f(s). nO(1) for any computable function f. On the positive side, we classify both problem variants as fixed-parameter tractable with respect to the combined parameter solution size s and maximum degree δ.

KW - Approximation-hardness

KW - Graph algorithms

KW - NP-hardness

KW - W-hardness

UR - http://www.scopus.com/inward/record.url?scp=84958259729&partnerID=8YFLogxK

U2 - 10.1016/j.tcs.2016.02.004

DO - 10.1016/j.tcs.2016.02.004

M3 - Article

AN - SCOPUS:84958259729

VL - 622

SP - 90

EP - 110

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

ER -