add graphProp.m and runGreedyMRSRecordK.m