FA-94400 / Exam timetabling constraints / Member archive

Split feasibility counts seats in incompatible rooms · case 05

An exam is split into rooms that cannot hold all its candidates, leaving students without seats.

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: split feasibility scope 1	`{"placed": {"E1": [["R1", 60], ["R0", 20]], "E2": [["R2", 20], ["R3", 20]]}, "unplaced": ["E4", "E0", "E3"]}`	`{"placed": {"E1": [["R1", 60], ["R0", 20]], "E3": [["R2", 20]]}, "unplaced": ["E4", "E0", "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.