Skip to main navigation Skip to search Skip to main content

Bounds for semi-disjoint bilinear forms in a unit-cost computational model

Andrzej Lingas, Mia Persson, Dzmitry Sledneu

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

Abstract

We study the complexity of the so called semi-disjoint bilin-ear forms over different semi-rings, in particular the n-dimensional vector convolution and n × n matrix product. We consider a powerful unit-cost computational model over the ring of integers allowing for several addi-tional 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.

Original languageEnglish
Title of host publicationTheory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings
PublisherSpringer
Pages412-424
Number of pages13
Volume10185 LNCS
ISBN (Print)9783319559100
Publication statusPublished - 2017
Event14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 - Bern, Switzerland
Duration: 2017 Apr 202017 Apr 22

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10185 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017
Country/TerritorySwitzerland
CityBern
Period2017/04/202017/04/22

Subject classification (UKÄ)

  • Computational Mathematics

Free keywords

  • Circuit complexity
  • Distance product
  • Matrix multiplication
  • Semi-disjoint bilinear form
  • Semi-ring
  • Time complexity
  • Unit-cost ram
  • Vector convolu-tion

Fingerprint

Dive into the research topics of 'Bounds for semi-disjoint bilinear forms in a unit-cost computational model'. Together they form a unique fingerprint.

Cite this