常用的模式分解的等价标准要求分解是具有_______________的和要求分解是保持函数依赖的。