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 …

Unifying and strengthening hardness for dynamic problems via the online matrix-vector multiplication conjecture

M Henzinger, S Krinninger, D Nanongkai… - Proceedings of the forty …, 2015 - dl.acm.org
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 …

Popular conjectures imply strong lower bounds for dynamic problems

A Abboud, VV Williams - 2014 IEEE 55th Annual Symposium …, 2014 - ieeexplore.ieee.org
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 …

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 …

Proofs of useful work

M Ball, A Rosen, M Sabin, PN Vasudevan - Cryptology ePrint Archive, 2017 - eprint.iacr.org
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 …

Approximation and fixed parameter subquadratic algorithms for radius and diameter in sparse graphs

A Abboud, VV Williams, J Wang - Proceedings of the twenty-seventh annual …, 2016 - SIAM
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 …

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 …

Homomorphisms are a good basis for counting small subgraphs

R Curticapean, H Dell, D Marx - Proceedings of the 49th Annual ACM …, 2017 - dl.acm.org
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 …

Tight hardness for shortest cycles and paths in sparse graphs

A Lincoln, VV Williams, R Williams - Proceedings of the Twenty-Ninth Annual …, 2018 - SIAM
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 …

Finding, minimizing, and counting weighted subgraphs

V Vassilevska, R Williams - Proceedings of the forty-first annual ACM …, 2009 - dl.acm.org
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 …