토토로
시간 제한1초메모리 제한1024 MB
길이 N인 순열 K개를 합성해서 만들 수 있는 모든 순열의 역순서쌍 개수 평균을 10^9+7로 나눈 나머지로 구합니다.
문제
길이가 인 순열 가 개 주어진다.
는 순열 들을 유한 번 합성해서 얻을 수 있는 모든 순열의 집합이다. 두 순열 와 의 합성은 위치 에서 의 값을 가진다. 예를 들어 , 이면 이다. 같은 순열을 여러 번 합성해도 된다.
는 길이 인 모든 순열의 집합에 포함되므로 유한 집합이다.
순열 의 역전 수 는 이고 인 순서쌍 의 개수이다.
를 구하라. 이 값은 기약분수 로 나타낼 수 있으며, 는 로 나누어떨어지지 않는다. 이고 을 만족하는 를 출력하라.
입력
첫 줄에 자연수 와 이 주어진다.
이어지는 개의 줄에는 순열 가 부터 까지의 서로 다른 정수 개를 공백으로 구분해 한 줄씩 주어진다.
출력
답을 로 나눈 나머지를 한 줄에 출력한다.
힌트
첫 번째 테스트 케이스 설명: 이다. 첫 번째 순열의 역전 수는 2이고, 두 번째 순열도 2이며, 항등 순열은 0이다. 평균은 이고, 이를 로 나눈 나머지가 출력값과 일치한다.
두 번째 테스트 케이스 설명: 가 의 모든 순열의 집합과 같다는 것을 확인할 수 있다. 주어진 순열들을 합성하면 다른 모든 순열을 얻을 수 있다.
세 번째 테스트 케이스 설명: 이 경우 이고, 답은 을 로 나눈 나머지이다.