Matrix Product Verification: Difference between revisions

From Algorithm Wiki
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
 
(One intermediate revision by the same user not shown)
Line 12: Line 12:
== Parameters ==  
== Parameters ==  


<pre>n: dimension of square matrix</pre>
$n$: dimension of square matrix


== Table of Algorithms ==  
== Table of Algorithms ==  

Latest revision as of 08:18, 10 April 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/doi/pdf/10.1145/3186893, Theorem 4.1 link