<p>Constrained clustering problems generalize classical clustering formulations, e.g., <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-median</Emphasis>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-means</Emphasis>, by imposing additional constraints on the feasibility of a clustering. There has been significant recent progress in obtaining approximation algorithms for these problems, both in the metric and the Euclidean settings. However, the outlier version of these problems, where the solution is allowed to leave out <i>m</i> points from the clustering, is not well understood. In this work, we give a general framework for reducing the outlier version of a constrained <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-median</Emphasis> or <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-means</Emphasis> problem to the corresponding outlier-free version with only <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((1+\varepsilon )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>ε</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-loss in the approximation ratio. The reduction is obtained by mapping the original instance of the problem to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(k,m, \varepsilon )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <mi>ε</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> instances of the outlier-free version, where <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq7.gif" Format="GIF" Height="27" Rendition="HTML" Resolution="72" Type="Linedraw" Width="167" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(k, m, \varepsilon ) = \left( \frac{k+m}{\varepsilon }\right) ^{O(m)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>,</mo> <mi>m</mi> <mo>,</mo> <mi>ε</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mfenced close=")" open="("> <mfrac> <mrow> <mi>k</mi> <mo>+</mo> <mi>m</mi> </mrow> <mi>ε</mi> </mfrac> </mfenced> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. As specific applications, we get the following results:<UnorderedList Mark="Bullet"> <ItemContent> <p>First FPT (<i>in the parameters k and m</i>) <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((1+\varepsilon )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>ε</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm for the outlier version of capacitated <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-median</Emphasis> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-means</Emphasis> in Euclidean spaces with <i>hard</i> capacities.</p> </ItemContent> <ItemContent> <p>First FPT (<i>in the parameters k and m</i>) <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((3+\varepsilon )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mo>+</mo> <mi>ε</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\((9+\varepsilon )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>9</mn> <mo>+</mo> <mi>ε</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> approximation algorithms for the outlier version of capacitated <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-median</Emphasis> and <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-means</Emphasis>, respectively, in general metric spaces with <i>hard</i> capacities.</p> </ItemContent> <ItemContent> <p>First FPT (<i>in the parameters k and m</i>) <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq15.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\((2-\delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo>-</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-approximation algorithm for the outlier version of the <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1317_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(k\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation><Emphasis FontCategory="SansSerif">-median</Emphasis> problem under the Ulam metric.</p> </ItemContent> </UnorderedList> Our work generalizes the results of Bhattacharya et al. and Agrawal et al. to a larger class of constrained clustering problems. Further, our reduction works for arbitrary metric spaces and so can extend clustering algorithms for outlier-free versions in both Euclidean and arbitrary metric spaces.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Clustering What Matters in Constrained Settings

  • Ragesh Jaiswal,
  • Amit Kumar

摘要

Constrained clustering problems generalize classical clustering formulations, e.g., \(k\) k -median, \(k\) k -means, by imposing additional constraints on the feasibility of a clustering. There has been significant recent progress in obtaining approximation algorithms for these problems, both in the metric and the Euclidean settings. However, the outlier version of these problems, where the solution is allowed to leave out m points from the clustering, is not well understood. In this work, we give a general framework for reducing the outlier version of a constrained \(k\) k -median or \(k\) k -means problem to the corresponding outlier-free version with only \((1+\varepsilon )\) ( 1 + ε ) -loss in the approximation ratio. The reduction is obtained by mapping the original instance of the problem to \(f(k,m, \varepsilon )\) f ( k , m , ε ) instances of the outlier-free version, where \(f(k, m, \varepsilon ) = \left( \frac{k+m}{\varepsilon }\right) ^{O(m)}\) f ( k , m , ε ) = k + m ε O ( m ) . As specific applications, we get the following results:

First FPT (in the parameters k and m) \((1+\varepsilon )\) ( 1 + ε ) -approximation algorithm for the outlier version of capacitated \(k\) k -median and \(k\) k -means in Euclidean spaces with hard capacities.

First FPT (in the parameters k and m) \((3+\varepsilon )\) ( 3 + ε ) and \((9+\varepsilon )\) ( 9 + ε ) approximation algorithms for the outlier version of capacitated \(k\) k -median and \(k\) k -means, respectively, in general metric spaces with hard capacities.

First FPT (in the parameters k and m) \((2-\delta )\) ( 2 - δ ) -approximation algorithm for the outlier version of the \(k\) k -median problem under the Ulam metric.

Our work generalizes the results of Bhattacharya et al. and Agrawal et al. to a larger class of constrained clustering problems. Further, our reduction works for arbitrary metric spaces and so can extend clustering algorithms for outlier-free versions in both Euclidean and arbitrary metric spaces.