Formula method of medicated diet based on medicinal property combination patterns Study on prescription combination and design method based on dichotomy and greedy algorithm MAXIMAL COVERING MODEL ON DIVERSITY OF FOREST TYPE AND ONE AVAILABLE ALGORITHM