독립 집합
시간 제한2초메모리 제한512 MB
n개의 음이 아닌 정수로 이루어진 벡터가 m을 이루고, a로 표시된 위치와 암묵적 이진 힙의 부모-자식 쌍이 동시에 양수가 될 수 없을 때 그 개수를 1e9+7로 나눈 나머지를 구한다.
문제
Bobo는 이진 수열 을 가지고 있다. 다음 조건을 만족하는 수열 의 개수를 로 나눈 나머지를 구하시오.
- , ;
- 모든 에 대해 ;
- 모든 에 대해 .
입력
첫째 줄에 정수 이 주어진다 ().
둘째 줄에 개의 정수 이 주어진다 ().
출력
수열의 개수를 출력한다.