合ってると思うぞ
全パスを列挙する必要があるから制約の数が指数オーダーになるが