この資料をSMS送信: The constraint satisfaction problem: complexity and approximability