Hamming distance between unlabelled bipartitions
ID: hamming-distance-between-unlabelled-bipartitions
This Hamming distance on partitions identifies a group with its complement because exchanging the two group names does not change the partition. Complementation is an isometry of the ordinary Hamming distance, so minimizing over this two-element group action gives a quotient metric and preserves the triangle inequality. Negating a zero-one indicator is not complementation; with membership vectors, it is.
New to topics? Read the docs here!