QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#854443 | #9732. Gathering Mushrooms | ucup-team1134# | TL | 1936ms | 54460kb | C++23 | 14.8kb | 2025-01-12 01:22:12 | 2025-01-12 01:22:12 |
Judging History
answer
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return true; } return false; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return true; } return false; }
#define vi vector<int>
#define vl vector<ll>
#define vii vector<pair<int,int>>
#define vll vector<pair<ll,ll>>
#define vvi vector<vector<int>>
#define vvl vector<vector<ll>>
#define vvii vector<vector<pair<int,int>>>
#define vvll vector<vector<pair<ll,ll>>>
#define vst vector<string>
#define pii pair<int,int>
#define pll pair<ll,ll>
#define pb push_back
#define all(x) (x).begin(),(x).end()
#define mkunique(x) sort(all(x));(x).erase(unique(all(x)),(x).end())
#define fi first
#define se second
#define mp make_pair
#define si(x) int(x.size())
const int mod=998244353,MAX=200005,INF=15<<26;
//Wavelet matrix
// https://kopricky.github.io/code/DataStructure_Advanced/wavelet_matrix.html
struct BitRank {
// block: bit 列を管理, count: block ごとに立っている 1 の数を管理
vector<unsigned long long> block;
vector<unsigned int> count;
BitRank(){}
void resize(const unsigned int num){
block.resize(((num + 1) >> 6) + 1, 0);
count.resize(block.size(), 0);
}
// i ビット目を val(0,1) にセット
void set(const unsigned int i, const unsigned long long val){
block[i >> 6] |= (val << (i & 63));
}
void build(){
for(unsigned int i = 1; i < block.size(); i++){
count[i] = count[i - 1] + __builtin_popcountll(block[i - 1]);
}
}
// [0, i) ビットの 1 の数
unsigned int rank1(const unsigned int i) const {
return count[i >> 6] +
__builtin_popcountll(block[i >> 6] & ((1ULL << (i & 63)) - 1ULL));
}
// [i, j) ビットの 1 の数
unsigned int rank1(const unsigned int i, const unsigned int j) const {
return rank1(j) - rank1(i);
}
// [0, i) ビットの 0 の数
unsigned int rank0(const unsigned int i) const {
return i - rank1(i);
}
// [i, j) ビットの 0 の数
unsigned int rank0(const unsigned int i, const unsigned int j) const {
return rank0(j) - rank0(i);
}
};
class WaveletMatrix
{
private:
unsigned int height;
vector<BitRank> B;
vector<int> pos;
public:
WaveletMatrix(){}
WaveletMatrix(vector<int> vec) :
WaveletMatrix(vec, *max_element(vec.begin(), vec.end()) + 1){}
// sigma:文字の種類数
WaveletMatrix(vector<int> vec, const unsigned int sigma){
init(vec, sigma);
}
void init(vector<int>& vec, const unsigned int sigma){
height = (sigma == 1) ? 1 : (64 - __builtin_clzll(sigma - 1));
B.resize(height), pos.resize(height);
for(unsigned int i = 0; i < height; ++i){
B[i].resize(vec.size());
for(unsigned int j = 0; j < vec.size(); ++j) {
B[i].set(j, get(vec[j], height - i - 1));
}
B[i].build();
auto it = stable_partition(vec.begin(), vec.end(), [&](int c){
return !get(c, height - i - 1);
});
pos[i] = it - vec.begin();
}
}
// val の i ビット目の値を返す(0,1)
int get(const int val, const int i){
return val >> i & 1;
}
// [l, r) の間に現れる値 val の数
int rank(const int val, const int l, const int r){
return rank(val, r) - rank(val, l);
}
// [0, i) の間に現れる値 val の数
int rank(int val, int i){
int p = 0;
for(unsigned int j = 0; j < height; ++j){
if(get(val, height - j - 1)){
p = pos[j] + B[j].rank1(p);
i = pos[j] + B[j].rank1(i);
}else{
p = B[j].rank0(p);
i = B[j].rank0(i);
}
}
return i - p;
}
// [l, r) の k(0,1,2...) 番目に小さい値を返す
int quantile(int k, int l, int r){
int res = 0;
for(unsigned int i = 0; i < height; ++i){
const int j = B[i].rank0(l, r);
if(j > k){
l = B[i].rank0(l);
r = B[i].rank0(r);
}else{
l = pos[i] + B[i].rank1(l);
r = pos[i] + B[i].rank1(r);
k -= j;
res |= (1 << (height - i - 1));
}
}
return res;
}
int rangefreq(const int i, const int j, const int a, const int b,
const int l, const int r, const int x){
if(i == j || r <= a || b <= l) return 0;
const int mid = (l + r) >> 1;
if(a <= l && r <= b){
return j - i;
}else{
const int left = rangefreq(B[x].rank0(i), B[x].rank0(j), a, b, l, mid, x + 1);
const int right = rangefreq(pos[x] + B[x].rank1(i), pos[x] + B[x].rank1(j),
a, b, mid, r, x + 1);
return left + right;
}
}
// [l,r) で値が [a,b) 内に含まれる数を返す
int rangefreq(const int l, const int r, const int a, const int b){
return rangefreq(l, r, a, b, 0, 1 << height, 0);
}
int rangemin(const int i, const int j, const int a, const int b,
const int l, const int r, const int x, const int val){
if(i == j || r <= a || b <= l) return -1;
if(r - l == 1) return val;
const int mid = (l + r) >> 1;
const int res = rangemin(B[x].rank0(i),B[x].rank0(j),a,b,l,mid,x+1,val);
if(res < 0) return rangemin(pos[x] + B[x].rank1(i), pos[x] + B[x].rank1(j),
a, b, mid, r, x + 1, val + (1 << (height - x - 1)));
else return res;
}
// [l,r) で値が [a,b) 内に最小の数を返す(数が存在しない場合は -1 を返す)
int rangemin(int l, int r, int a, int b){
return rangemin(l, r, a, b, 0, 1 << height, 0, 0);
}
};
template<typename T> class OrthogonalRangeCount
{
private:
using ptt = pair<T, T>;
const int sz;
vector<T> X, Y;
WaveletMatrix wm;
public:
OrthogonalRangeCount(vector<ptt> candidate)
: sz((int)candidate.size()), X(sz), Y(sz){
sort(candidate.begin(), candidate.end());
vector<int> vec(sz);
for(int i = 0; i < sz; ++i){
X[i] = candidate[i].first, Y[i] = candidate[i].second;
}
sort(Y.begin(), Y.end());
Y.erase(unique(Y.begin(), Y.end()), Y.end());
for(int i = 0; i < sz; ++i){
vec[i] = lower_bound(Y.begin(), Y.end(), candidate[i].second) - Y.begin();
}
wm.init(vec, Y.size());
}
// [lx,rx) × [ly, ry) の長方形領域に含まれる点の数を答える
int query(const T lx, const T ly, const T rx, const T ry){
const int lxid = lower_bound(X.begin(), X.end(), lx) - X.begin();
const int rxid = lower_bound(X.begin(), X.end(), rx) - X.begin();
const int lyid = lower_bound(Y.begin(), Y.end(), ly) - Y.begin();
const int ryid = lower_bound(Y.begin(), Y.end(), ry) - Y.begin();
if(lxid >= rxid || lyid >= ryid) return 0;
return wm.rangefreq(lxid, rxid, lyid, ryid);
}
};
vector<int> G[MAX];
ll sz[MAX];
struct UF{
int n;
vector<int> par,size,edge;
void init(int n_){
n=n_;
par.assign(n,-1);
size.assign(n,1);
edge.assign(n,0);
for(int i=0;i<n;i++){
par[i]=i;
}
}
int root(int a){
if(par[a]==a) return a;
else return par[a]=root(par[a]);
}
void unite(int a,int b){
edge[root(a)]++;
if(root(a)!=root(b)){
size[root(a)]+=size[root(b)];
edge[root(a)]+=edge[root(b)];
par[root(b)]=root(a);
}
}
bool check(int a,int b){
return root(a)==root(b);
}
};
vector<int> cyc[MAX];
pll ans[MAX];
int ty[MAX];
int depth[MAX];
vi retu[MAX];
int cycpos[MAX];
ll K;
int roo[MAX];
void DFS(int u,int ro){
roo[u]=ro;
if(depth[u]){
retu[ty[u]].pb(depth[u]);
if(si(retu[ty[u]])>=K){
ans[u].fi=depth[u]-retu[ty[u]][si(retu[ty[u]])-K]+1;
ans[u].se=ty[u];
}else{
ans[u].fi=si(retu[ty[u]]);
ans[u].se=-1;
}
}
for(int to:G[u]){
depth[to]=depth[u]+1;
DFS(to,ro);
}
if(depth[u]){
retu[ty[u]].pop_back();
}
}
void solve(int a){
for(int b:G[a]){
if(ans[b].se==-1){
ans[b]=mp(ans[a].fi+1,ans[a].se);
}else if(ans[a].se==ans[b].se){
}else if(ans[a].fi+1<ans[b].fi){
ans[b]=mp(ans[a].fi+1,ans[a].se);
}
solve(b);
}
}
int main(){
std::ifstream in("text.txt");
std::cin.rdbuf(in.rdbuf());
cin.tie(0);
ios::sync_with_stdio(false);
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
int Q;cin>>Q;
while(Q--){
ll N;cin>>N;
cin>>K;
for(int i=0;i<N;i++){
G[i].clear();
cyc[i].clear();
sz[i]=0;
ans[i]=mp(0,-1);
ty[i]=0;
depth[i]=0;
retu[i].clear();
cycpos[i]=0;
roo[i]=0;
}
vvi color(N);
for(int i=0;i<N;i++){
cin>>ty[i];ty[i]--;
//ty[i]=i;
if(ty[i]<0) ty[i]+=N;
color[ty[i]].pb(i);
}
vector<int> A(N),deg(N),seen(N);
for(int i=0;i<N;i++){
int x;cin>>x;x--;
//x=(i+1)%N;
A[i]=x;
deg[x]++;
}
queue<int> Q;
for(int i=0;i<N;i++){
if(deg[i]==0) Q.push(i);
}
while(!Q.empty()){
int u=Q.front();Q.pop();
deg[A[u]]--;
if(deg[A[u]]==0) Q.push(A[u]);
}
UF uf;uf.init(N);
for(int i=0;i<N;i++){
if(deg[i]) uf.unite(i,A[i]);
}
for(int i=0;i<N;i++){
if(deg[i]==0) G[A[i]].push_back(i);
}
vl CN(N);
vector<WaveletMatrix> WM(N);
for(int i=0;i<N;i++){
if(deg[i]){
if(uf.root(i)==i){
int now=i;
vi ss;
while(1){
if(!seen[now]){
seen[now]=true;
cycpos[now]=si(cyc[i]);
cyc[i].push_back(now);
ss.pb(ty[now]);
now=A[now];
}else{
break;
}
}
//WM[i]=WaveletMatrix(ss);
WM[i].init(ss,N);
ll len=si(cyc[i]);
/*
ll l=0,r=N*K;
ll xx=-1;
while(r-l>1){
ll m=(l+r)/2;
for(int j=0;j<len;j++){
if(j<m%len) CN[ty[cyc[i][j]]]++;
CN[ty[cyc[i][j]]]+=m/len;
}
bool ok=false;
for(int j=0;j<len;j++){
if(CN[ty[cyc[i][j]]]>=K){
ok=true;
xx=ty[cyc[i][j]];
}
CN[ty[cyc[i][j]]]=0;
}
if(ok) r=m;
else l=m;
}
ans[i]=mp(r,xx);
*/
}
}
}
for(int i=0;i<N;i++){
if(deg[i]){
DFS(i,i);
}
}
/*
for(int a=0;a<N;a++){
for(int l=0;l<3;l++){
for(int r=l;r<3;r++){
cout<<WM[3].rank(a,l,r)<<" ";
}
}
cout<<endl;
}
*/
for(int i=0;i<N;i++){
//if(deg[i]&&uf.root(i)==i) continue;
if(ans[i].se==-1){
ll sude=depth[i],rem=K-ans[i].fi;
//cout<<i<<" "<<rem<<" ! "<<endl;
int ro=roo[i];
int M=si(cyc[uf.root(ro)]);
//cout<<ro<<" "<<ty[i]<<" "<<M<<endl;
ll al=WM[uf.root(ro)].rank(ty[i],0,M);
if(al==0){
ans[i]=mp(-1,-1);
continue;
}
ll l=max(0LL,rem/al-1)*M,r=(rem/al+2)*M;
while(r-l>1){
ll m=(l+r)/2;
ll can=0;
if(cycpos[ro]+m>=M){
can+=WM[uf.root(ro)].rank(ty[i],cycpos[ro],M);
can+=al*((m-(M-cycpos[ro]))/M);
can+=WM[uf.root(ro)].rank(ty[i],0,(m-(M-cycpos[ro]))%M);
}else{
can+=WM[uf.root(ro)].rank(ty[i],cycpos[ro],cycpos[ro]+m);
}
if(m==N*K&&can<rem){
break;
}
if(can>=rem) r=m;
else l=m;
}
if(r==2*N*K){
ans[i]=mp(-1,-1);
}else{
ans[i]=mp(sude+r,ty[i]);
}
}
}
for(int i=0;i<N;i++){
if(deg[i]&&uf.root(i)==i){
for(int j=si(cyc[i])-1;j>=0;j--){
int a=cyc[i][(j+1+si(cyc[i]))%si(cyc[i])],b=cyc[i][j];
if(ans[a].se==ans[b].se){
}else if(ans[a].fi+1<ans[b].fi){
ans[b]=mp(ans[a].fi+1,ans[a].se);
}
}
for(int j=si(cyc[i])-1;j>=0;j--){
int a=cyc[i][(j+1+si(cyc[i]))%si(cyc[i])],b=cyc[i][j];
if(ans[a].se==ans[b].se){
}else if(ans[a].fi+1<ans[b].fi){
ans[b]=mp(ans[a].fi+1,ans[a].se);
}
}
}
}
for(int i=0;i<N;i++){
if(deg[i]){
solve(i);
}
}
ll res=0;
for(int i=0;i<N;i++){
res+=(ll)(i+1)*(ans[i].se+1);
}
cout<<res<<"\n";
}
}
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 100
Accepted
time: 0ms
memory: 11932kb
input:
3 5 3 2 2 1 3 3 2 5 1 2 4 5 4 2 2 1 3 3 2 5 1 2 4 3 10 1 2 3 1 3 2
output:
41 45 14
result:
ok 3 lines
Test #2:
score: 0
Accepted
time: 142ms
memory: 8156kb
input:
6000 19 48 18 19 18 19 11 9 15 19 12 18 11 18 9 18 9 18 19 11 15 12 14 18 8 1 3 19 5 13 14 15 2 14 5 19 2 19 12 9 15 23 3 1 1 3 6 1 4 1 1 6 6 4 12 4 6 14 1 8 8 6 6 12 14 6 8 5 7 14 2 5 9 140979583 4 5 8 9 2 7 6 8 2 8 9 4 6 9 2 4 7 8 4 976357580 2 3 1 3 2 1 1 4 6 508962809 4 3 4 3 4 4 4 5 4 5 5 6 13 ...
output:
3420 260 254 26 84 759 126 30 1092 1 2493 2422 168 360 298 324 2424 2520 220 228 1107 9 3486 1 796 81 340 272 600 3196 32 495 40 128 140 665 1635 702 68 96 90 288 29 588 16 234 445 2928 140 40 477 1197 19 1994 1082 32 522 672 20 390 32 2204 1938 42 21 885 4 1539 196 420 11 1709 801 720 1 556 40 17 2...
result:
ok 6000 lines
Test #3:
score: 0
Accepted
time: 207ms
memory: 48132kb
input:
1 200000 40000 46988 88148 28442 9596 17281 27561 58024 1062 138912 175273 194682 27958 11240 187099 28869 177531 154933 83035 11300 178646 6952 44234 168671 169483 187602 178519 99885 98196 64731 100802 16974 85402 50616 126862 159025 116795 83016 127770 3067 56860 19833 64583 11977 100045 198272 1...
output:
2654974404037027
result:
ok single line: '2654974404037027'
Test #4:
score: 0
Accepted
time: 173ms
memory: 48208kb
input:
1 200000 10000000 172532 195148 85227 155659 14990 35802 156340 83797 197030 21580 88873 28715 24950 12770 82745 113383 51071 21570 147715 85175 15394 148817 70297 38951 36754 55240 181122 186649 17533 4230 68223 4978 154960 144826 26781 185779 18292 195221 34441 37597 148301 81791 67645 197829 3693...
output:
1991871314556006
result:
ok single line: '1991871314556006'
Test #5:
score: 0
Accepted
time: 196ms
memory: 48228kb
input:
1 200000 1000000000 176004 145470 198726 37315 113426 105334 46063 63520 103219 121771 57158 185334 126226 141718 133227 158448 119801 62952 10829 175859 190290 80534 82892 42340 164975 79666 102327 14872 75277 57094 37650 183007 86587 47862 133654 48675 26581 199005 14582 75902 5988 102670 169993 1...
output:
2910045863489510
result:
ok single line: '2910045863489510'
Test #6:
score: 0
Accepted
time: 1294ms
memory: 42480kb
input:
1 200000 40000 118673 82089 118673 118673 129221 118673 125539 106895 82089 129221 125539 118673 82089 129221 118673 125539 106895 106895 129221 118673 129221 82089 82089 125539 129221 129221 118673 106895 82089 129221 106895 82089 106895 82089 106895 106895 129221 118673 106895 82089 106895 82089 8...
output:
2404687852449892
result:
ok single line: '2404687852449892'
Test #7:
score: 0
Accepted
time: 1240ms
memory: 43520kb
input:
1 200000 10000000 110770 103054 103054 67926 87448 110770 103054 67926 87448 87448 87448 87448 176259 67926 176259 110770 103054 110770 176259 67926 67926 67926 87448 87448 87448 67926 110770 67926 67926 67926 176259 87448 87448 176259 87448 103054 110770 176259 103054 87448 87448 176259 103054 1107...
output:
1871051161222455
result:
ok single line: '1871051161222455'
Test #8:
score: 0
Accepted
time: 1125ms
memory: 42568kb
input:
1 200000 1000000000 92387 35422 92387 192988 35422 35422 92387 192988 35422 192988 192988 124898 35422 124898 124898 92387 35422 192988 124898 35422 132532 92387 132532 192988 35422 92387 124898 132532 35422 92387 35422 35422 124898 132532 92387 92387 192988 192988 124898 92387 92387 35422 124898 19...
output:
2226090142242870
result:
ok single line: '2226090142242870'
Test #9:
score: 0
Accepted
time: 229ms
memory: 54460kb
input:
1 200000 40000 116752 38573 63445 128225 135901 46112 158662 189088 148798 191324 45035 154544 80127 91833 149943 48432 92060 43958 137795 77575 36781 45299 178350 100696 60034 61055 85213 69563 78385 21262 146118 102661 187678 130733 9787 16393 117846 185565 60069 3846 141624 104285 39616 57159 868...
output:
1143189663913379
result:
ok single line: '1143189663913379'
Test #10:
score: 0
Accepted
time: 222ms
memory: 54356kb
input:
1 200000 10000000 140527 170359 145004 37893 122429 127925 3461 95526 78195 26127 92887 141377 182681 136498 39270 58777 71455 38154 157727 24834 179001 155490 60975 147064 75506 36710 46141 189903 21088 196674 125247 103266 25995 4763 41038 180967 4283 21509 10323 142860 120149 127930 146726 109420...
output:
677866460957128
result:
ok single line: '677866460957128'
Test #11:
score: 0
Accepted
time: 238ms
memory: 54372kb
input:
1 200000 1000000000 127458 93467 147620 82303 77297 18842 171477 180789 73198 66451 114690 7452 145760 97912 182102 47863 91886 284 142563 117252 129365 135867 136635 64262 196952 183491 187881 182341 82756 135693 126974 12627 194511 30468 29983 30464 28044 129494 64477 122463 141768 103686 105366 2...
output:
1985383835721543
result:
ok single line: '1985383835721543'
Test #12:
score: 0
Accepted
time: 1936ms
memory: 40532kb
input:
1 200000 40000 131243 50411 183082 141585 81827 174160 175932 74477 31310 20599 29372 136846 36578 133487 134440 147839 115280 45462 77063 5065 29725 137589 80437 170073 105648 191314 31432 157802 148931 184650 177611 69456 152253 158494 111351 10329 108646 119661 65317 177563 88191 60803 135866 555...
output:
1940771592135540
result:
ok single line: '1940771592135540'
Test #13:
score: 0
Accepted
time: 334ms
memory: 46144kb
input:
1 200000 10000000 152041 174470 165831 197804 141842 124891 172029 99878 29839 80130 188275 172670 60080 40554 177721 183620 68381 153260 43684 146559 5617 163940 5828 28239 152505 98252 150314 82119 197777 166408 147215 105141 138523 31398 31463 145584 147517 170652 189441 191295 120537 44537 57915...
output:
1651721014252886
result:
ok single line: '1651721014252886'
Test #14:
score: -100
Time Limit Exceeded
input:
1 200000 1000000000 113494 96820 113494 96820 113494 186155 113494 72596 113494 96820 96820 72596 72596 72596 113494 186155 72596 72596 72596 186155 140986 96820 113494 72596 186155 186155 140986 96820 186155 140986 113494 186155 186155 186155 96820 140986 72596 140986 140986 96820 72596 96820 96820...