Department of Computer Science | Institute of Theoretical Computer Science | CADMO

Theory of Combinatorial Algorithms

Prof. Emo Welzl and Prof. Bernd Gärtner

Mittagsseminar (in cooperation with A. Steger, D. Steurer and B. Sudakov)

Mittagsseminar Talk Information

Date and Time: Tuesday, November 19, 2019, 12:15 pm

Duration: 30 minutes

Location: OAT S15/S16/S17

Speaker: Vincent Cohen-Addad (Sorbonne Université)

On the Recent Progress on the Inapproximability of High Dimensional Clustering and the Johnson-Coverage Hypothesis.

k-median, k-means, and k-minsum are amongst the three most popular objectives for clustering algorithms. Despite intensive effort, a complete understanding of the approximability of these objectives remains a major open problem. In this paper, we significantly improve upon the hardness of approximation factors known in literature for these objectives: General metrics. We show that it is NP-hard to approximate the following objectives: • Continuous k-median to a factor of 2 − o ( 1 ) ; this improves upon the previous inapproximability factor of 1.36 shown by Guha and Khuller (J. Algorithms ’99). • Continuous k-means to a factor of 4 − o ( 1 ) ; this improves upon the previous in- approximability factor of 2.47 shown by Guha and Khuller (J. Algorithms ’99). • k-minsum to a factor of 1.415; this improves upon the APX-hardness shown by Guruswami and Indyk (SODA ’03). Furthermore, we show that our hardness of approximation result above for k-median and k-means is tight for a large range of settings. L_p-metrics. In this paper, we introduce a new hypothesis called the Johnson Coverage Hypothesis (JCH), and show that together with generalizations of known embedding techniques, JCH implies hardness of approximation results for k-median and k-means in L_p-metrics for factors which are close to the ones obtained for general metrics. In particular, assuming JCH we show that it is hard to approximate the k-means objec- tive: • Discrete case: to a factor of 3.94 in the L_1 -metric and to a factor of 1.73 in the L_2 -metric; this improves upon the previous factor of 1.56 and 1.17 respectively, of Cohen-Addad and Karthik (FOCS ’19). • Continuous case: To a factor of 1.36 in the L_2 -metric; this improves upon the inapproximability factor of 1.07 given by Cohen-Addad and Karthik (FOCS ’19). We also obtain similar improvements under JCH for the k-median objective. Finally, we establish a strong connection between JCH and the long standing open problem of determining the Hypergraph Turán number. We then use this connection to prove improved SDP gaps (over the existing factors in literature) for k-means and k-median objectives. Joint work with Karthik C.S. and Euiwoong Lee

Upcoming talks     |     All previous talks     |     Talks by speaker     |     Upcoming talks in iCal format (beta version!)

Previous talks by year:   2023  2022  2021  2020  2019  2018  2017  2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999  1998  1997  1996  

Information for students and suggested topics for student talks

Automatic MiSe System Software Version 1.4803M   |   admin login