함수동상 그래프
시간 제한2초메모리 제한1024 MB
각 정점에서 나가는 간선이 하나씩인 함수 그래프에서, 빈 정점으로만 동상을 옮길 수 있을 때 도달 가능한 동상 배치의 가짓수를 10^9+7로 나눈 나머지를 구한다.
문제
개의 정점과 개의 단방향 간선으로 이루어진 그래프가 주어진다. 각 정점에는 부터 까지 번호가 매겨져 있다. 각 정점은 정확히 하나의 나가는 간선을 가지며, 그중 번 정점에서 나가는 간선의 도착 정점은 번 정점이다. 자기 자신으로 돌아가는 간선 역시 존재할 수 있다.
이 그래프의 정점 중 개의 정점 위에는 동상이 하나씩 놓여 있다. 이때 다음 행동을 회 이상 원하는 만큼 실행할 수 있다.
- 번 정점의 동상을 선택해 간선을 따라 번 정점으로 옮긴다. 번 정점에는 동상이 놓여 있어야 하며, 번 정점에는 동상이 없어야 한다.
원하는 만큼 행동을 수행한 뒤, 동상이 올라가 있는 정점의 집합으로 가능한 경우의 수를 구해 보자.
입력
첫째 줄에 두 정수 과 가 공백으로 구분되어 주어진다.
둘째 줄에 각 정점에서 나가는 간선의 도착 정점의 번호를 나타내는 개의 정수 이 공백으로 구분되어 주어진다.
셋째 줄에 각 동상이 놓여 있는 정점의 번호를 나타내는 개의 서로 다른 양의 정수가 공백으로 구분되어 오름차순으로 주어진다.
출력
첫째 줄에 동상이 올라가 있는 정점의 집합으로 가능한 경우의 수를 로 나눈 나머지를 출력한다. 은 소수다.