Discussion
Why does watching two literals suffice?
Answer: C
So long as two literals remain unassigned the clause is neither unit nor conflicting, so it need not be examined, and only when a watch is falsified must a replacement be sought. Determining truth requires all the literals, clause lengths vary widely, and the watches move during the search. An invariant that guarantees a data structure need not be consulted is exactly what makes lazy updating correct as well as fast.
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