Matrix Product Verification (Matrix Product)
Jump to navigation
Jump to search
Description
Given three matrices $A, B, C$, verify that $AB = C$, i.e. that $C$ is the matrix product of $A$ and $B$
Related Problems
Generalizations: Matrix Multiplication
Related: Boolean Matrix Multiplication, Boolean Matrix Multiplication (Combinatorial), Distance Product, $(\min, \leq)$ Product
Parameters
n: dimension of square matrix
Table of Algorithms
Currently no algorithms in our database for the given problem.
Reductions FROM Problem
| Problem | Implication | Year | Citation | Reduction |
|---|---|---|---|---|
| Negative Triangle Detection | if: to-time: $T(n)$ then: from-time: $O(T({2}n))$ |
2018 | https://dl-acm-org.ezproxy.canberra.edu.au/doi/pdf/10.1145/3186893, Theorem 4.1 | link |