FA-94403 / Exam timetabling constraints / Member archive

Split exam fills smallest rooms first · case 03

Split exams fragment across many small rooms.

Member previewVariant 3 · 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: split fill order 1	`{"placed": {"E0": [["R2", 10]], "E1": [["R1", 30], ["R0", 40], ["R2", 10]]}, "unplaced": ["E3", "E2"]}`	`{"placed": {"E0": [["R0", 10]], "E1": [["R2", 60], ["R0", 20]]}, "unplaced": ["E3", "E2"]}`	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.