سوال ۷۵ کنکور ارشد مهندسی کامپیوتر ۱۴۰۴ — یک مسئله ارضای محدودیت‌ها (CSP) با چهار متغیر X ، Y ، Z ، W تعریف شد

Question

یک مسئله ارضای محدودیت‌ها (CSP) با چهار متغیر $X$ ، $Y$ ، $Z$ ، $W$ تعریف شده است. دامنه اولیه هر متغیر:

$D(X)=\{۱,۲,۳\},\quad D(Y)=\{۱,۲,۳,۴\},\quad D(Z)=\{۱,۲,۳\},\quad D(W)=\{۲,۳\}$

محدودیت‌های مسئله، عبارت‌اند از:

$X \ne W$ $Z = W$ $X + W \le ۵$ $Z \ne ۲$

پس از اعمال الگوریتم سازگاری کمان (Arc Consistency)، کدام مورد زیر دامنه‌های به‌روزرسانی‌شده را (با انتشار محدودیت‌ها و حذف مقادیر ناسازگار) نشان می‌دهد؟

Accepted Answer

D(X)= ۱,۲ ، D(Y)= ۱,۲,۳,۴ ، D(Z)= ۳ ، D(W)= ۳

Answer

D(X)= ۱,۲,۳ ، D(Y)= ۱,۲,۳,۴ ، D(Z)= ۳ ، D(W)= ۳

Answer

D(X)= ۱,۲ ، D(Y)= ۱,۲,۳ ، D(Z)= ۳ ، D(W)= ۳

Answer

D(X)= ۱,۲,۳ ، D(Y)= ۱,۲,۳ ، D(Z)= ۳ ، D(W)= ۳