FA-94415 / Exam timetabling constraints / Member archive

Exams placed smallest first · case 05

Large exams are left for last and fail to find rooms.

Member previewVariant 5 · 3 implementations · 8 checks per implementation

Case contract

exams [id, size, duration, splittable], rooms [id, capacity]. Exams are placed largest first (ties by id). A room is compatible if empty or holding only exams of the same duration. Place whole in the compatible room with the least sufficient remaining capacity (ties by id); else if splittable and compatible rooms have enough total space, fill them by descending remaining capacity (ties by id), skipping full rooms; else unplaced. Return placements and unplaced ids.

Why this case matters

Room allocation rules (mixed durations, best fit, splitting) are the second hard-constraint family of exam timetabling.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression: placement order 1	`{"placed": {"E1": [["R0", 20], ["R1", 20], ["R2", 20]], "E4": [["R3", 30]]}, "unplaced": ["E3", "E0", "E2"]}`	`{"placed": {"E2": [["R3", 40], ["R0", 20], ["R1", 20]]}, "unplaced": ["E0", "E1", "E3", "E4"]}`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.