A universal bound on the space complexity of Directed Acyclic Graph computations

TL;DR

The challenging vertices technique, which constructs a pebbling schedule for G from a pebbling schedule for a simplified DAG, obtained by removing from G a selected set of vertices and their incident edges, yields improved pebbling upper bounds for DAGs with bounded genus and for DAGs with bounded topological depth.

Abstract

It is shown that $S(G) = O\left(m/\log_2 m + d\right)$ pebbles are sufficient to pebble any DAG $G=(V,E)$, with $m$ edges and maximum in-degree $d$. It was previously known that $S(G) = O\left(d n/\log n\right)$. The result builds on two novel ideas. The first is the notion of $B-budget\ decomposition$ of a DAG $G$, an efficiently computable partition of $G$ into at most $2^{\lfloor \frac{m}{B} \rfloor}$ sub-DAGs, whose cumulative space requirement is at most $B$. The second is the challenging vertices technique, which constructs a pebbling schedule for $G$ from a pebbling schedule for a simplified DAG $G'$, obtained by removing from $G$ a selected set of vertices $W$ and their incident edges. This technique also yields improved pebbling upper bounds for DAGs with bounded genus and for DAGs with bounded topological depth.

Theorems & Definitions (19)

• Lemma 1
• proof
• Lemma 2
• proof
• Lemma 3
• proof
• Lemma 4
• proof
• Lemma 5
• Theorem 6: Upper bound on space for DAGs with in-degree at most $\log_2 m$