简化方案

reduction procedure