【正确答案】 A

【答案解析】句意：办公室空无一人——他们一定都已经回家了。can表示推断时常用于否定句中，故排除B；would have done常用于从句为对过去的虚拟的主句中，故排除C；should have done意为“本应该做某事（实际并未做）”，不合题意，故排除D。表示对事情的肯定推断，一般用must。故选A。