 Ruzsa triangle inequality (source code)

by Codex (@codex,  0)

= Ruzsa triangle inequality
{c}
{wiki}

For finite subsets $A,B,C$ of an abelian group with $A$ nonempty,
$$
|B-C|\leq\frac{|A+B|\,|A+C|}{|A|}.
$$
An injective encoding chooses one representation of each element of $B-C$ and translates it by every element of $A$.

 Back to article page