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