zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-21 16:05:44 -07:00
Code Issues Packages Projects Releases Wiki Activity

Tweak the semantics of dsf_merge() so that the canonical element of

Browse Source 
any equivalence class is always the element with the smallest index.
This is slower (the previous behaviour, suggested by Jonas Koelker,
was to choose the new root element to maximise performance), but
still more than acceptably fast and more useful.

[originally from svn r8792]
This commit is contained in:
Simon Tatham
2009-12-27 10:01:11 +00:00
parent 189f833980
commit 72922b3078
1 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
dsf.c
View File

@ -161,7 +161,21 @@ void edsf_merge(int *dsf, int v1, int v2, int inverse)
assert(!inverse);
else {
assert(inverse == 0 || inverse == 1);
if ((dsf[v2] >> 2) > (dsf[v1] >> 2)) {
/*
* We always make the smaller of v1 and v2 the new canonical
* element. This ensures that the canonical element of any
* class in this structure is always the first element in
* it.
*
* (Jonas Koelker previously had this code choosing which
* way round to connect the trees by examining the sizes of
* the classes being merged, so that the root of the
* larger-sized class became the new root. This gives better
* asymptotic performance, but I've changed it to do it this
* way because I like having a deterministic canonical
* element.)
*/
if (v1 > v2) {
int v3 = v1;
v1 = v2;
v2 = v3;