分类目录差分约束系统