#include <bits/stdc++.h> #ifdef LOC #include "debuglib.h" #else #define deb(...) #define DBP(...) #endif using namespace std; using ll = long long; using vi = vector<int>; using pii = pair<int, int>; #define pb push_back #define mp make_pair #define x first #define y second #define rep(i, b, e) for (int i = (b); i < (e); i++) #define each(a, x) for (auto& a : (x)) #define all(x) (x).begin(), (x).end() #define sz(x) int((x).size()) constexpr int MOD = int(1e9) + 7; constexpr int MX = 3000; ll modPow(ll a, ll e, ll m) { ll t = 1 % m; while (e) { if (e % 2) t = t*a % m; e /= 2; a = a*a % m; } return t; } struct Zp { ll x; Zp() : x(0) {} Zp(ll a) : x(a%MOD) { if (x < 0) x += MOD; } #define OP(c,d) Zp& operator c##=(Zp r) { x = x d; return *this; } Zp operator c(Zp r) const { Zp t = *this; return t c##= r; } OP(+, +r.x - MOD*(x+r.x >= MOD)); OP(-, -r.x + MOD*(x-r.x < 0)); OP(*, *r.x % MOD); OP(/, *r.inv().x % MOD); Zp operator-() const { return Zp()-*this; } Zp inv() const { return pow(MOD-2); } Zp pow(ll e) const { return modPow(x,e,MOD); } void print() { cerr << x; } }; mt19937 rnd(872241146); int n, k; short input[MX][MX], inputInv[MX][MX], perm[MX][MX]; bitset<MX> seen[MX]; pii que[MX*MX+5]; void run() { cin >> n >> k; rep(i, 0, k) { rep(j, 0, n) { cin >> input[i][j]; input[i][j]--; } } ll maxK = ll(420) * MX * MX / (n*n); deb(maxK); if (maxK < k) { rep(i, 0, k) rep(j, 0, n) { inputInv[i][input[i][j]] = short(j); } int tmp[MX]; vi ord(k); iota(all(ord), 0); rep(i, 0, maxK) { shuffle(all(ord), rnd); iota(tmp, tmp+n, 0); each(j, ord) if (rnd() % 2) { if (rnd() % 2) { rep(a, 0, n) tmp[a] = inputInv[j][tmp[a]]; } else { rep(a, 0, n) tmp[a] = input[j][tmp[a]]; } } rep(j, 0, n) { perm[j][i] = short(tmp[j]); } } k = int(maxK); } else { rep(i, 0, k) rep(j, 0, n) { perm[j][i] = input[i][j]; } } Zp ans = 0; rep(s, 0, n) rep(t, s+1, n) if (!seen[s][t]) { int inv = 0, tot = 1; bool merged = 0; que[0] = {s, t}; seen[s][t] = 1; rep(pos, 0, tot) { auto [i, j] = que[pos]; inv += (i > j); rep(q, 0, k) { int a = perm[i][q], b = perm[j][q]; if (!seen[a][b]) { if (seen[b][a]) merged = 1; else que[tot++] = {a, b}; seen[a][b] = 1; } } } rep(pos, 0, tot) { auto [i, j] = que[pos]; seen[j][i] = 1; } if (merged) { ans += Zp(tot) / 2; } else { ans += Zp(inv) * (tot-inv) / tot * 2; } } cout << ans.x << '\n'; } int main() { cin.sync_with_stdio(0); cin.tie(0); cout << fixed << setprecision(10); run(); cout << flush; _Exit(0); }
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 | #include <bits/stdc++.h> #ifdef LOC #include "debuglib.h" #else #define deb(...) #define DBP(...) #endif using namespace std; using ll = long long; using vi = vector<int>; using pii = pair<int, int>; #define pb push_back #define mp make_pair #define x first #define y second #define rep(i, b, e) for (int i = (b); i < (e); i++) #define each(a, x) for (auto& a : (x)) #define all(x) (x).begin(), (x).end() #define sz(x) int((x).size()) constexpr int MOD = int(1e9) + 7; constexpr int MX = 3000; ll modPow(ll a, ll e, ll m) { ll t = 1 % m; while (e) { if (e % 2) t = t*a % m; e /= 2; a = a*a % m; } return t; } struct Zp { ll x; Zp() : x(0) {} Zp(ll a) : x(a%MOD) { if (x < 0) x += MOD; } #define OP(c,d) Zp& operator c##=(Zp r) { x = x d; return *this; } Zp operator c(Zp r) const { Zp t = *this; return t c##= r; } OP(+, +r.x - MOD*(x+r.x >= MOD)); OP(-, -r.x + MOD*(x-r.x < 0)); OP(*, *r.x % MOD); OP(/, *r.inv().x % MOD); Zp operator-() const { return Zp()-*this; } Zp inv() const { return pow(MOD-2); } Zp pow(ll e) const { return modPow(x,e,MOD); } void print() { cerr << x; } }; mt19937 rnd(872241146); int n, k; short input[MX][MX], inputInv[MX][MX], perm[MX][MX]; bitset<MX> seen[MX]; pii que[MX*MX+5]; void run() { cin >> n >> k; rep(i, 0, k) { rep(j, 0, n) { cin >> input[i][j]; input[i][j]--; } } ll maxK = ll(420) * MX * MX / (n*n); deb(maxK); if (maxK < k) { rep(i, 0, k) rep(j, 0, n) { inputInv[i][input[i][j]] = short(j); } int tmp[MX]; vi ord(k); iota(all(ord), 0); rep(i, 0, maxK) { shuffle(all(ord), rnd); iota(tmp, tmp+n, 0); each(j, ord) if (rnd() % 2) { if (rnd() % 2) { rep(a, 0, n) tmp[a] = inputInv[j][tmp[a]]; } else { rep(a, 0, n) tmp[a] = input[j][tmp[a]]; } } rep(j, 0, n) { perm[j][i] = short(tmp[j]); } } k = int(maxK); } else { rep(i, 0, k) rep(j, 0, n) { perm[j][i] = input[i][j]; } } Zp ans = 0; rep(s, 0, n) rep(t, s+1, n) if (!seen[s][t]) { int inv = 0, tot = 1; bool merged = 0; que[0] = {s, t}; seen[s][t] = 1; rep(pos, 0, tot) { auto [i, j] = que[pos]; inv += (i > j); rep(q, 0, k) { int a = perm[i][q], b = perm[j][q]; if (!seen[a][b]) { if (seen[b][a]) merged = 1; else que[tot++] = {a, b}; seen[a][b] = 1; } } } rep(pos, 0, tot) { auto [i, j] = que[pos]; seen[j][i] = 1; } if (merged) { ans += Zp(tot) / 2; } else { ans += Zp(inv) * (tot-inv) / tot * 2; } } cout << ans.x << '\n'; } int main() { cin.sync_with_stdio(0); cin.tie(0); cout << fixed << setprecision(10); run(); cout << flush; _Exit(0); } |