Malmö University Publications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
University of Liverpool, England.
Hong Kong Polytech University, Peoples Republic of China.
Lund University.
Lund University.
Show others and affiliations
2021 (English)In: Journal of computer and system sciences (Print), ISSN 0022-0000, E-ISSN 1090-2724, Vol. 118, p. 108-118Article in journal (Refereed) Published
Abstract [en]

Henzinger et al. posed the so-called Online Boolean Matrix-vector Multiplication (OMv) conjecture and showed that it implies tight hardness results for several basic dynamic or partially dynamic problems [STOC'15]. We first show that the OMv conjecture is implied by a simple off-line conjecture that we call the MvP conjecture. We then show that if the definition of the OMv conjecture is generalized to allow individual (i.e., it might be different for different matrices) polynomial-time preprocessing of the input matrix, then we obtain another conjecture (called the OMvP conjecture) that is in fact equivalent to our MvP conjecture. On the other hand, we demonstrate that the OMv conjecture does not hold in restricted cases where the rows of the matrix or the input vectors are clustered, and develop new efficient randomized algorithms for such cases. Finally, we present applications of our algorithms to answering graph queries. (c) 2021 Elsevier Inc. All rights reserved.

Place, publisher, year, edition, pages
Elsevier, 2021. Vol. 118, p. 108-118
Keywords [en]
Boolean matrix, Product of matrix and vector, Dynamic graph problems, Online computation, Time complexity
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mau:diva-41520DOI: 10.1016/j.jcss.2020.12.004ISI: 000615930900005Scopus ID: 2-s2.0-85099348676OAI: oai:DiVA.org:mau-41520DiVA, id: diva2:1541515
Available from: 2021-04-01 Created: 2021-04-01 Last updated: 2024-02-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Persson, Mia

Search in DiVA

By author/editor
Persson, Mia
By organisation
Department of Computer Science and Media Technology (DVMT)
In the same journal
Journal of computer and system sciences (Print)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 80 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf