发送短信: The complexity of constraint satisfaction games and QCSP