如下是我的清空函数：

void clea(){
	for(int i=1;i<=n;++i) e[i].clear();
	memset(dfn,0,sizeof dfn);
	memset(scc,0,sizeof scc);
	memset(low,0,sizeof low);
	memset(stk,0,sizeof stk);
	memset(instk,0,sizeof instk);
	top=0;
	cnt=0;
	tot=0;
}

这个清空函数有一个错误在于第二行，2-SAT 问题的空间规模需要开两倍，而本行清图时只清空了一半，却还能拿到 95 分的高分。