#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <memory.h>
#include <math.h>
#include <assert.h>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <algorithm>
#include <string>
#include <functional>
#include <vector>
#include <deque>
#include <utility>
#include <bitset>
#include <limits.h>
#include <time.h>
using namespace std;
typedef long long ll;
typedef unsigned long long llu;
typedef double lf;
typedef unsigned int uint;
typedef long double llf;
typedef pair<int, int> pii;
const int SZ = 300005, K_ = 30;
int N, M, K, T, Z;
vector<int> primes;
bool sieve[SZ+SZ];
void getPrimes (int MX) {
for(int p = 2; p <= MX; p++) {
if(sieve[p]) continue;
primes.push_back(p);
for(int x = p+p; x <= MX; x += p) sieve[x] = true;
}
}
ll power (ll a, ll b) {
ll ret = 1;
while(b > 0) {
if(b & 1) ret = (ret * a) % Z;
a = (a * a) % Z;
b >>= 1;
}
return ret;
}
int nCr (int n, int r) {
if(r == 0 || n == r) return 1;
if(r == 1 || r == n-1) return n;
ll ret = 1;
for(int x = 0; x < primes.size(); x++) {
int p = primes[x];
if(p > n) break;
ll v = 0;
for(ll w = p; w <= n; w *= p) v += n / w;
for(ll w = p; w <= r; w *= p) v -= r / w;
for(ll w = p; w <= n-r; w *= p) v -= (n-r) / w;
ret *= power(p, v);
ret %= Z;
}
return ret % Z;
}
int ways (int x, int y) { // (x+y) C x
return nCr (x+y, x);
}
struct point {
int x, y;
point(int x = 0, int y = 0): x(x), y(y) { }
bool operator< (const point &p) const { return x != p.x ? x < p.x : y < p.y; }
} D[K_];
int F[K_], R[K_];
int W[K_][K_];
int Table[1<<20];
char LB[1<<20], CB[1<<20];
int Sum[K_];
ll res;
int main() {
int i, j, k;
scanf("%d%d%d%d%d", &N, &M, &K, &T, &Z);
for(i = 0; i < K; i++) scanf("%d%d", &D[i].x, &D[i].y);
if(K == 0) return 0 & printf("%d\n", ways(N, M));
getPrimes(N+M);
sort(D, D+K);
for(i = 0; i < K; i++) {
F[i] = ways(D[i].x, D[i].y);
R[i] = ways(N - D[i].x, M - D[i].y);
for(j = i+1; j < K; j++) {
if(D[j].y >= D[i].y) W[i][j] = ways(D[j].x - D[i].x, D[j].y - D[i].y);
}
}
Table[0] = 1;
for(i = 0; i < K; i++) {
Table[1<<i] = F[i];
LB[1<<i] = i;
CB[1<<i] = 1;
for(int prev = 1; prev < (1<<i); prev++) {
int now = prev | (1<<i);
Table[now] = ((ll)Table[prev] * W[LB[prev]][i]) % Z;
LB[now] = i;
CB[now] = CB[prev] + 1;
}
}
Table[0] = Sum[0] = ways(N, M);
for(i = 1; i < (1<<K); i++) {
int &sm = Sum[CB[i]];
sm += ((ll)Table[i] * R[LB[i]]) % Z;
if(sm >= Z) sm -= Z;
}
for(k = 0; k <= T; k++) {
int s = 1;
for(i = k; i <= K; i++) {
res += s * (((ll)Sum[i] * nCr(i, k)) % Z);
if(res < 0) res += (-res / Z) * Z;
res %= Z;
s = -s;
}
}
printf("%lld\n", res);
return 0;
}
Compilation message
turtle.cpp: In function 'int nCr(int, int)':
turtle.cpp:60:19: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
for(int x = 0; x < primes.size(); x++) {
~~^~~~~~~~~~~~~~~
turtle.cpp: In function 'int main()':
turtle.cpp:118:46: warning: array subscript has type 'char' [-Wchar-subscripts]
Table[now] = ((ll)Table[prev] * W[LB[prev]][i]) % Z;
^
turtle.cpp:126:22: warning: array subscript has type 'char' [-Wchar-subscripts]
int &sm = Sum[CB[i]];
^
turtle.cpp:127:32: warning: array subscript has type 'char' [-Wchar-subscripts]
sm += ((ll)Table[i] * R[LB[i]]) % Z;
^
turtle.cpp:95:7: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
scanf("%d%d%d%d%d", &N, &M, &K, &T, &Z);
~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
turtle.cpp:96:30: warning: ignoring return value of 'int scanf(const char*, ...)', declared with attribute warn_unused_result [-Wunused-result]
for(i = 0; i < K; i++) scanf("%d%d", &D[i].x, &D[i].y);
~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
2 ms |
408 KB |
Output is correct |
2 |
Correct |
2 ms |
256 KB |
Output is correct |
3 |
Correct |
2 ms |
376 KB |
Output is correct |
4 |
Incorrect |
3 ms |
476 KB |
Output isn't correct |
5 |
Correct |
36 ms |
6492 KB |
Output is correct |
6 |
Incorrect |
3 ms |
376 KB |
Output isn't correct |
7 |
Correct |
5 ms |
760 KB |
Output is correct |
8 |
Correct |
3 ms |
376 KB |
Output is correct |
9 |
Correct |
15 ms |
1912 KB |
Output is correct |
10 |
Correct |
24 ms |
3492 KB |
Output is correct |
11 |
Incorrect |
32 ms |
1144 KB |
Output isn't correct |
12 |
Correct |
91 ms |
4348 KB |
Output is correct |
13 |
Incorrect |
38 ms |
1272 KB |
Output isn't correct |
14 |
Incorrect |
44 ms |
1528 KB |
Output isn't correct |
15 |
Correct |
76 ms |
6876 KB |
Output is correct |
16 |
Correct |
109 ms |
7388 KB |
Output is correct |
17 |
Correct |
75 ms |
2756 KB |
Output is correct |
18 |
Incorrect |
128 ms |
7384 KB |
Output isn't correct |
19 |
Correct |
122 ms |
7340 KB |
Output is correct |
20 |
Correct |
106 ms |
7420 KB |
Output is correct |