同値関係:反射的、対称、推移
class DisjSets//不相交集的类架构
{
public:
explicit DisjSets(int numElements);
int find(int x) const;
int find(int x);
void unionSets(int root1,int root2);
void unionSets2(int root1,int root2);
private:
vector<int> s;
};
DisjSets::DisjSets(int numElements) : s(numElements)//初始化
{
for(int i=0 ; i < s.size() ; i++)
s[i] = -1;
}
void DisjSets::unionSets(int root1,int root2)
{
s[root2] = root1;
}
void DisjSets::unionSets2(int root1,int root2)
{
if( s[root2] < s[root1])
s[root1] = root2;
else
{
if(s[root1] == s[root2])
s[root1]--;
s[root2] = root1;
}
}
int DisjSets::find(int x) const
{
if(s[x] < 0)
return x;
else
return find(s[x]);
}
探していると、スマートなアルゴリズム:サイズと需要によって、またはシークと高さによって、
パス圧縮:唯一の変化は発見され、戻り値のリターンです(とサイズによって要件と完全に互換性があります)
int DisjSets::find(int x)
{
if(s[x] < 0)
return x;
else
return s[x] = find(s[x]);
}
アプリケーション:迷路
ます。https://my.oschina.net/u/204616/blog/545293で再現