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