N
m1 的项目,…, mN
M
mi
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking