摘要：第一次作业 本单元主要用来熟悉JML，实现难度不大。需要注意设计的点在于isCircle函数。 首先当然是用HashMap来保存id与Person类之间的对应关系（O1的复杂度谁不喜欢呢）。我将某个Person与其“邻居”的关系存在了MyPerson类中（HashMap映射Person与value） 阅读全文