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