首页 > 其他分享 >题解:【CF858E】 Tests Renumeration

题解:【CF858E】 Tests Renumeration

时间:2023-08-18 14:44:54浏览次数:56  
标签:Tests int 题解 void 测试 inline Renumeration TT define

题目链接

一点模拟下下火。首先一定不能覆盖的,只能一点一点挪。将已经在合法位置上的去掉,剩下的测试分为四类:

  1. 不碍事的样例测试。
  2. 不碍事的常规测试。
  3. 占据了样例测试位置的常规测试。
  4. 占据了常规测试位置的样例测试。

将 \(1 \sim n\) 中还未使用的空闲位置记录下来,结论是只需要至少一个空闲位置我们就能以最优秀的方案构造移动方法。假如说有一个空闲位置,那么我们选择位置对应的那一类测试中的某一个放入其中(例如这个空闲位置本应放样例测试,那么我们可以从 \(1\) 或 \(4\) 类测试中挑选一个放到这个位置)。显然一定存在至少一个这种测试,否则局面一定全部合法。那么就会导致两种情况:释放出了一个另一类测试的空闲位置(例如选择 \(4\) 类测试,就会释放出一个常规测试的位置),或者这个位置被使用,消耗掉了一个空闲位置(选择 \(1\) 类测试)。因此只要优先调整 \(3/4\) 类测试,最后再放 \(1/2\) 类测试即可,事实上每个 \(1/2\) 类测试都会对应一个空余的位置。如果起初局面并不存在空闲的位置,那么就需要手动先腾出来一个空闲位置(话说这个位置的名称怎么只能六位啊,不能整活了)。记最初有 \(k\) 个位置不合法,按照上述操作只需要 \(k\) 或 \(k+1\) 轮操作就能解决问题。这个轮数显然是最优的,因为不可能以少于 \(k\) 轮的方案完成任务,需要额外一次操作当且仅当初始局面不合法且没有空位。

#include<bits/stdc++.h>
#define ld long double
#define ui unsigned int
#define ull unsigned long long
#define int long long
#define eb emplace_back
#define pb pop_back
#define ins insert
#define mp make_pair
#define pii pair<int,int>
#define fi first
#define se second
#define power(x) ((x)*(x))
#define gcd(x,y) (__gcd((x),(y)))
#define lcm(x,y) ((x)*(y)/gcd((x),(y)))
#define lg(x,y)  (__lg((x),(y)))
using namespace std;
 
namespace FastIO
{
    template<typename T=int> inline T read()
    {
        T s=0,w=1; char c=getchar();
        while(!isdigit(c)) {if(c=='-') w=-1; c=getchar();}
        while(isdigit(c)) s=(s*10)+(c^48),c=getchar();
        return s*w;
    }
    template<typename T> inline void read(T &s)
    {
        s=0; int w=1; char c=getchar();
        while(!isdigit(c)) {if(c=='-') w=-1; c=getchar();}
        while(isdigit(c)) s=(s*10)+(c^48),c=getchar();
        s=s*w;
    }
    template<typename T,typename... Args> inline void read(T &x,Args &...args)
    {
        read(x),read(args...);
    }
    template<typename T> inline void write(T x,char ch)
    {
        if(x<0) x=-x,putchar('-');
        static char stk[25]; int top=0;
        do {stk[top++]=x%10+'0',x/=10;} while(x);
        while(top) putchar(stk[--top]);
        if(ch!='~') putchar(ch);
        return;
    }
}
using namespace FastIO;

