FA-94527 / Exam timetabling constraints / Member archive

Alternate seating skips the last row of odd-sized halls · case 02

Halls with an odd number of rows lose a row of usable seats.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Candidates [id, surname, given, access flag], rooms [room, rows, cols]. Non-access candidates are sorted by case-folded surname, case-folded given name, then id, and take alternate seats (even row and even column indices) room by room in row-major order, labelled room-<row letter><column number>; candidates beyond the seats are UNSEATED. Access candidates go to SEP-1, SEP-2... in the same order. Return id -> seat.

Why this case matters

Seating plans are generated from the timetable's room allocation and must be deterministic and fair.

One recorded failure

Sample boundary fixture

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

Boundary fixture	Actual	Expected	Outcome
regression: odd row dropped 1	`{"C1": "UNSEATED", "C2": "UNSEATED"}`	`{"C1": "H1-A1", "C2": "H1-A3"}`	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.