# 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/doi/pdf/10.1145/3186893, Theorem 4.1 | link |