Office Blockedbeginner series
For this puzzle, everything can be expressed in terms of two functions: floor saying which floor each person works on, and number giving the person’s office number. Be careful that you don’t allow “solutions” in which two people occupy the same room.
After you have done it the suggested way, can you see how it could be re-expressed using room as an enumerated sort (L1, L2, etc) and office as a function mapping persons to rooms? You could also try it with a function occupant mapping rooms to persons, or maybe mapping floor-number pairs to persons. Experiment with it.
Which representation do you find easier or more natural?
Six hardworking employees of the Paper Circulation Division of the Department of Miscellanea occupy offices on two floors of the Administration Building: three on the upper floor (offices U1, U2 and U3) and the other three directly below them on the lower floor (L1, L2 and L3):
- Arthur is directly above Bella, who works next to Duncan.
- Elizabeth’s office number is smaller than Francesca’s.
- Craig and Francesca are in adjacent rooms.
Who works where?
Solver
Auto Parser Results
No errors found.