FA-94407 / Exam timetabling constraints / Member archive

Rooms used by a split exam keep no duration record · case 02

A later exam of a different duration is seated in a room already running part of a split exam.

Member previewVariant 2 · 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 room duration record 1	`{"placed": {"E0": [["R2", 10]], "E1": [["R0", 60]], "E2": [["R1", 50], ["R2", 10]], "E3": [["R2", 30]]}, "unplaced": ["E4"]}`	`{"placed": {"E0": [["R3", 10]], "E1": [["R0", 60]], "E2": [["R1", 50], ["R2", 10]], "E3": [["R3", 30]]}, "unplaced": ["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.