AtCoder - arc120_c Swaps 2(思维+线段树+模拟)
題目鏈接:點(diǎn)擊查看
題目大意:給出一個(gè)序列 aaa,問能否經(jīng)過有限此操作使其變成 bbb,每次操作分為三步:
如果有解,輸出最小操作次數(shù)
題目分析:思維點(diǎn)+固定模型的題目,有個(gè)結(jié)論是,題目有解的充分必要條件是,當(dāng)且僅當(dāng) aaa 數(shù)列的每個(gè)數(shù)值都加上 iii 所組成的新的集合,需要與 bbb 數(shù)列的每個(gè)數(shù)值都加上 iii 后的集合相等。簡(jiǎn)單來說,集合 {a1+1,a2+2,...,an+n}\{ a_1+1,a_2+2,...,a_n+n\}{a1?+1,a2?+2,...,an?+n} 要與 {b1+1,b2+2,...,bn+n}\{b_1+1,b_2+2,...,b_n+n\}{b1?+1,b2?+2,...,bn?+n} 相等,注意這里的集合類似于 STLSTLSTL 中的 setsetset
為什么這樣是可行的呢,考慮第 iii 個(gè)位置原本我們維護(hù)的是 ai+ia_i+iai?+i,當(dāng)其交換到達(dá) i?1i-1i?1 的時(shí)候,aia_iai? 變成了 ai+1a_i+1ai?+1,當(dāng)?shù)竭_(dá) i?1i-1i?1 的位置時(shí),我們維護(hù)的貢獻(xiàn) (ai+1)+(i?1)=ai+i(a_i+1)+(i-1)=a_i+i(ai?+1)+(i?1)=ai?+i 并沒有發(fā)生改變
同理可證 iii 變成 i+1i+1i+1 時(shí)貢獻(xiàn)不變
這樣問題就轉(zhuǎn)換為了,數(shù)列 aaa 和 bbb 變成 ai+ia_i+iai?+i 和 bi+ib_i+ibi?+i 后,每次可以交換相鄰的兩個(gè)數(shù)字,問最少需要操作多少次可以使其相等
這樣就轉(zhuǎn)換成下面這個(gè)題目的模型了:
傳送門
代碼:
// #pragma GCC optimize(2) // #pragma GCC optimize("Ofast","inline","-ffast-math") // #pragma GCC target("avx,sse2,sse3,sse4,mmx") #include<iostream> #include<cstdio> #include<string> #include<ctime> #include<cmath> #include<cstring> #include<algorithm> #include<stack> #include<climits> #include<queue> #include<map> #include<set> #include<sstream> #include<cassert> #include<bitset> #include<list> #include<unordered_map> #define lowbit(x) x&-x using namespace std; typedef long long LL; typedef unsigned long long ull; template<typename T> inline void read(T &x) {T f=1;x=0;char ch=getchar();while(0==isdigit(ch)){if(ch=='-')f=-1;ch=getchar();}while(0!=isdigit(ch)) x=(x<<1)+(x<<3)+ch-'0',ch=getchar();x*=f; } template<typename T> inline void write(T x) {if(x<0){x=~(x-1);putchar('-');}if(x>9)write(x/10);putchar(x%10+'0'); } const int inf=0x3f3f3f3f; const int N=1e6+100; map<int,vector<int>>node; map<int,int>cnt; int a[N],b[N]; struct Node {int l,r,lazy; }tree[N<<2]; void build(int k,int l,int r) {tree[k]={l,r,0};if(l==r) {return;}int mid=(l+r)>>1;build(k<<1,l,mid);build(k<<1|1,mid+1,r); } void update(int k,int l,int r,int val) {if(l>r) {return;}if(tree[k].l>r||tree[k].r<l) {return;}if(tree[k].l>=l&&tree[k].r<=r) {tree[k].lazy+=val;return;}update(k<<1,l,r,val);update(k<<1|1,l,r,val); } int query(int k,int pos) {if(tree[k].l==tree[k].r) {return pos+tree[k].lazy;}int mid=(tree[k].l+tree[k].r)>>1;if(pos<=mid) {return query(k<<1,pos)+tree[k].lazy;} else {return query(k<<1|1,pos)+tree[k].lazy;} } int main() { #ifndef ONLINE_JUDGE // freopen("data.in.txt","r",stdin); // freopen("data.out.txt","w",stdout); #endif // ios::sync_with_stdio(false);int n;read(n);for(int i=1;i<=n;i++) {read(a[i]);a[i]+=i;cnt[a[i]]++;}for(int i=1;i<=n;i++) {read(b[i]);b[i]+=i;cnt[b[i]]--;}for(auto it:cnt) {if(it.second) {return 0*puts("-1");}}build(1,1,n);for(int i=1;i<=n;i++) {node[a[i]].push_back(i);}LL ans=0;for(int i=1;i<=n;i++) {int to=b[i];int pos=node[to][cnt[to]];ans+=query(1,pos)-1;update(1,pos+1,n,-1);cnt[to]++;}cout<<ans<<endl;return 0; }總結(jié)
以上是生活随笔為你收集整理的AtCoder - arc120_c Swaps 2(思维+线段树+模拟)的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: CodeForces - 1430E S
- 下一篇: 兰州大学第一届『飞马杯』程序设计竞赛 -