Multiplication of 0-1 matrices via clustering

We study applications of clustering (in particular the $k$-center clustering problem) in the design of efficient and practical deterministic algorithms for computing an approximate and the exact arithmetic matrix product of two 0-1 rectangular matrices $A$ and $B$ with clustered rows or columns, respectively. Let $\lambda_A$ and $\lambda_B$ denote the minimum maximum radius of a cluster in an $\ell$-center clustering of the rows of $A$ and in a $k$-center clustering of the columns of $B,$ respectively. In particular, assuming that the matrices have size $n\times n$, we obtain the following results. A simple deterministic algorithm that approximates each entry of the arithmetic matrix product of $A$ and $B$ within the additive error of at most $2\lambda_A$ in $O(n^2\ell)$ time or at most $2\lambda_B$ in $O(n^2k)$ time. A simple deterministic preprocessing of the matrices $A$ and $B$ in $O(n^2\ell)$ time or $O(n^2k)$ time such that a query asking for the exact value of an arbitrary entry of the arithmetic matrix product of $A$ and $B$ can be answered in $O(\lambda_A)$ time or $O(\lambda_B)$ time, respectively. A simple deterministic algorithm for the exact arithmetic matrix product of $A$ and $B$ running in time $O(n^2(\ell+k+\min\{\lambda_A,\lambda_B\}))$.