[{"title":"( 5 个子文件 334KB ) VCG_Stable:Vickrey-Clarke-Groves拍卖算法和机制的形式化","children":[{"title":"VCG_Stable-main","children":[{"title":"LICENSE <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":"VCG_Search_as_General_VCG.v <span style='color:#111;'> 66.51KB </span>","children":null,"spread":false},{"title":"General_VCG_mechanism.v <span style='color:#111;'> 7.19KB </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 1.31KB </span>","children":null,"spread":false},{"title":"report.pdf <span style='color:#111;'> 317.06KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}]