حل تشریحی سوال شماره 75 هوش مصنوعی

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

$D\left(X\right)=\left\{1,2,3\right\},D\left(Y\right)=\left\{1,2,3,4\right\},D\left(Z\right)=\left\{1,2,3\right\},D\left(W\right)=\left\{2,3\right\}$

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

• $X\ne Y$
• $Z=W$
• $X+W\le 4$
• $Z\ne 3$

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