Jump to content

Online matrix-vector multiplication problem

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Palindromesemordnilap (talk | contribs) at 07:07, 30 April 2024 (added info on fastest known alg). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.


Unsolved problem in computer science
Is there an algorithm for solving the OMv problem in time , for some ?

In computational complexity theory, the online matrix-vector multiplication problem (OMv) asks an online algorithm to return, at each round, the product of an matrix and a newly-arrived -dimensional vector. OMv is conjectured to require roughly cubic time. This conjectured hardness implies lower bounds on the time needed to solve various dynamic problems and is of particular interest in fine-grained complexity.

Definition

In OMv, an algorithm is given an integer and an Boolean matrix . The algorithm then runs for rounds, and at each round receives an -dimensional vector and must return the product (before continuing to round ).[1]

Conjectured hardness

The hardness of OMv was conjectured by Henzinger, Krinninger, Nanongkai, and Saranurak in 2015.[1]

The best-known algorithm for OMv is implied by Williams and runs in time .[2]

Implications of conjectured hardness

References

  1. ^ a b Henzinger, Monika; Krinninger, Sebastian; Nanongkai, Danupon; Saranurak, Thatchaphol. "Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture". Proceedings of the ACM Symposium on Theory of Computing. STOC '15. Association for Computing Machinery: 21–30. doi:10.1145/2746539.2746609. ISBN 978-1-4503-3536-2.
  2. ^ Williams, Ryan (2007-01-07). "Matrix-vector multiplication in sub-quadratic time: (some preprocessing required)". Proceedings of the ACM-SIAM Symposium on Discrete algorithms. SODA '07. USA: 995–1001. ISBN 978-0-89871-624-5.