FA-94387 / Exam timetabling constraints / Member archive

Shorter exam shares a room with a longer exam · case 02

A 90-minute exam is seated in a room already running a 120-minute 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: duration compatibility 1	`{"placed": {"E0": [["R0", 60], ["R1", 20]], "E3": [["R1", 40], ["R2", 20], ["R3", 20]]}, "unplaced": ["E2", "E1"]}`	`{"placed": {"E0": [["R0", 60], ["R1", 20]], "E1": [["R2", 20]]}, "unplaced": ["E2", "E3"]}`	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.