Abstract:Consider the following Online Boolean Matrix-Vector Multiplication problem: We are given an n x n matrix M and will receive n column-vectors of size n, denoted by v1, ..., vn, one by one. After seeing each vector vi, we have to output the product Mvi before we can see the next vector. A naive algorithm can solve this problem using O(n3) time in total, and its running time can be slightly improved to O(n3/log2 n) [Williams SODA'07]. We show that a conjecture that there is no truly subcubic (O(n3-ε)) time algorithm for this problem can be used to exhibit the underlying polynomial time hardness shared by many dynamic problems. For a number of problems, such as subgraph connectivity, Pagh's problem, d-failure connectivity, decremental single-source shortest paths, and decremental transitive closure, this conjecture implies tight hardness results. Thus, proving or disproving this conjecture will be very interesting as it will either imply several tight unconditional lower bounds or break through a common barrier that blocks progress with these problems. This conjecture might also be considered as strong evidence against any further improvement for these problems since refuting it will imply a major breakthrough for combinatorial Boolean matrix multiplication and other long-standing problems if the term "combinatorial algorithms" is interpreted as "Strassen-like algorithms" [Ballard et al. SPAA'11]. The conjecture also leads to hardness results for problems that were previously based on diverse problems and conjectures -- such as 3SUM, combinatorial Boolean matrix multiplication, triangle detection, and multiphase -- thus providing a uniform way to prove polynomial hardness results for dynamic algorithms; some of the new proofs are also simpler or even become trivial. The conjecture also leads to stronger and new, non-trivial, hardness results, e.g., for the fully-dynamic densest subgraph and diameter problems.

Comparing the Hardness of Online Minimization and Maximization Problems with Predictions

Complexity Classes for Online Problems with and without Predictions

Learning-augmented Algorithms for Online Subset Sum

Online Algorithms for Machine Minimization

On the Complexity of Algorithms with Predictions for Dynamic Graph Problems

Near-Optimal Algorithms for Online Matrix Prediction

The Parameterized Complexity of Maximality and Minimality Problems

Maximization Problems Parameterized Using Their Minimization Versions: The Case of Vertex Cover

Online Optimization Problems with Functional Constraints under Relative Lipschitz Continuity and Relative Strong Convexity Conditions

Approximation Algorithms for Combinatorial Optimization with Predictions

The Complexity of Constrained Min-Max Optimization

Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture

Approximating Optimum Online for Capacitated Resource Allocation

Finding Optimal Solutions with Neighborly Help

Optimal Algorithms for Online b-Matching with Variable Vertex Capacities

Online Convex Covering and Packing Problems

Expected Maximin Fairness in Max-Cut and other Combinatorial Optimization Problems

Secretary and online matching problems with machine learned advice

Online Learning with Composite Loss Functions

Online Ordinal Problems: Optimality of Comparison-based Algorithms and their Cardinal Complexity

Constrained Non-Monotone Submodular Maximization: Offline and Secretary Algorithms