O(n|Σ|)
n
Σ
N
K
Yes
否
500 ms 256 Mb Rules for program design and list of errors in automatic problem checking