在逻辑中,可以作为约束的意思,狭窄的解释也就是等式或不等式。 比如一下的关系就称作constraints 这里的Xi是free variable;b是常量。而这两个等式和不等式都叫constraint。