Discussion
What is the effect of encoding a global constraint as binary constraints?
Answer: B
The set of solutions is unchanged, but the solver can no longer reason about the constraint as a whole and misses inferences the specialised propagator would make, as the three variables with two values example shows for all different. Satisfiability is preserved, variables increase, and checking is unaffected. A transformation that preserves meaning while destroying inference is a trap that only appears once propagation strength is being considered.
No comment is present. Be the first to comment.
Loading…
Post your comment
Please log in or register to post a comment.
Examination Categories
- SSC Exams
- Banking Exams
- Teaching Exams
- Civil Services Exams
- Railways Exams
- Engineering Recruitment Exams
- Defence Exams
- State Government Exams
- Police Exams
- Insurance Exams
- Nursing Exams
- Other Government Exams
- NRA CET
- PG Entrance Exams
- Campus Placement
- MBA Entrance Exams
- CUET and UG Entrance
- Judiciary Exams
- Regulatory Body Exams
- Software Development