배달하기
시간 제한1초메모리 제한1024 MB
건우가 매 분 머물거나 옮겨 다니면서 감시당하는 교차로를 피해 S에서 E까지 가장 빨리 도착하는 시각을 구합니다.
문제
건우는 배달 음식을 받아 기숙사에 있는 자신의 호실로 최대한 빨리 가려고 한다.
학교 건물은 부터 까지 번호가 붙은 개의 교차점(정점)과, 서로 다른 두 교차점을 잇는 개의 복도(간선)로 이루어진 양방향 그래프이다. 복도와 연결되지 않은 교차점이 있을 수 있고, 어떤 두 교차점 사이에는 어떤 경로로도 도달할 수 없는 경우도 있을 수 있다.
건우는 출발지인 번 교차점에서 목적지인 번 교차점까지 최대한 빨리 가고 싶다. 하지만 사감 선생님이 학교 곳곳을 CCTV로 감시하고 있어 경로를 신중하게 골라야 한다. 사감 선생님에게 배달 음식을 들고 있는 모습을 들키면 벌점을 받는다.
사감 선생님의 CCTV 감시는 분을 주기로 반복된다. 건우가 출발한 지 분이 지나면 사감 선생님은 번 교차점을 감시한다. 여기서 는 를 로 나눈 나머지이다.
건우는 분에 번 교차점에 있다. 정수 에 대하여 분 시점에 다음 일이 순서대로 일어난다.
- 사감 선생님이 번 교차점을 감시한다. 이때 건우가 그 교차점에 있으면 배달에 실패한다.
- 건우가 번 교차점에 있으면 배달에 성공한다.
- 건우는 두 가지 행동 중 하나를 고른다. 현재 교차점에 머무르거나, 인접한 교차점이 하나 이상 있을 때 그중 하나로 이동한다.
- 1분이 지난다.
건우가 배달에 성공할 수 있는지 판단하고, 성공할 수 있다면 배달하는 데 걸리는 최소 시간을 구하시오.
입력
첫째 줄에 교차점의 개수 과 복도의 개수 이 공백으로 구분되어 주어진다. (, )
둘째 줄에 건우의 출발지 교차점 번호 와 목적지 교차점 번호 가 공백으로 구분되어 주어진다. (, )
셋째 줄에 사감 선생님이 감시를 반복하는 주기 가 주어진다. ()
넷째 줄에 사감 선생님이 분부터 분까지 감시하는 교차점 번호 이 공백으로 구분되어 주어진다. 사감 선생님은 이 순서대로 CCTV 감시를 반복하며, 분에 번 교차점은 감시하지 않는다. (, )
다음 개의 줄에는 교차점 번호 , 가 공백으로 구분되어 주어진다. 이는 번 교차점과 번 교차점 사이에 양방향 복도가 있다는 뜻이다. 임의의 두 교차점을 잇는 복도는 최대 개이다. ()
입력으로 주어지는 모든 수는 정수이다.
출력
건우가 배달에 성공할 수 있다면 배달하는 데 걸리는 최소 시간을 분 단위의 정수로 출력한다. 배달에 성공할 수 없다면 을 출력한다.