Added max-product LP relaxation

and so on and so forth, all your requires need to be changed I think