Almost optimal Boolean matrix multiplication [BMM]-by multi-encoding of rows and columns
Combinatorics
2018-08-27 v2 Data Structures and Algorithms
Abstract
The Boolean product of two matrices is The near-optimal design reduces the complexity of computing from the standard to , for arbitrary small , by a practical algorithm. This renders reduced complexity to several graph-property tests: Finding triangles and higher-size cliques; finding all-pairs shortest paths, and more. Also, parsing a string by a context-free grammar is reduced to near quadratic in -size. The design uses several distinct 2-digit encodings: by by . Each one gives rise to bunches of short digraphs from sources 's to sinks 's via switching nodes, and walks between them. The combined information, using the Chinese remainder theorem, leads to the correct values of .
Cite
@article{arxiv.1806.08974,
title = {Almost optimal Boolean matrix multiplication [BMM]-by multi-encoding of rows and columns},
author = {Eli Shamir},
journal= {arXiv preprint arXiv:1806.08974},
year = {2018}
}
Comments
Proof is erroneous