Per quali grafici non orientati sono tutti gli alberi di ricerca della prima profondità (per tutti i possibili vertici di partenza e per tutte le scelte di quali vicini devono cercare per primi) i percorsi diretti? Cioè, ogni albero DFS dovrebbe avere solo una foglia e ogni altro vertice dovrebbe avere esattamente un figlio.
Ad esempio, è vero per cicli, grafici completi e grafici bipartiti completi bilanciati.
Trovare un albero DFS che non sia un percorso è ovviamente in NP. È NP-completo o polinomiale?