We discuss some implications of linear programming for Mather theory [13-15] and itsfinite dimensional approximations. We find that the complementaryslackness condition of duality theory formally implies that the Mather set lies in ann-dimensional graph and as well predicts the relevant nonlinear PDE for the “weakKAM” theory of Fathi [5-8].