Added max-product LP relaxation

EdgeFactor is not a proper name. I think Region was a good one, as conventional.