Lower bounds for Combinatorial Algorithms for Boolean Matrix Multiplication
Computational Complexity
2018-01-17 v1
Abstract
In this paper we propose models of combinatorial algorithms for the Boolean Matrix Multiplication (BMM), and prove lower bounds on computing BMM in these models. First, we give a relatively relaxed combinatorial model which is an extension of the model by Angluin (1976), and we prove that the time required by any algorithm for the BMM is at least . Subsequently, we propose a more general model capable of simulating the "Four Russians Algorithm". We prove a lower bound of for the BMM under this model. We use a special class of graphs, called -graphs, originally discovered by Rusza and Szemeredi (1978), along with randomization, to construct matrices that are hard instances for our combinatorial models.
Cite
@article{arxiv.1801.05202,
title = {Lower bounds for Combinatorial Algorithms for Boolean Matrix Multiplication},
author = {Debarati Das and Michal Koucký and Michael Saks},
journal= {arXiv preprint arXiv:1801.05202},
year = {2018}
}