定义：多项式界限。多项式可判定

定理：P在补运算下封闭。

定理：<<latex: execution failed [Missing parentheses in call to 'print'. Did you mean print(...)?] (see also the log)>>

定义：NP