On some fine-grained questions in algorithms and complexity
VV Williams - Proceedings of the international congress of …, 2018 - World Scientific
In recent years, a new “fine-grained” theory of computational hardness has been developed,
based on “fine-grained reductions” that focus on exact running times for problems …
based on “fine-grained reductions” that focus on exact running times for problems …
Unifying and strengthening hardness for dynamic problems via the online matrix-vector multiplication conjecture
Consider the following Online Boolean Matrix-Vector Multiplication problem: We are given
an nxn matrix M and will receive n column-vectors of size n, denoted by v1,..., vn, one by …
an nxn matrix M and will receive n column-vectors of size n, denoted by v1,..., vn, one by …
Popular conjectures imply strong lower bounds for dynamic problems
We consider several well-studied problems in dynamic algorithms and prove that sufficient
progress on any of them would imply a breakthrough on one of five major open problems in …
progress on any of them would imply a breakthrough on one of five major open problems in …
Faster all-pairs shortest paths via circuit complexity
R Williams - Proceedings of the forty-sixth annual ACM symposium …, 2014 - dl.acm.org
We present a new randomized method for computing the min-plus product (aka, tropical
product) of two n× n matrices, yielding a faster algorithm for solving the all-pairs shortest …
product) of two n× n matrices, yielding a faster algorithm for solving the all-pairs shortest …
Proofs of useful work
Abstract We give Proofs of Work (PoWs) whose hardness is based on a wide array of
computational problems, including Orthogonal Vectors, 3SUM, All-Pairs Shortest Path, and …
computational problems, including Orthogonal Vectors, 3SUM, All-Pairs Shortest Path, and …
Approximation and fixed parameter subquadratic algorithms for radius and diameter in sparse graphs
The radius and diameter are fundamental graph parameters, with several natural definitions
for directed graphs. Each definition is well-motivated in a variety of applications. All versions …
for directed graphs. Each definition is well-motivated in a variety of applications. All versions …
Hardness of easy problems: Basing hardness on popular conjectures such as the strong exponential time hypothesis (invited talk)
V Vassilevska Williams - 10th International Symposium on …, 2015 - drops.dagstuhl.de
Algorithmic research strives to develop fast algorithms for fundamental problems. Despite its
many successes, however, many problems still do not have very efficient algorithms. For …
many successes, however, many problems still do not have very efficient algorithms. For …
Homomorphisms are a good basis for counting small subgraphs
We introduce graph motif parameters, a class of graph parameters that depend only on the
frequencies of constant-size induced subgraphs. Classical works by Lovász show that many …
frequencies of constant-size induced subgraphs. Classical works by Lovász show that many …
Tight hardness for shortest cycles and paths in sparse graphs
Fine-grained reductions have established equivalences between many core problems with
Õ (n 3)-time algorithms on n-node weighted graphs, such as Shortest Cycle, All-Pairs …
Õ (n 3)-time algorithms on n-node weighted graphs, such as Shortest Cycle, All-Pairs …
Finding, minimizing, and counting weighted subgraphs
For a pattern graph H on k nodes, we consider the problems of finding and counting the
number of (not necessarily induced) copies of H in a given large graph G on n nodes, as …
number of (not necessarily induced) copies of H in a given large graph G on n nodes, as …