탐욕 증가 수열을 갖는 순열의 개수 세기
시간 제한1초메모리 제한512 MB
1부터 N까지의 순열 가운데 주어진 수열 G를 탐욕 증가 부분수열로 가지는 것의 개수를 10^9+7로 나눈 나머지를 구한다.
문제
정수 의 순열 이 주어질 때, 탐욕 증가 부분수열(GIS)을 다음과 같이 정의한다.
이라 하자. 각 에 대해, 는 에서 보다 엄격히 큰 가장 왼쪽의 정수이다. 주어진 에 대해 그러한 정수가 존재하지 않으면, 수열의 GIS는 이라 한다.
예를 들어 순열 을 생각하자. 먼저 이다. 보다 큰 가장 왼쪽의 정수는 이므로 이다. 보다 큰 가장 왼쪽의 정수는 이다(은 너무 작다). 따라서 이다. 마지막으로 이다. 그러므로 의 GIS는 이다.
수열 이 주어질 때, GIS가 인 정수 의 순열 는 몇 개인가?
입력
첫째 줄에 순열 의 원소 개수 과 수열 의 길이 이 주어진다.
다음 줄에 과 사이의 개의 양의 정수 이 주어진다.
출력
주어진 수열을 GIS로 갖는 개 원소 순열의 개수를 하나의 정수로 출력한다. 이 수는 클 수 있으므로 소수 로 나눈 나머지를 출력한다.