BZOJ 1854 游戏 (二分图匹配 + 时间戳优化)

Description
lxhgww最近迷上了一款游戏，在游戏里，他拥有很多的装备，每种装备都有2个属性，这些属性的值用[1,10000]之间的数表示。当他使用某种装备时，他只能使用该装备的某一个属性。并且每种装备最多只能使用一次。 游戏进行到最后，lxhgww遇到了终极boss，这个终极boss很奇怪，攻击他的装备所使用的属性值必须从1开始连续递增地攻击，才能对boss产生伤害。也就是说一开始的时候，lxhgww只能使用某个属性值为1的装备攻击boss，然后只能使用某个属性值为2的装备攻击boss，然后只能使用某个属性值为3的装备攻击boss……以此类推。 现在lxhgww想知道他最多能连续攻击boss多少次？

Input
输入的第一行是一个整数N，表示lxhgww拥有N种装备 接下来N行，是对这N种装备的描述，每行2个数字，表示第i种装备的2个属性值

Output
输出一行，包括1个数字，表示lxhgww最多能连续攻击的次数。
Sample Input
3
1 2
3 2
4 5
Sample Output
2

Hint
【数据范围】
对于30%的数据，保证N < =1000
对于100%的数据，保证N < =1000000

Solution
二分图左侧为属性值，右侧为N个装备
每个装备向其两个属性值连边(反向)，用匈牙利从小到大枚举属性值，直到无法匹配为止
因为在二分图上每次增广时不会使得之前的匹配点变为非匹配点，所以正确性显然能保证
注意要使用时间戳优化匈牙利，不然memset的开销过大

Code

const int N = 1e4;
const int maxn = 1e4 + 7;
const int maxm = 1e6 + 7;

int n,tim;
vector<int>e[maxn];
int vis[maxm],match[maxm];

bool find(int k) {
    for(auto i : e[k]) {
        if(vis[i] != tim) {
            vis[i] = tim;
            if(!match[i] || find(match[i])) {
                match[i] = k; return true;
            }
        }
    } return false;
}
void solve() {
    for(int i = 1;i <= N+1;++i) {
        ++tim;
        if(!find(i)) {
            printf("%d\n",i - 1);
            return ;
        }
    }
    return ;
}
int main() {
    scanf("%d",&n);
    for(int i = 1,x,y;i <= n;++i) {
        scanf("%d%d",&x,&y);
        e[x].pb(i); e[y].pb(i);
    }
    solve();
    return 0;
}