I implemented something completely wrong which somehow passed the tests. No clue how, but this version should actually be correct but with weaker guarantees: the labels are no longer guaranteed to be "minimal length" but the length is still bounded by log Nm(N) + nlog n + log(Delta_F)/2 I think.
I implemented something completely wrong which somehow passed the tests. No clue how, but this version should actually be correct but with weaker guarantees: the labels are no longer guaranteed to be "minimal length" but the length is still bounded by log Nm(N) + nlog n + log(Delta_F)/2 I think.