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 …
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 …
Hardness of approximation in P via short cycle removal: cycle detection, distance oracles, and beyond
We present a new technique for efficiently removing almost all short cycles in a graph
without unintentionally removing its triangles. Consequently, triangle finding problems do …
without unintentionally removing its triangles. Consequently, triangle finding problems do …
Matching triangles and basing hardness on an extremely popular conjecture
Due to the lack of unconditional polynomial lower bounds, it is now in fashion to prove
conditional lower bounds in order to advance our understanding of the class P. The vast …
conditional lower bounds in order to advance our understanding of the class P. The vast …
Simulating branching programs with edit distance and friends: or: a polylog shaved is a lower bound made
A recent, active line of work achieves tight lower bounds for fundamental problems under the
Strong Exponential Time Hypothesis (SETH). A celebrated result of Backurs and Indyk …
Strong Exponential Time Hypothesis (SETH). A celebrated result of Backurs and Indyk …
Fully polynomial-time parameterized computations for graphs and matrices of low treewidth
We investigate the complexity of several fundamental polynomial-time solvable problems on
graphs and on matrices, when the given instance has low treewidth; in the case of matrices …
graphs and on matrices, when the given instance has low treewidth; in the case of matrices …
Sparsifying, shrinking and splicing for minimum path cover in parameterized linear time
A minimum path cover (MPC) of a directed acyclic graph (DAG) G=(V, E) is a minimum-size
set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic …
set of paths that together cover all the vertices of the DAG. Computing an MPC is a basic …
Multivariate fine-grained complexity of longest common subsequence
We revisit the classic combinatorial pattern matching problem of finding a longest common
subsequence (LCS). For strings x and y of length n, a textbook algorithm solves LCS in time …
subsequence (LCS). For strings x and y of length n, a textbook algorithm solves LCS in time …
Nondeterministic extensions of the strong exponential time hypothesis and consequences for non-reducibility
We introduce the Nondeterministic Strong Exponential Time Hypothesis (NSETH) as a
natural extension of the Strong Exponential Time Hypothesis (SETH). We show that both …
natural extension of the Strong Exponential Time Hypothesis (SETH). We show that both …
KADABRA is an adaptive algorithm for betweenness via random approximation
M Borassi, E Natale - Journal of Experimental Algorithmics (JEA), 2019 - dl.acm.org
We present KADABRA, a new algorithm to approximate betweenness centrality in directed
and undirected graphs, which significantly outperforms all previous approaches on real …
and undirected graphs, which significantly outperforms all previous approaches on real …