Malmö University Publications
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
(min⁡,+) matrix and vector products for inputs decomposable into few monotone subsequences
Department of Computer Science, Lund University, Lund, Sweden.
Malmö University, Faculty of Technology and Society (TS), Department of Computer Science and Media Technology (DVMT).
2025 (English)In: Theoretical Computer Science, ISSN 0304-3975, E-ISSN 1879-2294, Vol. 1037, article id 115158Article in journal (Refereed) Published
Abstract [en]

We study the time complexity of computing the (min⁡,+) matrix product of two n×n integer matrices in terms of n and the number of monotone subsequences the rows of the first matrix and the columns of the second matrix can be decomposed into. In particular, we show that if each row of the first matrix can be decomposed into at most m1 monotone subsequences and each column of the second matrix can be decomposed into at most m2 monotone subsequences such that all the subsequences are non-decreasing or all of them are non-increasing then the (min⁡,+) product of the matrices can be computed in O(m1m2n2.569) time. On the other hand, we observe that if all the rows of the first matrix are non-decreasing and all columns of the second matrix are non-increasing or vice versa then this case is as hard as the general one. We also present six cases of the restrictions on the input integer matrices under which the problem of computing the (min⁡,+) matrix product is equally hard as that of computing the minimum and maximum witnesses of Boolean matrix product. Similarly, we also study the time complexity of computing the (min⁡,+) convolution of two n-dimensional integer vectors in terms of n and the number of monotone subsequences the two vectors can be decomposed into. We show that if the first vector can be decomposed into at most m1 monotone subsequences and the second vector can be decomposed into at most m2 subsequences such that all the subsequences of the first vector are non-decreasing and all the subsequences of the second vector are non-increasing or vice versa then their (min⁡,+) convolution can be computed in O˜(m1m2n1.5) time. On the other, the case when both sequences of consecutive coordinates of the vectors are non-decreasing or both of them are non-increasing is as hard as the general case. Finally, we present six cases of the restrictions on the input integer vectors under which the problem of computing the (min⁡,+) vector convolution is equally hard as that of computing the minimum and maximum witnesses of the Boolean vector convolution.

Place, publisher, year, edition, pages
Elsevier, 2025. Vol. 1037, article id 115158
Keywords [en]
(min⁡, +) convolution, (min⁡, +) matrix product, All-pairs shortest-paths problem (APSP), Monotone sequence, Time complexity
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mau:diva-75030DOI: 10.1016/j.tcs.2025.115158ISI: 001449966600001Scopus ID: 2-s2.0-105000034918OAI: oai:DiVA.org:mau-75030DiVA, id: diva2:1949064
Available from: 2025-04-01 Created: 2025-04-01 Last updated: 2025-04-04Bibliographically approved

Open Access in DiVA

fulltext(913 kB)29 downloads
File information
File name FULLTEXT01.pdfFile size 913 kBChecksum SHA-512
a83a85680487d2f765cdad0659462de064fef1b4938bc71b8c0546a3d6773b1fa9d88b24aeb90eee24c4d0dfdc20c54480d4399d86ad6a5e287628e51c43c418
Type fulltextMimetype application/pdf

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
Theoretical Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 29 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 51 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