高效归纳