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.

On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms.

Feasibility Analysis of Conditional DAG Tasks is co-NPNP-Hard

Real-Time Scheduling of Conditional DAG Tasks with Intra-Task Priority Assignment

On Computing Exact WCRT for DAG Tasks

Calculating Response-Time Bounds for OpenMP Task Systems with Conditional Branches

Algorithms for Computing the WCRT Bound of OpenMP Task Systems With Conditional Branches

On the Complexity of Minimizing Energy Consumption of Partitioning DAG Tasks

A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF.

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

Scheduling Dags under Uncertainty

Response Time Analysis for Prioritized DAG Task with Mutually Exclusive Vertices

Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks

Efficient Feasibility Analysis for Graph-Based Real-Time Task Systems

Utilization-Tensity Bound for Real-Time DAG Tasks under Global EDF Scheduling

Multi-Path Bound for DAG Tasks

Learning to Schedule DAG Tasks

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic

On the degree of parallelism for parallel real-time tasks

Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms.

Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism

Bounding the Response Time of DAG Tasks Using Long Paths