文章目录 前言一、P1-Problem 1：编写测试用例1.GraphStaticTest2.GraphInstanceTest 二、实现两个ADT1.AF，RI，Safety from Rep exposure .etc2.checkRep ( )3.方法的具体实现4.实现Graph.empty ( ) 三、Poetic Walks1.题目意思梳理（结合MIT页面和spec看）2.编写测试