Spectral methods for matrices and tensors
Proceedings of the forty-second ACM symposium on Theory of computing
More Algorithms for All-Pairs Shortest Paths in Weighted Graphs
SIAM Journal on Computing
A deterministic algorithm for the Frieze-Kannan regularity lemma
APPROX'11/RANDOM'11 Proceedings of the 14th international workshop and 15th international conference on Approximation, randomization, and combinatorial optimization: algorithms and techniques
Subquadratic time approximation algorithms for the girth
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
Improved output-sensitive quantum algorithms for Boolean matrix multiplication
Proceedings of the twenty-third annual ACM-SIAM symposium on Discrete Algorithms
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
A Deterministic Algorithm for the Frieze-Kannan Regularity Lemma
SIAM Journal on Discrete Mathematics
All-pairs shortest paths for unweighted undirected graphs in o(mn) time
ACM Transactions on Algorithms (TALG)
Hi-index | 0.00 |
We present new combinatorial algorithms for Boolean matrix multiplication (BMM) and preprocessing a graph to answer independent set queries. We give the first asymptotic improvements on combinatorial algorithms for dense BMM in many years, improving on the "Four Russians'' O(n^3/(w\log n)) bound for machine models with word size w. (For a pointer machine, we can set w = \log n.) The algorithms utilize notions from Regularity Lemmas for graphs in a novel way. We give two randomized combinatorial algorithms for BMM. The first algorithm is essentially a reduction from BMM to the {\em Triangle Removal Lemma}. The best known bounds for the Triangle Removal Lemma only imply an O\left((n^3 \log \beta )/(\beta w \log n)\right) time algorithm for BMM where \beta = (\log^*n)^{\delta} for some \delta 0, but improvements on the Triangle Removal Lemma would yield corresponding runtime improvements. The second algorithm applies the Weak Regularity Lemma of Frieze and Kannan along with several information compression ideas, running in $O\left(n^3 (\log \log n)^2/(\log n)^{9/4})\right)$ time with probability exponentially close to 1. When $w \geq \log n$, it can be implemented in O\left(n^3 (\log \log n)^2/(w \log n)^{7/6})\right) time. Our results immediately imply improved combinatorial methods for CFG parsing, detecting triangle-freeness, and transitive closure. Using Weak Regularity, we also give an algorithm for answering queries of the form is S \subseteq V an independent set? in a graph. Improving on prior work, we show how to randomly preprocess a graph in O(n^{2+\eps}) time (for all \eps 0) so that with high probability, all subsequent batches of \log n independent set queries can be answered deterministically in O\left(n^2 (\log \log n)^2/((\log n)^{5/4})\right) time. When w \geq \log n, w queries can be answered in O\left(n^2 (\log \log n)^2/((\log n)^{7/6})\right) time. In addition to its nice applications, this problem is interesting in that it is not known how to do better than O(n^2) using "algebraic'' methods.