Fig. 4
From: Generating diversity and securing completeness in algorithmic retrosynthesis

The graph G from Simpler counter example without TCAÂ section in vertical orientation. Recall that the nodes in \(V_0\) and \(V_1\) are depicted as squares and circles, respectively, and that \(W_0=\{v_6\}, W_1=\emptyset\)