Misra, Neeldhara and Panolan, Fahad and Saurabh, Saket
(2013)
*Subexponential Algorithm for d-Cluster Edge Deletion: Exception or Rule?*
In: 38th International Symposium on Mathematical Foundations of Computer Science (MFCS), AUG 26-30, 2013, IST Austria, Klosterneuburg, AUSTRIA, pp. 679-690.

PDF
mat_fou_com_sci_8087_679_2013.pdf - Published Version Restricted to Registered users only Download (422kB) | Request a copy |

## Abstract

The correlation clustering problem is a fundamental problem in both theory and practice, and it involves identifying clusters of objects in a data set based on their similarity. A traditional modeling of this question as a graph theoretic problem involves associating vertices with data points and indicating similarity by adjacency. Clusters then correspond to cliques in the graph. The resulting optimization problem, Cluster Editing (and several variants) are very well-studied algorithmically. In many situations, however, translating clusters to cliques can be somewhat restrictive. A more flexible notion would be that of a structure where the vertices are mutually ``not too far apart'', without necessarily being adjacent. One such generalization is realized by structures called s-clubs, which are graphs of diameter at most s. In this work, we study the question of finding a set of at most k edges whose removal leaves us with a graph whose components are s-clubs. Recently, it has been shown that unless Exponential Time Hypothesis fail (ETH) fails Cluster Editing (whose components are 1-clubs) does not admit sub-exponential time algorithm STACS, 2013]. That is, there is no algorithm solving the problem in time 2 degrees((k))n(O(1)). However, surprisingly they show that when the number of cliques in the output graph is restricted to d, then the problem can be solved in time O(2(O(root dk)) + m + n). We show that this sub-exponential time algorithm for the fixed number of cliques is rather an exception than a rule. Our first result shows that assuming the ETH, there is no algorithm solving the s-Club Cluster Edge Deletion problem in time 2 degrees((k))n(O(1)). We show, further, that even the problem of deleting edges to obtain a graph with d s-clubs cannot be solved in time 2 degrees((k))n(O)(1) for any fixed s, d >= 2. This is a radical contrast from the situation established for cliques, where sub-exponential algorithms are known.

Item Type: | Conference Proceedings |
---|---|

Series.: | Lecture Notes in Computer Science |

Publisher: | SPRINGER-VERLAG BERLIN |

Additional Information: | Copy right for this article belongs to the SPRINGER-VERLAG BERLIN, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |

Keywords: | subexponential algorithms; s-clubs; cluster edge deletion; ETH-hardness |

Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |

Date Deposited: | 19 Nov 2014 04:34 |

Last Modified: | 19 Nov 2014 04:34 |

URI: | http://eprints.iisc.ac.in/id/eprint/50290 |

### Actions (login required)

View Item |