借助于____工具,可以建立关于贪心算法的一般性理论。