Question 1
Five talks are scheduled on distinct days of a week (Mon–Sun). Use the clues:
- Yash's talk is earlier than Cyrus's.
- Diya's talk is neither first nor last.
- Tara's talk is before Kaira's.
Question: Who gives the talk on Wednesday?
Sequential Timeline
Order days as Monday→Sunday. Map constraints: 'earlier than', 'before', 'neither first nor last'.
Valid schedule: Monday:Yash, Tuesday:Tara, Wednesday:Diya, Friday:Kaira, Sunday:Cyrus
Use inequalities to form partial orders and then linearize.
Verification:
- Yash's talk is earlier than Cyrus's.
- Diya's talk is neither first nor last.
- Tara's talk is before Kaira's.
Order days as Monday→Sunday. Map constraints: 'earlier than', 'before', 'neither first nor last'.
Valid schedule: Monday:Yash, Tuesday:Tara, Wednesday:Diya, Friday:Kaira, Sunday:Cyrus
Use inequalities to form partial orders and then linearize.
Verification:
- Yash's talk is earlier than Cyrus's.
- Diya's talk is neither first nor last.
- Tara's talk is before Kaira's.