TeX source:
O(|E|)