最小函数依赖集求法步骤