每月存档：2019年7月

差分约束系统是一个N元一次不等式组，由多组形如的不等式组成。一个差分约束系统要么无解，要么有无数组解。 Par […]