Bounds for Semi-disjoint Bilinear Forms in a Unit-Cost Computational Model
2017 (English)In: Theory and Applications of Models of Computation, Springer, 2017, p. 411-423Conference paper, Published paper (Refereed)
Abstract [en]
We study the complexity of the so called semi-disjoint bilinear forms over different semi-rings, in particular the n-dimensional vector convolution and n x n matrix product. We consider a powerful unit-cost computational model over the ring of integers allowing for several additional operations and generation of large integers. We show the following dichotomy for such a powerful model: while almost all arithmetic semi-disjoint bilinear forms have the same asymptotic time complexity as that yielded by naive algorithms, matrix multiplication, the so called distance matrix product, and vector convolution can be solved in a linear number of steps. It follows in particular that in order to obtain a non-trivial lower bounds for these three basic problems one has to assume restrictions on the set of allowed operations and/or the size of used integers.
Place, publisher, year, edition, pages
Springer, 2017. p. 411-423
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10185
Keywords [en]
Semi-disjoint bilinear form, Semi-ring, Vector convolution, Matrix multiplication, Distance product, Circuit complexity, Unit-cost ram, Time complexity
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mau:diva-12397DOI: 10.1007/978-3-319-55911-7_30ISI: 000425175500030Scopus ID: 2-s2.0-85018441953Local ID: 27328OAI: oai:DiVA.org:mau-12397DiVA, id: diva2:1409444
Conference
International Conference on Theory and Applications of Models of Computation, Bern, Switzerland (20-22 April, 2017)
2020-02-292020-02-292024-06-17Bibliographically approved