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