NxM
k1
k2
k2-1
N
M
100
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking