Previous chapter Next chapter Full AccessProceedings Proceedings of the 2010 SIAM International Conference on Data Mining (SDM)A SAT-based Framework for Efficient Constrained ClusteringIan Davidson, S. S. Ravi, and Leonid ShamisIan DavidsonDepartment of Computer Science, University of California – Davis, Davis, CADepartment of Computer Science, University at Albany – Albany, NYDepartment of Computer Science, University of California – Davis, CASearch for more papers by this author, S. S. RaviDepartment of Computer Science, University of California – Davis, Davis, CADepartment of Computer Science, University at Albany – Albany, NYDepartment of Computer Science, University of California – Davis, CASearch for more papers by this author, and Leonid ShamisDepartment of Computer Science, University of California – Davis, Davis, CADepartment of Computer Science, University at Albany – Albany, NYDepartment of Computer Science, University of California – Davis, CASearch for more papers by this authorpp.94 - 105Chapter DOI:https://doi.org/10.1137/1.9781611972801.9PDFBibTexSections ToolsAdd to favoritesExport CitationTrack CitationsEmail SectionsAboutAbstract The area of clustering under constraints has recently received much attention in the data mining community. However, most work involves adding constraints to existing algorithms which, although being quite pragmatic, raises several difficulties. Examples of these difficulties include creating intractable constraint satisfaction sub-problems and constrained clustering algorithms that are easily over-constrained so they may not converge or converge to a poor clustering solution. In this paper we show how both instance and cluster-level constraints can be expressed as instances of the 2SAT problem and how multiple calls to a 2SAT solver can be used to construct algorithms that are guaranteed to satisfy all the constraints and converge to a global optimum for a number of intuitive objective functions. Our approach provides two additional advantages. Firstly, it leads to polynomial time algorithms for the k = 2 case for several objective functions. Secondly, one can specify large sets of constraints without fear of over-constraining the problem: if one or more solutions satisfying all constraints exist, our algorithm is guaranteed to find a best such solution. We present experimental results to show that our approach outperforms several popular algorithms particularly for large constraint sets, where these algorithms are over-constrained and fair poorly. Previous chapter Next chapter RelatedDetails Published:2010ISBN:978-0-89871-703-7eISBN:978-1-61197-280-1 https://doi.org/10.1137/1.9781611972801Book Series Name:ProceedingsBook Code:PR136Book Pages:1-953
Read more