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