关于重复定义变量与memset函数导致超时的分析

简述

先上俩组代码
code1:

void solve(){
    int n;
    PII a[200010];//注意此处
    cin>>n;
    rep(i,1,n){
        cin>>a[i].fi;
        a[i].se=i;
    }
    sort(a+1,a+1+n);
    a[n+1].fi=INF;
    a[0].fi=INF;
    int k;
    rep(i,1,n){
        if(a[i].fi!=a[i-1].fi&&a[i].fi!=a[i+1].fi){
            cout<<a[i].se<<endl;
            return;
        }
 
    }
    cout<<-1<<endl;
}
int main(){
    int t;
    cin>>t;
    while(t--){
        solve();
    }
    return 0;
}

code2:

void solve(){
    int n;
    n=read();
    PII a[n+10];//注意此处
    rep(i,1,n){
        a[i].fi=read();
        a[i].se=i;
    }
    sort(a+1,a+1+n);
    a[n+1].fi=INF;
    a[0].fi=INF;
    int k;
    rep(i,1,n){
        if(a[i].fi!=a[i-1].fi&&a[i].fi!=a[i+1].fi){
            write(a[i].se);
            printf("\n");
            return;
        }
 
    }
    cout<<-1<<endl;
}
int main(){
    int t;
    t=read();
    while(t--){
        solve();
    }
    return 0;
}

显然上面俩组代码只有注释处不同,我们将其拿到cf上交俩发

code1耗时

code2耗时

俩个代码耗时竟然相差了十倍!!!

分析

当输入数据为$t=2e4$,
接下来跟着$2e4$组
$n=3$
$a_1=1,a_2=1,a_3=1$
每次while循环中会重复定义一个2e5的数组a,此处的a显然为局部变量,众所周知局部变量会在本次运行完成后进行销毁操作,可能是此处的申请空间与销毁空间耗时太多,导致时间花费较大,具体的情况笔者也不了解,此为猜测,不太懂编译原理相关的东西.

---

再来看看定义一个$2e5$大小的全局变量,每次在$solve$中使用memset(a,0,sizeof a)清空,此时memset几乎等价于for(int i=1;i<=2e5;i++) a[i]=0,当输入上面的数据时,时间复杂度为
$$O(2e4\ast 1e5)=2e9$$
显然$c++$一秒内是跑不完的,导致超时

使用memset的解决方案:
将memset(a,0,sizeof a)换成for(int i=1;i<=n;i++) a[i]=0即可

此时依旧运行上面的样例,时间复杂度为$O(2e4\ast 3)$,显然很快

---

记录一场cf被hack的经历
本来的code1为cin/cout输入输出,直接被某同学当场hack掉

code1为加入快读版本,在cf选手的不断努力下从800+ms跑到998ms,极限ac

珍爱$rating$,避免不好的代码习惯(大雾)