namespace MTool
{   
    #define TA template<typename T,typename... Args>
    #define TT template<typename T>
    static const int Mod=1e9+7;
    TT inline void Swp(T &a,T &b) {T t=a;a=b;b=t;}
    TT inline void cmax(T &a,T b) {a=max(a,b);}
    TT inline void cmin(T &a,T b) {a=min(a,b);}
    TA inline void cmax(T &a,T b,Args... args) {a=max({a,b,args...});}
    TA inline void cmin(T &a,T b,Args... args) {a=min({a,b,args...});}
    TT inline void Madd(T &a,T b) {a=a+b>=Mod?a+b-Mod:a+b;}
    TT inline void Mdel(T &a,T b) {a=a-b<0?a-b+Mod:a-b;}
    TT inline void Mmul(T &a,T b) {a=a*b%Mod;}
    TT inline void Mmod(T &a) {a=(a%Mod+Mod)%Mod;}
    TT inline T Cadd(T a,T b) {return a+b>=Mod?a+b-Mod:a+b;}
    TT inline T Cdel(T a,T b) {return a-b<0?a-b+Mod:a-b;}
    TT inline T Cmul(T a,T b) {return a*b%Mod;}
    TT inline T Cmod(T a) {return (a%Mod+Mod)%Mod;}
    TA inline void Madd(T &a,T b,Args... args) {Madd(a,Cadd(b,args...));}
    TA inline void Mdel(T &a,T b,Args... args) {Mdel(a,Cadd(b,args...));}
    TA inline void Mmul(T &a,T b,Args... args) {Mmul(a,Cmul(b,args...));}
    TA inline T Cadd(T a,T b,Args... args) {return Cadd(Cadd(a,b),args...);}
    TA inline T Cdel(T a,T b,Args... args) {return Cdel(Cdel(a,b),args...);}
    TA inline T Cmul(T a,T b,Args... args) {return Cmul(Cmul(a,b),args...);}
    TT inline T qpow(T a,T b) {int res=1; while(b) {if(b&1) Mmul(res,a); Mmul(a,a); b>>=1;} return res;}
    TT inline T qmul(T a,T b) {int res=0; while(b) {if(b&1) Madd(res,a); Madd(a,a); b>>=1;} return res;}
    TT inline T spow(T a,T b) {int res=1; while(b) {if(b&1) res=qmul(res,a); a=qmul(a,a); b>>=1;} return res;}
    TT inline void exgcd(T A,T B,T &X,T &Y) {if(!B) return X=1,Y=0,void(); exgcd(B,A%B,Y,X),Y-=X*(A/B);}
    TT inline T Ginv(T x) {T A=0,B=0; exgcd(x,Mod,A,B); return Cmod(A);}
    #undef TT
    #undef TA
}
using namespace MTool;
 
inline void file()
{
    freopen(".in","r",stdin);
    freopen(".out","w",stdout);
    return;
}
 
bool Mbe;
 
namespace LgxTpre
{
    static const int MAX=100010;
    static const int inf=2147483647;
    static const int INF=4557430888798830399;
    
    int n,exanum,flag,con,ans;
    bool used[MAX];
    pair<string,int> a[MAX];
    queue<int> qualidreg,qualidexa,exceedreg,exceedexa;
    queue<int> resreg,resexa;
    
    inline void lmy_forever()
    {
    	auto get=[&](string s)->int
    	{
    		int len=s.size(),num=0;
    		for(int i=0;i<len;++i) if(!isdigit(s[i])) return 0;
    		if(s[0]=='0') return 0;
    		for(int i=0;i<len;++i) (num*=10)+=(s[i]^48);
    		return num;
		};
		
    	cin>>n,con=1;
    	for(int i=1;i<=n;++i) cin>>a[i].fi>>a[i].se,exanum+=a[i].se;
    	for(int i=1;i<=n;++i)
		{
			int num=get(a[i].fi);
			if(num>0&&num<=n)
			{
				used[num]=1;
				if(num<=exanum&&a[i].se==0) qualidreg.emplace(num);
				if(num> exanum&&a[i].se==1) qualidexa.emplace(num);
			}
			else
			{
				if(a[i].se==0) exceedreg.emplace(i);
				if(a[i].se==1) exceedexa.emplace(i);
			}
		}
		ostringstream ccout;
		for(int i=1;i<=n;++i) if(!used[i]) i<=exanum?resexa.emplace(i):resreg.emplace(i);
		if(resreg.empty()&&resexa.empty()&&qualidreg.size()&&qualidexa.size()) ++ans,flag=1,ccout<<"move "<<qualidreg.front()<<" lmy999"<<endl,resexa.emplace(qualidreg.front()),qualidreg.pop();
		while(con)
		{
			con=0;
			while(resexa.size()&&qualidexa.size()) con=1,++ans,ccout<<"move "<<qualidexa.front()<<" "<<resexa.front()<<endl,resreg.emplace(qualidexa.front()),qualidexa.pop(),resexa.pop();
			while(resreg.size()&&qualidreg.size()) con=1,++ans,ccout<<"move "<<qualidreg.front()<<" "<<resreg.front()<<endl,resexa.emplace(qualidreg.front()),qualidreg.pop(),resreg.pop();
		}
		while(exceedreg.size()) ++ans,ccout<<"move "<<a[exceedreg.front()].fi<<" "<<resreg.front()<<endl,exceedreg.pop(),resreg.pop();
		while(exceedexa.size()) ++ans,ccout<<"move "<<a[exceedexa.front()].fi<<" "<<resexa.front()<<endl,exceedexa.pop(),resexa.pop();
		if(flag) ++ans,ccout<<"move lmy999 "<<resreg.front()<<endl;
		cout<<ans<<endl<<ccout.str()<<endl;
	}
}

