二分图博弈

二分图博弈一张二分图，Alice和Bob每人走一步，不能重复走，谁不能走谁输结论：若存在最大匹配不包含初始点，则Bob赢，否则Alice赢