設問3の回答について、
選択肢イ(探索が完了せずに終了して，配列 path に格納された経路は一筆書きの経路にならない。)が正解になりえるグラフも存在しませんか？
たとえば、
辺1=(点a, 点b)、辺2=(点c, 点a)、 辺3=(点c, 点b)
のような三角形で出発点が点aの場合、数回繰り返したのち辺2,辺3の探索は行わずtopの値が0になってエラーが起こる。
エラーが起こらなかったとしても、lastが1未満になって終わる。
みたいな状況です。
わかるかた教えてください。

>辺1=(点a, 点b)、辺2=(点c, 点a)、 辺3=(点c, 点b)のような三角形
そもそもこれは"強連結な"有向グラフではないのでは？

その通りですね。
勘違いしていました、ありがとうございます。