Sciweavers

FOCS
1992
IEEE
14 years 4 months ago
Witnesses for Boolean Matrix Multiplication and for Shortest Paths
Abstract Summary of results The subcubic (O(n ) for < 3) algorithms to multiply Boolean matrices do not provide the witnesses; namely, they compute C = AB but if Cij = 1 they d...
Noga Alon, Zvi Galil, Oded Margalit, Moni Naor