1: \begin{definition}[Shortcut-Free Graphs]\label{def:shortcut-free-graph}

2:  Let $G = (V, E)$ be a DAG where $\scost(G, T) \geq s$. Let $t^{\s}_s$ be the last time step that exactly $s$ pebbles must be on $G$ during any normal and regular pebbling strategy, $\s$, 

3:  \iffullversion

4:  (where normal and regular are defined as in 

5: Theorems~\ref{thm:normality},~\ref{thm:regularity} and 

6: \fi

7: (see Thms~\ref{thm:normal-strategy} and~\ref{thm:regular-strategy}, \cite{GLT79,DL17}) that uses $s$ pebbles. More specifically, let 

8: \iffullversion

9:     \begin{align*}

10:     t^{\s}_s = \arg\max_{t' \in [t_{\s}]} \{|P_{t'}|: |P_{t'}| \geq \scost(\g, T)\}

11:     \end{align*} 

12:     where $t_{\s} = |\s|$ and $P_{t'} \in \s$ for all $t' \in [t_{\s}]$.

13: 

14: \fi

15: \ificalpshortversion

16:     $t^{\s}_s = \arg\max_{t' \in [t_{\s}]} \{|P_{t'}|: |P_{t'}| \geq \scost(\g, T)\}$

17:     where $t_{\s} = |\s|$ and $P_{t'} \in \s$ for all $t' \in [t_{\s}]$.

18: \fi

19: Let $X$ be the union of the set of nodes that are pebbled at $t^{\s}_s$ for all normal and regular strategies 

20: \ificalpfullversion

21: \fi

22: $\s$: $X = \bigcup\limits_{\s \in \mathbb{P}} P_{t^{\s}_s}$. Let $D$ be the set of descendants of nodes of $X$. A DAG is \emph{shortcut-free} if $|X| \leq s$ and given $s_1 < s$ pebbles placed on any subset $X_1 \subset X$, no normal and regular strategy uses less than $s - s_1$ pebbles to pebble $D \cup (X \backslash X_1)$.

23: \end{definition}

24: