在计算复杂度理论内，UP（"Unambiguous Non-deterministic Polynomial-time"，非模煳非决定型多项式时间）是一个决定型问题的复杂度类，能以非决定型图灵机在多项式时间内解决，且对任何输入只有至多一条接受的路径。UP包含了P，而且被包含在NP内。一个常见有关NP的另一定义是一个语言在NP内，若且唯若一个给定的回答可以被决定型图灵机在多项式时间内验证。与之类似的说法是，一个语言在UP里面，若一个给定的回答可以在多项式时间内被检证，并且这个验证的机器对任何给定的问题至多