794 research outputs found
Lower Bounds for Combinatorial Algorithms for Boolean Matrix Multiplication
In this paper we propose models of combinatorial algorithms for the Boolean
Matrix Multiplication (BMM), and prove lower bounds on computing BMM in these models.
First, we give a relatively relaxed combinatorial model which is an extension of the model by Angluin (1976),
and we prove that the time required by any algorithm
for the BMM is at least Omega(n^3 / 2^{O( sqrt{ log n })}). Subsequently, we propose a more general model capable of simulating the
"Four Russian Algorithm". We prove a lower bound of Omega(n^{7/3} / 2^{O(sqrt{ log n })}) for the BMM under this model.
We use a special class of graphs, called (r,t)-graphs, originally discovered by Rusza and Szemeredi (1978),
along with randomization, to construct matrices that are hard instances for our combinatorial models
Approximating LCS and Alignment Distance over Multiple Sequences
We study the problem of aligning multiple sequences with the goal of finding
an alignment that either maximizes the number of aligned symbols (the longest
common subsequence (LCS)), or minimizes the number of unaligned symbols (the
alignment distance (AD)). Multiple sequence alignment is a well-studied problem
in bioinformatics and is used to identify regions of similarity among DNA, RNA,
or protein sequences to detect functional, structural, or evolutionary
relationships among them. It is known that exact computation of LCS or AD of
sequences each of length requires time unless the Strong
Exponential Time Hypothesis is false. In this paper, we provide several results
to approximate LCS and AD of multiple sequences.
If the LCS of sequences each of length is for some
, then in
time, we can return a common subsequence of length at least for any arbitrary constant .
It is possible to approximate the AD within a factor of two in time
. However, going below-2
approximation requires breaking the triangle inequality barrier which is a
major challenge in this area. No such algorithm with a running time of
for any is known. If the AD is , then
we design an algorithm that approximates the AD within an approximation factor
of in
time. Thus, if is a
constant, we get a below-two approximation in
time. Moreover, we show if just
one out of sequences is -pseudorandom then, we get a below-2
approximation in time
irrespective of
- …