erdos_hajnal_conjecture