#1195494 (C++23) No.3103 Butterfly Effect

• 問題: No.3103 Butterfly Effect
• ユーザー: askr58
• 提出日時: 2026-10-26 19:21:01
• 言語: C++23 (gcc 15.3.0 + boost 1.92.0 + ACL)
• 結果: WA
• 実行時間: -
• コード長: 5,029 bytes
• コンパイル時間: 4,915 ms
• コンパイル使用メモリ: 345,308 KB
• 実行使用メモリ: 57,084 KB
• 最終ジャッジ日時: 2026-10-26 19:23:11
• 合計ジャッジ時間: 99,066 ms
• ジャッジサーバーID （参考情報）: judge5_0 / judge4_0

ファイルパターン	結果
sample	AC * 1
other	AC * 36 WA * 14

ソースコード

// SPDX-License-Identifier: CC0-1.0
//
// [English]
// To the extent possible under law, the author(s) have dedicated all copyright
// and related and neighboring rights to this software to the public domain
// worldwide. This software is distributed without any warranty.
// See <https://creativecommons.org/publicdomain/zero/1.0/> for details.
//
// [日本語]
// 法律上可能な範囲で、著作者はこのソフトウェアに関する著作権および
// 著作隣接権を含むすべての関連する権利を、全世界でパブリックドメインに
// 提供しています。本ソフトウェアは一切の保証なく配布されます。
// 自由にコピー・改変・再配布・商用利用できます（クレジット表記は不要です）。
// 詳細は <https://creativecommons.org/publicdomain/zero/1.0/deed.ja> を参照してください。
// ※ 英語の文面および CC0 1.0 の正式な条文（英語）が優先されます。

#include <iostream>
#include <bitset>
#include <random>
#include <chrono>
#include <iomanip>
#include <set>
#include <map>
#include <queue>
#include <deque>
#include <string>
#include <stack>
#include <ranges>
#include <algorithm>
#include <vector>
using namespace std;
using ll=long long;

#include <atcoder/all>
using mint=atcoder::modint998244353;

ostream& operator<<(ostream& os,const mint& x){
	os<<x.val();
	return os;
}
istream& operator>>(istream& is,mint& x){
	int t;
	is>>t;
	x=t;
	return is;
}

template <typename S,typename T>
ostream& operator<<(ostream& os,const pair<S,T>& p);
template <typename S,typename T>
istream& operator>>(istream& is,pair<S,T>& p);
template <typename T,size_t n>
ostream& operator<<(ostream& os,const array<T,n>& arr);
template <typename T,size_t n>
istream& operator>>(istream& is,array<T,n>& arr);
template <typename T>
ostream& operator<<(ostream& os,const vector<T>& vec);
template <typename T>
istream& operator>>(istream& is,vector<T>& vec);

template <typename S,typename T>
ostream& operator<<(ostream& os,const pair<S,T>& p){
	os<<p.first<<" "<<p.second;
	return os;
}
template <typename S,typename T>
istream& operator>>(istream& is,pair<S,T>& p){
	is>>p.first>>p.second;
	return is;
}

template <typename T,size_t n>
ostream& operator<<(ostream& os,const array<T,n>& arr){
	for(int i=0;i<n;i++)os<<arr[i]<<(i+1==n?"":" ");
	return os;
}
template <typename T,size_t n>
istream& operator>>(istream& is,array<T,n>& arr){
	for(int i=0;i<n;i++)is>>arr[i];
	return is;
}
template <typename T>
ostream& operator<<(ostream& os,const vector<T>& vec){
	for(int i=0;i<(int)vec.size();i++)os<<vec[i]<<(i+1==(int)vec.size()?"":" ");
	return os;
}
template <typename T>
istream& operator>>(istream& is,vector<T>& vec){
	for(int i=0;i<(int)vec.size();i++)is>>vec[i];
	return is;
}

template<class... Vecs>
void input_vec(Vecs&... vs) {
    const auto n = get<0>(tie(vs...)).size();

    for (size_t i = 0; i < n; ++i)
        ((cin >> vs[i]), ...);
}

template <class... Vecs>
void output_vec(const Vecs&... vs) {
    const auto n = get<0>(tie(vs...)).size();

    for (size_t i = 0; i < n; ++i) {
        bool first = true;
        (((cout << (exchange(first, false) ? "" : " ") << vs[i])), ...);
        cout << endl;
    }
}

template <typename T>
vector<T> make_unique(vector<T> vec){
	ranges::sort(vec);
	vec.erase(unique(vec.begin(),vec.end()),vec.end());
	return vec;
}

vector<int> Iota(int n,int s=0){
	vector<int> res(n);
	iota(res.begin(),res.end(),s);
	return res;
}

vector<ll> Iotall(int n,ll s=0){
	vector<ll> res(n);
	iota(res.begin(),res.end(),s);
	return res;
}
void YESNO(bool f){
	if(f)cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
}

using vl=vector<ll>;
using vvl=vector<vector<ll>>;
using vvvl=vector<vector<vector<ll>>>; 
using vi=vector<int>;
using vvi=vector<vector<int>>;
using vvvi=vector<vector<vector<int>>>;
int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	cout<<fixed<<setprecision(10);
	int n,q;
	cin>>n>>q;
	vi p(q),x(q),y(q);
	input_vec(p,x,y);
	for(int i=0;i<q;i++){
		p[i]--;x[i]--;y[i]--;
	}
	vi l(n,-1),r(n,q);
	while(1){
		vvi t(q);
		bool end=true;
		for(int i=0;i<n;i++){
			if(l[i]+1!=r[i]){
				end=false;
				t[(l[i]+r[i])/2].push_back(i);
			}
		}
		if(end)break;
		vi f(n,q+1);
		f[0]=-1;
		vector<priority_queue<pair<int,int>>> pq(n);
		for(int i=0;i<q;i++){
			if(f[x[i]]>f[y[i]])swap(x[i],y[i]);
			if(f[x[i]]<p[i]&&p[i]<f[y[i]]){
				queue<pair<int,int>> bfs;
				bfs.push(make_pair(p[i],y[i]));
				while(!bfs.empty()){
					auto[time,a]=bfs.front();
					bfs.pop();
					f[a]=time;
					while(!pq[a].empty()){
						if(pq[a].top().first<time)break;
						bfs.push(pq[a].top());
						pq[a].pop();
					}
				}
			}else if(p[i]<f[x[i]]){
				pq[x[i]].push(make_pair(p[i],y[i]));
				pq[y[i]].push(make_pair(p[i],x[i]));
			}
			for(int a:t[i]){
				if(f[a]<=q)r[a]=(l[a]+r[a])/2;
				else l[a]=(l[a]+r[a])/2;
			}
		}
	}
	vi ans(q+1);
	for(int i=0;i<n;i++)ans[r[i]]++;
	for(int i=0;i<q;i++)ans[i+1]+=ans[i];
	for(int i=0;i<q;i++)cout<<ans[i]<<endl;
}