مكتبة قيود Java (JCL) المشكلة: كيف تمثل الإضافة؟

Question

لا بد لي من حل أ CSP مشكلة المنطق باستخدام مكتبة قيود جافا. في الوقت الحالي ، تمكنت من تمثيل بعض القيود المفروضة على المشكلة ، ويستند معظمها على "أي متساوٍ" و "لا يساوي" القيود الثنائية. شكوك ، كيف تمثل عائقًا قائمًا على الإضافة؟ مثال:

• المتغير 1 ينتمي إلى دومينا
• المتغير 2 ينتمي إلى DomainB
• المتغير 3 ينتمي إلى Domaina
• المتغير 4 ينتمي إلى DomainB

الآن القيد:

• مجموع المتغير 1 والمتغير 2 أكبر من مجموع المتغير 3 و variable4.

الملاحظة: تمثل هذه المتغيرات المال ، بحيث يمكن إضافتها.

Answer 1

نظرًا لأن مكتبة قيود Java تستخدم فقط قيود أحادية أو ثنائية ، علينا القيام بها ثنائية القيود من أجل تمثيل قيود n. يمكننا أيضًا أن نرث فصول العلاقات الحالية في المكتبة وتحديد علاقات متوافقة جديدة.