Matrix Product Verification (Matrix Product)

From Algorithm Wiki
Revision as of 08:18, 10 April 2023 by Admin (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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/doi/pdf/10.1145/3186893, Theorem 4.1 link