Matrix Product Verification: Difference between revisions
Jump to navigation
Jump to search
(Created page with "{{DISPLAYTITLE:Matrix Product Verification (Matrix Product)}} == 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 == <pre>n: dimension of square matrix</pre> == Table of...") |
No edit summary |
||
| Line 12: | Line 12: | ||
== Parameters == | == Parameters == | ||
n: dimension of square matrix | |||
== Table of Algorithms == | == Table of Algorithms == | ||
Revision as of 12:02, 15 February 2023
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 |