سوال ۸۰ کنکور ارشد مهندسی کامپیوتر ۱۴۰۱

مسئله ارضای قیود زیر را در نظر بگیرید. فرض کنید $A$، $B$، $C$، $D$ و $E$ متغیرهای مسئله باشند. دامنه هر متغیر عددی صحیح بین ۱ تا ۶ است. فرض کنید پاسخی که تا الان ساخته شده است، به‌صورت $\{A = 1\,,\ B = 2\}$ باشد. در گام بعد، کدام متغیر بررسی می‌شود؟

$A + B \ge 3$ $B - C \le 0$ $B + D \ge 4$ $D - E - C \le 0$ $E + C \ge 2$