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