Question 1
Five talks are scheduled on distinct days of a week (Mon–Sun). Use the clues:
- Jatin's talk is earlier than Nihal's.
- Bhavya's talk is neither first nor last.
- Wafa's talk is before Gaurav'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: Wednesday:Jatin, Thursday:Wafa, Friday:Bhavya, Saturday:Gaurav, Sunday:Nihal
Use inequalities to form partial orders and then linearize.
Verification:
- Jatin's talk is earlier than Nihal's.
- Bhavya's talk is neither first nor last.
- Wafa's talk is before Gaurav's.
Order days as Monday→Sunday. Map constraints: 'earlier than', 'before', 'neither first nor last'.
Valid schedule: Wednesday:Jatin, Thursday:Wafa, Friday:Bhavya, Saturday:Gaurav, Sunday:Nihal
Use inequalities to form partial orders and then linearize.
Verification:
- Jatin's talk is earlier than Nihal's.
- Bhavya's talk is neither first nor last.
- Wafa's talk is before Gaurav's.