bool Med;

signed main() 
{
//  file();
    fprintf(stderr,"%.3lf MB\n",abs(&Med-&Mbe)/1048576.0);
    int Tbe=clock();
    LgxTpre::lmy_forever();
    int Ted=clock();
    cerr<<1e3*(Ted-Tbe)/CLOCKS_PER_SEC<<" ms\n";
    return (0-0);
}

标签:Tests,int,题解,void,测试,inline,Renumeration,TT,define
From: https://www.cnblogs.com/LittleTwoawa/p/17640446.html

相关文章

  • Maui Blazor 安卓文字随系统文字缩放问题解决
    MauiBlazor的文字在正常情况下会随着用户手机内的系统文字设置大小而变化,所以可能导致手机应用内APP的布局由于文字变得过大或者过小而错乱。可以通过设置Webview里的文字缩放,保持应用内文字大小不变,代码如下:1.首先在Mainpage.xaml里设置好初始化事件,BlazorWebViewInitialize......
  • [AGC003F] Fraction of Fractal 题解
    一道很好的矩阵题,可以尝试作为矩阵转移的优质练习题。思路考虑由于黑点在原图中处于联通的状态。分三种情况讨论。上下左右联通。考虑这种情况下,不断分形后。最终产生的依然是一整个的大连通块。故,答案为一。上下左右都不连通。那么每一次分形后就会产生黑色点个连通......
  • 2023年 8月15日普及组南外集训题解
    A查找最大元素扫一遍确定最大值,如果是最大值输出字符和"(max)",不是的话只输出字符#include<iostream>#include<cstring>usingnamespacestd;charmaxx;strings;intmain(){cin>>s;for(inti=0;i<s.size();i++)if(s[i]>=maxx)......
  • Atcoder_[abc284E]Count Simple Paths题解
    题目链接这题就是很简单的图上深搜,我觉得放在E题太水了,代码里有详细注释。#include<bits/stdc++.h>usingnamespacestd;#defineintlonglongvector<int>v[200010];//邻接表intans;//答案boolvis[200010];//vis[i]记录i号点有没有被访问过voiddfs(intx)......
  • ARC145C 题解
    problem&blog。小清新结论题。提供一个不需要脑子就可以AC的方法:看样例解释,猜到一定是\((1,2)(3,4)\)这样子,于是暴力,把前几项输进OEIS里,做完了。显然取\(\forall|A_i-B_i|=1\)最优。证明:对于\(x-3,x-2,x-1,x\),配对:\((x-3,x-2)(x-1,x)\)的贡献为\((x-3)(x-2)+......
  • vue3项目,vie框架,相对路径图片,测试时正常显示,发布后不显示问题解决方案
    参考Vite官网的说明,修改图片的引用路径后,图片发布后可以正常显示constimgUrl=newURL('./img.png',import.meta.url).hrefdocument.getElementById('hero-img').src=imgUrl官网地址: https://cn.vitejs.dev/guide/assets.html ......
  • CLion的远程同步功能,删除文件没有进行同步问题解决
    在使用CLion的deployment功能时。正常修改增加都会自动同步到远程。但是删除文件或者文件夹时,远程的文件没有删除,重新同步后,原来删除的文件又出现了。这是因为Clion默认没有将删除的同步打开:Settings->Deployment->Options->勾选:Deleteremotefileswhenlocalaredele......
  • [AGC001E] BBQ Hard 题解
    计数题好题。思路考虑\(\dbinom{n+k}{k}\)的几何意义。即从\((1,1)\)到\((k,n)\)只往上或往右走的方案数。由于这个在几何上坐标可以平移。也就是\((1-x,1-y)\)到\((k-x,n-y)\)的方案与\((1,1)\)到\((k,n)\)的方案数是一样的。那么我们就可以求出所有\((1-a_......
  • [AGC002F] Leftmost Ball 题解
    很好的一道组合题。思路直接设\(dp_{i,j}\)表示已经放了\(i\)个白点与\(j\)中颜色。然后直接组合数算即可。CodeAC记录。......
  • [AGC002E] Candy Piles 题解
    比较简单的题。思路考虑这个玩意在几何上的意义。发现就是要么往上走,要么往右走。那么就十分容易找到规律。找到规律后也很容易感性理解。CodeAC记录。......