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
Extreme Witnesses and Their Applications
Department of Computer Science, Lund University, Lund, 22100, Sweden.
Malmö University, Faculty of Technology and Society (TS), Department of Computer Science and Media Technology (DVMT).
2018 (English)In: Algorithmica, ISSN 0178-4617, E-ISSN 1432-0541, Vol. 80, no 12, p. 3943-3957Article in journal (Refereed) Published
Abstract [en]

We study the problem of computing the so called minimum and maximum witnesses for Boolean vector convolution. We also consider a generalization of the problem which is to determine for each positive value at a coordinate of the convolution vector, q smallest (largest) witnesses, where q is the minimum of a parameter k and the number of witnesses for this coordinate. We term this problem the smallest k-witness problem or the largest k-witness problem, respectively. We also study the corresponding smallest and largest k-witness problems for Boolean matrix product. First, we present an (O) over tilde (n(1.5)k(0.5))-time algorithm for the smallest or largest k-witness problem for the Boolean convolution of two n-dimensional vectors, where the notation (O) over tilde ( ) suppresses polylogarithmic in n factors. In consequence, we obtain new upper time bounds on reporting positions of mismatches in potential string alignments and on computing restricted cases of the (min, +) vector convolution. Next, we present a fast (substantially subcubic in n and linear in k) algorithm for the smallest or largest k-witness problem for the Boolean matrix product of two n x n Boolean matrices. It yields fast algorithms for reporting k lightest (heaviest) triangles in a vertex-weighted graph.

Place, publisher, year, edition, pages
Springer, 2018. Vol. 80, no 12, p. 3943-3957
Keywords [en]
Boolean vector convolution, Boolean matrix product, String matching, Witnesses, Minimum and maximum witnesses, Lightest triangles, Time complexity
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mau:diva-2631DOI: 10.1007/s00453-018-0492-8ISI: 000447361100020Scopus ID: 2-s2.0-85051750918Local ID: 27262OAI: oai:DiVA.org:mau-2631DiVA, id: diva2:1399394
Available from: 2020-02-27 Created: 2020-02-27 Last updated: 2024-06-17Bibliographically approved

Open Access in DiVA

fulltext(1542 kB)214 downloads
File information
File name FULLTEXT01.pdfFile size 1542 kBChecksum SHA-512
e46408e3c0cfbb78b7d201ba35f9a51164058e6c6d47ba6a48e2b3c8a374d7d3581c3d50452485cf1b2e78d15e6456467dc991f2d60702cf8a5d74693c872f95
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
Algorithmica
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 215 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: 82 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