1: \begin{definition}\label{def:must_expand_graph}

2: 	The Must-Expand Graph $G_{\mathit{MX}}(I)$ of problem instance $I = (G,\hF,\hB) \in I_{CON}$ is an undirected, unweighted bipartite graph defined as follows.

3: 	For each state $u \in G$, there are two vertices in $G_{\mathit{MX}}(I)$, the left vertex $u_F$ and right vertex $u_B$.

4: 	For each pair of states  $u, v \in G$, there is an edge in $G_{\mathit{MX}}(I)$ between $u_F$ and $v_B$ if and only if there exist an optimal forward path $U$ with $U_0=start$ and $end(U)=u$ and an optimal backward path $V$ with $V_0=goal$ and $end(V)=v$  such that $lb(U,V) < \Cstar$.  Thus, there is an edge in $G_{\mathit{MX}}(I)$ between $u_F$ and $v_B$ if and only if Theorem~\ref{thm:sufficient_condition} requires the state pair $(u,v)$ to be expanded.

5: \end{definition}

6: