【精】递归sap稍加优化堪比非递归

递归sap稍加优化堪比非递归

先看看递归的sap怎么写

int sap(int x,int flow)
{
	if(x==n) return flow;
	int res=0;
	for(int i=1;i<=n;i++)
		if(g[x][i] && h[x]==h[i]+1)
		{
			int t=sap(i,min(g[x][i],flow-res));
			g[x][i]-=t; g[i][x]+=t;
			if((res+=t)==flow) return res;
		}
	if(h[1]>=n) return res;
	if(!(--v[h[x]])) h[1]=n;
	++v[++h[x]];
	return res;
}

第13行表示发现断层，设置全局退出标志 h[1]=n

然后每次执行到12层发现全局退出标志就退出

但是我们发现这并没有起到多大的断层优化作用（如果遇到此标记，不管退不退出，后面也就执行3句话也会退出）

所以我们要想办法，一旦设置全局退出标志后就要尽快退出

那这一句话放那里呢？

函数开头？此时没有res，那返回 0 ? 显然不对！

一旦设置全局退出标志后后面的枚举边就没用了，所以我们可以换在for循环内

代码如下

int sap(int x,int flow)
{
	if(x==n) return flow;
	int res=0;
	for(int i=1;i<=n;i++)
		if(g[x][i] && h[x]==h[i]+1)
		{
			int t=sap(i,min(g[x][i],flow-res));
			g[x][i]-=t; g[i][x]+=t;
			if((res+=t)==flow) return res;
			if(h[1]>=n) return res;
		}
	if(!(--v[h[x]])) h[1]=n;
	++v[++h[x]];
	return res;
}

这样优化后的效率堪比非递归的效率！！！

【SCOI2012奇怪的游戏】效率比较