Reduction In Computer Science