Quantum and approximation algorithms for maximum witnesses of Boolean matrix products

by   Mirosław Kowaluk, et al.

The problem of finding maximum (or minimum) witnesses of the Boolean product of two Boolean matrices (MW for short) has a number of important applications, in particular the all-pairs lowest common ancestor (LCA) problem in directed acyclic graphs (dags). The best known upper time-bound on the MW problem for n× n Boolean matrices of the form O(n^2.575) has not been substantially improved since 2006. In order to obtain faster algorithms for this problem, we study quantum algorithms for MW and approximation algorithms for MW (in the standard computational model). Some of our quantum algorithms are input or output sensitive. Our fastest quantum algorithm for the MW problem, and consequently for the related problems, runs in time Õ(n^2+λ/2)=Õ(n^2.434), where λ satisfies the equation ω(1, λ, 1) = 1 + 1.5 λ and ω(1, λ, 1) is the exponent of the multiplication of an n × n^λmatrix by an n^λ× n matrix. Next, we consider a relaxed version of the MW problem (in the standard model) asking for reporting a witness of bounded rank (the maximum witness has rank 1) for each non-zero entry of the matrix product. By reducing the relaxed problem to the so called k-witness problem, we provide an algorithm that reports for each non-zero entry C[i,j] of the product matrix C a witness of rank O( W_C(i,j)/k ), where W_C(i,j) is the number of witnesses for C[i,j], with high probability. The algorithm runs in Õ(n^ωk^0.4653 +n^2k) time, where ω=ω(1,1,1).


page 1

page 2

page 3

page 4


{-1,0,1}-APSP and (min,max)-Product Problems

In the {-1,0,1}-APSP problem the goal is to compute all-pairs shortest p...

Stochastic Low-Rank Bandits

Many problems in computer vision and recommender systems involve low-ran...

Fast Algorithms for Minimum Cycle Basis and Minimum Homology Basis

We study the problem of finding a minimum homology basis, that is, a sho...

The tensor rank of 5x5 matrices multiplication is bounded by 98 and its border rank by 89

We present a non-commutative algorithm for the product of 3x5 by 5x5 mat...

Approximation Schemes for Low-Rank Binary Matrix Approximation Problems

We provide a randomized linear time approximation scheme for a generic p...

The Essential Algorithms for the Matrix Chain

For a given product of n matrices, the matrix chain multiplication probl...

An attack on Zarankiewicz's problem through SAT solving

The Zarankiewicz function gives, for a chosen matrix and minor size, the...

Please sign up or login with your details

Forgot password? Click here to reset