我有一张地图,我已宣布如下:我将值插入到地图中如下:index[x]=true;cout<<index[y]; // for any number y not in指数gives me 0
当我在检查映射中不存在的键时,我得到了值0,我如何可靠地确定一个键是否存在于映射中?我使用一个映射来试图找出两个集合<
假设不带存在量词的联合查找算法具有以下输入:然后,它将构建一些数据结构u,以便我可以检查u.root(x)==u.root(y),以确定x和y是否在同一子图中输入可以通过以下语法来表征:假设现在我们也允许存在量词:
Input :== Var = Var | Input /\ Input我仍然假设算法建立