发送短信: Supermodular functions and the complexity of M-AX CSP