aiqbench analysis
This paper proposes a method for k-means clustering that encodes pairwise must-link and cannot-link constraints algebraically and simplifies them with Gröbner bases before optimization. The approach can also check whether a constraint set is feasible before running the optimization, which addresses a known failure mode of existing constrained clustering methods. The reported gains are modest and conditional, with a clear advantage mainly when the number of constraints and clusters is small, so readers should check how the method scales on larger problems.
An Algebraic Approach to Constrained K-means Clustering
arXiv:2610.14932v1 Announce Type: cross Abstract: Clustering is typically performed using only object features, although additional information about relationships between objects may be available and can be incorporated through constraints. Among these, pairwise constraints require two objects to belong to the same cluster or to different clusters. Several extensions of the k-means algorithm accommodate such constraints, but they sometimes fail to find a feasible assignment or incur high computational cost. Motivated by these limitations, we propose an algebraic approach to k-means clustering with pairwise constraints. The algorithm simplifies the constraints using Gr\"{o}bner bases before optimization, improving the efficiency of cluster assignment. It can also detect whether the constraint set has a feasible assignment before optimization. Comparative experiments with existing algorithms showed that the proposed algorithm achieved comparable or better clustering quality at a lower computational cost, particularly when the numbers of constraints and clusters were small.
Abstract:Clustering is typically performed using only object features, although additional information about relationships between objects may be available and can be incorporated through constraints. Among these, pairwise constraints require two objects to belong to the same cluster or to different clusters. Several extensions of the k-means algorithm accommodate such constraints, but they sometimes fail to find a feasible assignment or incur high computational cost. Motivated by these limitations, we propose an algebraic approach to k-means clustering with pairwise constraints. The algorithm simplifies the constraints using Gröbner bases before optimization, improving the efficiency of cluster assignment. It can also detect whether the constraint set has a feasible assignment before optimization. Comparative experiments with existing algorithms showed that the proposed algorithm achieved comparable or better clustering quality at a lower computational cost, particularly when the numbers of constraints and clusters were small.
Methodology (stat.ME); Machine Learning (cs.LG); Computation (stat.CO)
arXiv:2610.14932 [stat.ME]
(or arXiv:2610.14932v1 [stat.ME] for this version)
https://doi.org/10.48550/arXiv.2610.14932 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 238 words
Related coverage

The Entangled Dimensions of Decision Theory
LessWrong · Jul 30, 2026
Running Variational Quantum Eigensolver with Qiskit Aer on AMD Instinct
AMD · May 29, 2026
From Vector Search to Agentic RAG: Building an Enterprise Research Analyst with hipVS
AMD · Jul 15, 2026
Dialogue with Eliezer Yudkowsky on Neural Networks
LessWrong · Oct 2, 2026